Boreale, M. and Gorla, D. (2002) “Process calculi and the verification of security protocols”, Journal of Telecommunications and Information Technology, 10(4), pp. 28–40. doi:10.26636/jtit.2002.4.147.