The perfect spy for model−checking crypto−protocols
A. W. Roscoe and M.H. Goldsmith
Book Title
Proceedings of DIMACS workshop on the design and formal verification of crypto−protocols
Year
1997
A. W. Roscoe and M.H. Goldsmith