Yulong Fu, Ousmane Koné. A finite transition model for security protocol verification. In Atilla Elçi, Manoj Singh Gaur, Mehmet A. Orgun, Oleg B. Makarevich, editors, The 6th International Conference on Security of Information and Networks, SIN '13, Aksaray, Turkey, November 26-28, 2013. pages 368-371, ACM, 2013. [doi]
Abstract is missing.