Comon, Hubert, and Vitaly Shmatikov. “Is It Possible to Decide Whether a Cryptographic Protocol Is Secure or Not?”. Journal of Telecommunications and Information Technology, vol. 10, no. 4, Dec. 2002, pp. 5-15, https://doi.org/10.26636/jtit.2002.4.149.