Upgrade of a quantum scheme for authentication and key distribution along with a formal verification based on model checking technique.
Aymen GhilenMostafa AziziRidha BouallèguePublished in: Secur. Commun. Networks (2016)
Keyphrases
- key distribution
- formal verification
- model checking
- key management
- model checker
- temporal logic
- fault tolerant
- bounded model checking
- authentication protocol
- automated verification
- symbolic model checking
- private key
- formal specification
- secret key
- verification method
- computation tree logic
- elliptic curve
- signature scheme
- public key
- signcryption scheme
- transition systems
- linear temporal logic
- formal methods
- wireless ad hoc networks
- security protocols
- diffie hellman
- ad hoc networks
- key management scheme
- end to end
- domain independent