Verification of Security Protocols
Abstract elided by the publisher.
Related papers
- Automated Unbounded Verification of Security Protocols CAV 2002
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols CAV 2008
- An Improved Constraint-Based System for the Verification of Security Protocols SAS 2002
- AGVI - Automatic Generation, Verification, and Implementation of Security Protocols CAV 2001
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols CAV 2003
- Modular verification of security protocol code by typing POPL 2010
- Partial Order Reductions for Security Protocol Verification TACAS 2000
- Verified interoperable implementations of security protocols TOPLAS 2008