Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol.
Kaylash ChaudharyAnsgar FehnkerVinay MehtaPublished in: MARS@ETAPS (2017)
Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- formal analysis
- model checking
- formal methods
- lightweight
- formal verification
- colored petri nets
- formal proof
- coloured petri nets
- verification method
- communication protocols
- tcp ip
- network simulator
- communication protocol
- network protocols
- security protocols
- database systems
- data sets