Proving the security of ElGamal encryption via indistinguishability logic.
Jan Olaf BlechPublished in: SAC (2011)
Keyphrases
- encryption scheme
- security analysis
- standard model
- encryption algorithms
- encryption decryption
- encryption algorithm
- high security
- security properties
- public key
- diffie hellman
- key management
- data encryption
- data sharing
- identity authentication
- security model
- ciphertext
- lossless compression
- logic programming
- access control
- data security
- secret key
- key exchange
- modal logic
- digital rights management
- data confidentiality
- information security
- private key
- image encryption
- security policies
- elliptic curve cryptography
- intrusion detection
- advanced encryption standard