A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol.
Michael BackesBirgit PfitzmannPublished in: FSTTCS (2003)
Keyphrases
- public key
- session key
- security model
- authentication protocol
- security analysis
- diffie hellman
- public key cryptosystem
- provably secure
- private key
- public key encryption scheme
- public key cryptography
- blind signature
- elliptic curve cryptography
- encryption scheme
- homomorphic encryption
- secret key
- image authentication
- blind signature scheme
- signature scheme
- message authentication codes
- security properties
- high security
- digital signature
- secure communication
- authentication scheme
- key exchange
- user authentication
- real time
- rfid tags
- key distribution
- encryption algorithm
- public key infrastructure
- standard model
- key management
- cryptographic protocols
- information security
- wireless networks
- wireless sensor networks