BOREALE, Michele; GORLA, Daniele. Process calculi and the verification of security protocols. Journal of Telecommunications and Information Technology, [S. l.], v. 10, n. 4, p. 28–40, 2002. DOI: 10.26636/jtit.2002.4.147. Disponível em: https://jtit.pl/jtit/article/view/147. Acesso em: 17 apr. 2026.