COMON, Hubert; SHMATIKOV, Vitaly. Is it possible to decide whether a cryptographic protocol is secure or not?. Journal of Telecommunications and Information Technology, Warsaw, Poland, v. 10, n. 4, p. 5–15, 2002. DOI: 10.26636/jtit.2002.4.149. Disponível em: https://jtit.pl/jtit/article/view/149. Acesso em: 13 jun. 2026.