( en | de | ru )

 

Disambiguierung von "Basin, David A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Verification of Group Key Agreement Protocols.

, , , und . IEEE Symposium on Security and Privacy, Seite 179-194. IEEE Computer Society, (2014)

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.

Stesia Basina

Sobha Rani Basineni

Christiane Basiner

lin A David

David A Traill

 

Weitere Publikationen von Autoren mit dem selben Namen

IsaWhelk Interpreted in Isabelle.. ICLP, Seite 741. MIT Press, (1994)A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA)., , , , und . KiVS, Seite 225-236. Springer, (2007)Constructing Mid-Points for Two-Party Asynchronous Protocols., , und . OPODIS, Volume 7109 von Lecture Notes in Computer Science, Seite 481-496. Springer, (2011)Secure Deletion on Log-structured File Systems, , , und . CoRR, (2011)An Environment For Automated Reasoning About Partial Functions.. CADE, Volume 310 von Lecture Notes in Computer Science, Seite 101-110. Springer, (1988)Code Generation for Event-B., , , , , und . IFM, Volume 8739 von Lecture Notes in Computer Science, Seite 323-338. Springer, (2014)Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete.. CADE, Volume 449 von Lecture Notes in Computer Science, Seite 251-260. Springer, (1990)Structuring Metatheory on Inductive Definitions., und . CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 171-185. Springer, (1996)A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols., und . TPHOLs, Volume 4732 von Lecture Notes in Computer Science, Seite 302-318. Springer, (2007)Rippling - meta-level guidance for mathematical reasoning., , , und . Cambridge tracts in theoretical computer science Cambridge University Press, (2005)