Comon, Hubert, and Vitaly Shmatikov. 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.