[1]
H. Comon and V. Shmatikov, β€œIs it possible to decide whether a cryptographic protocol is secure or not?”, JTIT, vol. 10, no. 4, pp. 5–15, Dec. 2002, doi: 10.26636/jtit.2002.4.149.