Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE.
Lassaad CheikhrouhouWerner StephanÖzgür DagdelenMarc FischlinMarkus UllmannPublished in: Sicherheit (2012)
Keyphrases
- security analysis
- security properties
- smart card
- encryption scheme
- elliptic curve cryptography
- security requirements
- high security
- security model
- public key
- stream cipher
- information security
- mutual authentication
- authentication protocol
- image encryption
- internet banking
- encryption algorithm
- public key cryptography
- security mechanisms
- authentication scheme
- user authentication
- key exchange
- digital signature
- data sharing
- private key
- diffie hellman
- standard model
- secret key
- lossless compression
- access control
- cryptographic protocols
- pseudorandom
- distributed systems
- elliptic curve
- secure communication
- network traffic
- software architecture