( en | de | ru )

 

Disambiguation of "Bozga, Liana"

Author of the publication

copydeleteadd this publication to your clipboard
Pattern-based abstraction for verifying secrecy in protocols.

, , and . Int. J. Softw. Tools Technol. Transf., 8 (1): 57-76 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marius Bozga

Liana Lazar

Sait Bozgan

Liana Stier

Liana Tejmar

 

Other publications of authors with the same name

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