The modelling and analysis of security protocols : the CSP approach /

Bibliographic Details
Main Author:	Ryan, Peter, PhD
Other Authors:	Schneider, S. A. (Steve A.)
Format:	Book
Language:	English
Published:	Harlow ; New York : Addison-Wesley, 2001.
Subjects:	Computer security > Mathematical models. Computers > Access control. Cryptography > Mathematical models.

Evans: Library Stacks