HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Liana Bozga, Yassine Lakhnech, Michaël Périn. HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. In Warren A. Hunt Jr., Fabio Somenzi, editors, Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Volume 2725 of Lecture Notes in Computer Science, pages 219-222, Springer, 2003. [doi]

This author has not been identified. Look up 'Liana Bozga' in GoogleThis author has not been identified. Look up 'Yassine Lakhnech' in GoogleThis author has not been identified. Look up 'Michaël Périn' in Google

runs on WebDSL