Boreale, Michele, and Daniele Gorla. “Process Calculi and the Verification of Security Protocols”. Journal of Telecommunications and Information Technology 10, no. 4 (December 30, 2002): 28–40. Accessed June 15, 2026. https://www.jtit.pl/jtit/article/view/147.