Yulong Fu, Ousmane Koné. Using transition systems to model and verify the implementation of security protocol. 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 210-217, ACM, 2013. [doi]
Abstract is missing.