Multiuser Searchable Encryption with Token Freshness Verification.
Dhruti SharmaDevesh C. JinwalaPublished in: Secur. Commun. Networks (2017)
Keyphrases
- high security
- integrity verification
- model checking
- cryptographic protocols
- digital libraries
- formal verification
- image encryption
- neural network
- encryption algorithm
- secret key
- security analysis
- signature verification
- database
- formal methods
- verification method
- security properties
- face verification
- response time
- encryption algorithms
- encryption decryption
- chaotic sequence