( en | de | ru )

 

Disambiguierung von "Bozga, Liana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols.

, , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 219-222. Springer, (2003)

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.

Marius Bozga

Liana Lazar

Sait Bozgan

Liana Stier

Liana Tejmar

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Verification of Security Properties Based on Abstractions., , , , , und . VISSAS, Volume 1 von NATO Security through Science Series D: Information and Communication Security, Seite 23-53. IOS Press, (2005)A symbolic decision procedure for cryptographic protocols with time stamps., , und . J. Log. Algebraic Methods Program., 65 (1): 1-35 (2005)Pattern-Based Abstraction for Verifying Secrecy in Protocols., , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 299-314. Springer, (2003)A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract)., , und . CONCUR, Volume 3170 von Lecture Notes in Computer Science, Seite 177-192. Springer, (2004)HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols., , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 219-222. Springer, (2003)On the Existence of an Effective and Complete Inference System for Cryptographic Protocols., , und . FoSSaCS, Volume 2987 von Lecture Notes in Computer Science, Seite 42-57. Springer, (2004)Pattern-based abstraction for verifying secrecy in protocols., , und . Int. J. Softw. Tools Technol. Transf., 8 (1): 57-76 (2006)