Computationally sound mechanized proofs for basic and public-key Kerberos.
Bruno BlanchetAaron D. JaggardAndre ScedrovJoe-Kai TsayPublished in: AsiaCCS (2008)
Keyphrases
- public key
- secret key
- security analysis
- authentication protocol
- public key cryptosystem
- digital signature
- signature scheme
- image authentication
- encryption scheme
- private key
- secure communication
- security model
- authentication scheme
- public key cryptography
- diffie hellman
- key distribution
- trusted third party
- security level
- elliptic curve cryptography
- rfid tags
- security properties
- low cost
- key management
- public key infrastructure