Formal Verification of Safety Message Dissemination Protocol for VANETs.
M. A. BerlinSheila AnandPublished in: J. Comput. Sci. (2013)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- data dissemination
- model checking
- vehicular ad hoc networks
- cryptographic protocols
- symbolic model checking
- bounded model checking
- automated verification
- mobile computing
- messages exchanged
- information dissemination
- program slicing
- formal analysis
- data stream mining
- rough sets
- message delivery
- commit protocols
- security protocols
- energy efficient