Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption.
Yusuke KawamotoHideki SakuradaMasami HagiyaPublished in: Formal to Practical Security (2009)
Keyphrases
- key exchange
- encryption scheme
- key management
- data encryption
- security properties
- digital signature
- security analysis
- cryptographic protocols
- stream cipher
- formal model
- private key
- data confidentiality
- encryption decryption
- high security
- integrity verification
- image encryption
- public key cryptography
- secret key
- mutual authentication
- encryption key
- key distribution
- digital rights management
- identity authentication
- public key
- cryptographic algorithms
- data protection
- authentication scheme
- standard model
- secure communication
- security requirements
- diffie hellman
- advanced encryption standard
- data quality
- smart card
- encryption algorithms
- knowledge representation
- security protocols
- wireless sensor networks
- data sharing
- privacy preserving
- security mechanisms
- pseudorandom
- data security
- operational semantics