Abstraction and refinement in protocol derivation
Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic
Book Title
Proceedings of CSFW 2004
Editor
Riccardo Focardi
Pages
30–47
Publisher
IEEE
Year
2004
Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic