Description: The modelling and analysis of security protocols::

Main Author:	Ryan, Peter
Other Authors:	Schneider, Steve
Format:	Book
Language:	English
Published:	London: Pearson Education Limited, c2001
Subjects:	Computer networks > Security measures Computer network protocols Computer software > Verification Computer security > Mathematical models Computer > Access control

Physical Description:	xiv, 300 p. : ill. ; 24 cm.
Bibliography:	Includes bibliographical references (p. 285-291) amd index.
ISBN:	0201674718