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), pp. 5–15. doi:10.26636/jtit.2002.4.149.