Using transition systems to model and verify the implementation of security protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yulong Fu' in GoogleThis author has not been identified. Look up 'Ousmane Koné' in Google

runs on WebDSL