Cryptographically sound security proofs for basic and public-key Kerberos.
Michael BackesIliano CervesatoAaron D. JaggardAndre ScedrovJoe-Kai TsayPublished in: Int. J. Inf. Sec. (2011)
Keyphrases
- public key
- public key cryptosystem
- security analysis
- authentication protocol
- secret key
- private key
- security model
- public key encryption scheme
- public key cryptography
- encryption scheme
- digital signature
- elliptic curve cryptography
- session key
- diffie hellman
- security level
- high security
- authentication scheme
- cca secure
- secure communication
- user authentication
- image authentication
- security properties
- public key encryption
- signature scheme
- blind signature
- key distribution
- provably secure
- blind signature scheme
- message authentication codes
- key management
- public key infrastructure
- cryptographic protocols
- forward secure
- image encryption
- encryption algorithm
- proxy re encryption
- rfid tags
- identity based encryption
- smart card
- security protocols
- key exchange
- standard model
- digital images