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]
No references recorded for this publication.
No citations of this publication recorded.