Verification of OSPF vulnerabilities by colored Petri net.

Saeid Tizpaz-Niari Amir Hossein Jahangir

Published in: SIN (2013)

Keyphrases

colored petri nets
petri net
web services
shortest path
information security
traffic engineering
network topology
countermeasures
routing protocol
security issues
security flaws
data sets
switched networks
resource utilization
security mechanisms
load balancing
e learning