Comon H, Shmatikov V. Is it possible to decide whether a cryptographic protocol is secure or not?. JTIT [Internet]. 2002 Dec. 30 [cited 2026 Jun. 15];10(4):5-15. Available from: https://www.jtit.pl/jtit/article/view/149