Only first two authors named on cover, as: Peter Ryan and Steve Schneider.
Security protocols.
The modelling and analysis of security protocols : the CSP approach by Peter Ryan. ISBN 0201674718. Published by Addison-Wesley in 2001. Publication and catalogue information, links to buy online and reader comments.