Boreale, M., & Gorla, D. (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