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