ISBN 0201674718 books & textbook
The Modelling and Analysis of Security Protocols: The Csp Approach
Ryan, P. Y. A. Schneider, S. A. Goldsmith, M. H. Lowe, G. Roscoe, A. W.
Addison-Wesley /2000T Paperback / 320 Pages
isbn-10: 0201674718 / isbn-13: 9780201674712
