Secure Disk with Authenticated Encryption and IV Verification.
Fangyong HouNong XiaoFang LiuHongjun HePublished in: IAS (2009)
Keyphrases
- key exchange
- security analysis
- integrity verification
- high security
- authentication scheme
- cryptographic protocols
- diffie hellman
- key exchange protocol
- image encryption
- encryption scheme
- elliptic curve cryptography
- digital signature
- secret key
- key distribution
- key management
- model checking
- security properties
- main memory
- key agreement protocol
- storage systems
- standard model
- smart card
- security requirements
- encryption decryption
- password based authenticated key exchange
- cryptographic algorithms
- stream cipher
- secure communication
- group communication
- read write