Comon, H. and Shmatikov, V. 2002. Is it possible to decide whether a cryptographic protocol is secure or not?. Journal of Telecommunications and Information Technology. 10, 4 (Dec. 2002), 5–15. DOI:https://doi.org/10.26636/jtit.2002.4.149.