Automated Verification of Group Key Agreement Protocols.
Benedikt SchmidtRalf SasseCas CremersDavid A. BasinPublished in: IEEE Symposium on Security and Privacy (2014)
Keyphrases
- group key agreement
- automated verification
- ad hoc networks
- key management
- key establishment
- model checking
- automated reasoning
- formal verification
- wireless sensor networks
- pairwise
- routing protocol
- sensor networks
- group communication
- end to end
- key distribution
- resource constrained
- wireless networks
- digital signature
- secret key
- security protocols
- quality of service
- graph theory
- energy consumption
- security services
- secure communication
- artificial intelligence
- provably secure
- peer to peer
- data streams