A derivation system for security protocols and its logical formalization
Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic
Book Title
Proceedings of CSFW 2003
Editor
Dennis Volpano
Pages
109–125
Publisher
IEEE
Year
2003
Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic