Saeid Tizpaz Niari, Amir-Hossein Jahangir. Verification of OSPF vulnerabilities by colored Petri net. 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 102-109, ACM, 2013. [doi]
Abstract is missing.