Comon, Hubert, and Vitaly Shmatikov. “Is It Possible to Decide Whether a Cryptographic Protocol Is Secure or Not?”. Journal of Telecommunications and Information Technology 10, no. 4 (December 30, 2002): 5–15. Accessed April 21, 2026. https://jtit.pl/jtit/article/view/149.