Verification of OSPF vulnerabilities by colored Petri net.

Saeid Tizpaz-Niari, Amir Hossein Jahangir

Browse the full SIN paper archive.