Extended Abstract: Provable-Security Analysis of Authenticated Encryption in Kerberos.
Alexandra BoldyrevaVirendra KumarPublished in: IEEE Symposium on Security and Privacy (2007)
Keyphrases
- extended abstract
- security analysis
- key exchange
- mutual authentication
- smart card
- authentication scheme
- authentication protocol
- public key
- encryption scheme
- image encryption
- key exchange protocol
- high security
- security properties
- elliptic curve cryptography
- secret key
- encryption algorithm
- security model
- security requirements
- diffie hellman
- user authentication
- private key
- signature scheme
- information security