Secure protocol composition (extended abstract)
Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic
Book Title
Proceedings of FMCS 2003
Editor
Michael Backes and David Basin and Michael Waidner
Pages
11–23
Publisher
ACM
Year
2003
Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic