Integration and formal security analysis of a quantum key distribution scheme within CHAP protocol.
Aymen GhilenMostafa AziziRidha BoualleguePublished in: AICCSA (2015)
Keyphrases
- key distribution
- security analysis
- authentication protocol
- private key
- key exchange
- smart card
- public key
- secret key
- mutual authentication
- symmetric key
- group communication
- security requirements
- security model
- authentication scheme
- key management
- user authentication
- cryptographic protocols
- encryption scheme
- security properties
- fault tolerant
- encryption algorithm
- elliptic curve
- provably secure
- trusted third party
- information systems
- security protocols