Boreale, Michele, and Daniele Gorla. 2002. “Process Calculi and the Verification of Security Protocols”. Journal of Telecommunications and Information Technology 10 (4): 28-40. https://doi.org/10.26636/jtit.2002.4.147.