Boreale M, Gorla D. Process calculi and the verification of security protocols. JTIT [Internet]. 2002 Dec. 30 [cited 2026 Apr. 17];10(4):28-40. Available from: https://jtit.pl/jtit/article/view/147