An encapsulated authentication logic for reasoning about key distribution protocols
Iliano Cervesato‚ Catherine Meadows and Dusko Pavlovic
Book Title
Proceedings of CSFW 2005
Editor
Joshua Guttman
Pages
48–61
Publisher
IEEE
Year
2005
Iliano Cervesato‚ Catherine Meadows and Dusko Pavlovic