Gavin Lowe. Analysing Security Protocols using CSP. In Véronique Cortier, Steve Kremer, editors, Formal Models and Techniques for Analyzing Security Protocols. Volume 5 of Cryptology and Information Security Series, pages 62-85, IOS Press, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.