From Secrecy to Authenticity in Security Protocols (2002)

by B Blanchet
Venue:In 9th International Static Analysis Symposium