Comon H, Shmatikov V. Is it possible to decide whether a cryptographic protocol is secure or not?. JTIT. 2002;10(4):5-15. doi:10.26636/jtit.2002.4.149