Authenticated-Encryption with Padding: A Formal Security Treatment.
Kenneth G. PatersonGaven J. WatsonPublished in: Cryptography and Security (2012)
Keyphrases
- key exchange
- key exchange protocol
- encryption scheme
- encryption algorithms
- key agreement protocol
- security properties
- key management
- security analysis
- diffie hellman
- key distribution
- encryption decryption
- private key
- data encryption
- password based authenticated key exchange
- encryption algorithm
- high security
- formal model
- authentication scheme
- data confidentiality
- identity authentication
- security issues
- secure communication
- integrity verification
- digital rights management
- image encryption
- security requirements
- formal methods
- secret key
- smart card
- digital signature
- cryptographic algorithms
- information security
- elliptic curve cryptography
- access control
- network security
- public key
- mutual authentication
- stream cipher
- data quality
- standard model
- ciphertext
- authentication protocol
- elliptic curve