An Automated Analysis of the Security of Quantum Key Distribution
Rajagopal NagarajanNikolaos PapanikolaouGarry BowenSimon J. GayPublished in: CoRR (2005)
Keyphrases
- automated analysis
- key distribution
- key management
- private key
- group communication
- fault tolerant
- visual analysis
- authentication protocol
- elliptic curve
- key exchange
- secret key
- diffie hellman
- security protocols
- key agreement protocol
- ad hoc networks
- signcryption scheme
- signature scheme
- key management scheme
- resource constrained
- security properties
- wireless sensor networks
- fault tolerance
- information retrieval
- key establishment
- wireless ad hoc networks
- information security
- low cost
- similarity measure