Secure Routing against Wormhole Attack and Its Formal Verification based on Timed Colored Petri Net.
Lishi ChenChun-Yan LiuHejiao HuangPublished in: Q2SWinet@MSWiM (2015)
Keyphrases
- formal verification
- colored petri nets
- secure routing
- petri net
- model checking
- routing protocol
- ad hoc networks
- biological inspired
- web services
- automated verification
- model checker
- bounded model checking
- mobile ad hoc networks
- symbolic model checking
- program slicing
- temporal logic
- routing scheme
- distributed systems