PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Yamada, Kiyoshi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Certifying assembly with formal security proofs: The case of BBS.

, , und . Sci. Comput. Program., 77 (10-11): 1058-1074 (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Yamada, Kiyoshi
Eine Person hinzufügen mit dem Namen Yamada, Kiyoshi
 

Weitere Publikationen von Autoren mit dem selben Namen

An Aspect-oriented Approach to Modular Behavioral Specification of Java Components., und . IASTED Conf. on Software Engineering, Seite 360-365. IASTED/ACTA Press, (2005)Simulation analysis of two adjacent traffic signals., und . Winter Simulation Conference, Seite 454-464. ACM, (1985)An Aspect-Oriented Approach to Modular Behavioral Specification., und . Electron. Notes Theor. Comput. Sci., 163 (1): 45-56 (2006)Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances., , und . WSTFES, Seite 65-. IEEE Computer Society, (2003)Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS., , und . IACR Cryptology ePrint Archive, (2009)Specifying context-aware runtime security policies using an algebraic policy specification language., , und . IASTED Conf. on Software Engineering, Seite 662-667. IASTED/ACTA Press, (2004)Certifying assembly with formal security proofs: The case of BBS., , und . Sci. Comput. Program., 77 (10-11): 1058-1074 (2012)