Analysing Security Protocols using CSP
Gavin Lowe
Book Title
Formal Models and Techniques for Analyzing Security Protocols
Editor
Véronique Cortier and Steve Kremer
Publisher
IOS Press
Year
2011
Gavin Lowe