Boreale, M.; Gorla, D. Process Calculi and the Verification of Security Protocols. JTIT 2002, 10 (4), 28-40. https://doi.org/10.26636/jtit.2002.4.147.