Formal security analysis of Ariadne secure routing protocol using model checking.
E. OnemA. Burak GürdagM. Ufuk ÇaglayanPublished in: Int. J. Ad Hoc Ubiquitous Comput. (2012)
Keyphrases
- security analysis
- model checking
- routing protocol
- formal specification
- formal methods
- ad hoc networks
- temporal logic
- security requirements
- ctl model update
- smart card
- wireless sensor networks
- routing algorithm
- public key
- formal verification
- energy consumption
- secure routing
- user authentication
- encryption scheme
- authentication protocol
- sensor networks
- access control
- key management
- artificial intelligence
- source code
- computational complexity