Comon, H.; Shmatikov, V. Is It Possible to Decide Whether a Cryptographic Protocol Is Secure or Not?. JTIT 2002, 10 (4), 5-15. https://doi.org/10.26636/jtit.2002.4.149.