Boreale M, Gorla D. Process calculi and the verification of security protocols. JTIT. 2002;10(4):28-40. doi:10.26636/jtit.2002.4.147