The Modelling and Analysis of Security Protocols
A. W. Roscoe‚ P. Ryan‚ S. Schneider‚ M. Goldsmith and G. Lowe
Publisher
Addison−Wesley
Year
2001
A. W. Roscoe‚ P. Ryan‚ S. Schneider‚ M. Goldsmith and G. Lowe