Security Analysis of the PACE Key-Agreement Protocol.
Jens BenderMarc FischlinDennis KüglerPublished in: ISC (2009)
Keyphrases
- security analysis
- key agreement protocol
- diffie hellman
- public key
- security properties
- provably secure
- security model
- encryption scheme
- smart card
- authentication protocol
- security requirements
- private key
- key distribution
- standard model
- user authentication
- authentication scheme
- software engineering
- digital signature
- data management