Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR.
Gavin LowePublished in: TACAS (1996)
Keyphrases
- public key
- authentication protocol
- session key
- security model
- security analysis
- provably secure
- diffie hellman
- blind signature
- homomorphic encryption
- public key cryptosystem
- blind signature scheme
- digital signature
- signature scheme
- secure communication
- image authentication
- private key
- secret key
- public key cryptography
- authentication scheme
- elliptic curve cryptography
- message authentication codes
- cryptographic protocols
- lightweight
- trusted third party
- ciphertext
- high security
- key distribution
- encryption scheme
- key exchange
- proxy re encryption
- security protocols
- public key encryption
- security properties