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.

Description
Physical Description:	xiv, 300 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references (pages 285-291) and index.
ISBN:	0201674718