The modelling and analysis of security protocols
Subtitle: the CSP approach
By: P.Y.A. Ryan and S.A. Schneider with M.H. Goldsmith, G. Lowe and A.W. Roscoe.
Contributors: Schneider, S. A.
Publisher: Addison-Wesley
Published: 2001
Place of publication: Harlow; New York
Language: eng
Number of pages: 300
Subjects: Computer security -- Mathematical models.; Computers -- Access control.; Cryptography -- Mathematical models.
Notes: Includes bibliographical references (p. 285-291) and index.