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]
@incollection{Lowe11-3,
title = {Analysing Security Protocols using CSP},
author = {Gavin Lowe},
year = {2011},
doi = {10.3233/978-1-60750-714-7-62},
url = {https://doi.org/10.3233/978-1-60750-714-7-62},
researchr = {https://researchr.org/publication/Lowe11-3},
cites = {0},
citedby = {0},
pages = {62-85},
booktitle = {Formal Models and Techniques for Analyzing Security Protocols},
editor = {Véronique Cortier and Steve Kremer},
volume = {5},
series = {Cryptology and Information Security Series},
publisher = {IOS Press},
isbn = {978-1-60750-714-7},
}