MONNIAUX, David. Analysis of cryptographic protocols using logics of belief: an overview. Journal of Telecommunications and Information Technology, Warsaw, Poland, v. 10, n. 4, p. 57–67, 2002. DOI: 10.26636/jtit.2002.4.145. Disponível em: https://jtit.pl/jtit/article/view/145. Acesso em: 13 jun. 2026.