Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies.
Mihai-Lica PuraDidier BuchsPublished in: Trans. Petri Nets Other Model. Concurr. (2015)
Keyphrases
- security protocols
- symbolic model checking
- ad hoc networks
- key management
- model checking
- partial observability
- end to end
- routing protocol
- formal verification
- wireless ad hoc networks
- routing algorithm
- wireless networks
- security services
- quality of service
- secure communication
- binary decision diagrams
- symbolic representation
- peer to peer
- security properties
- network topologies
- model checker
- data sets
- operating system