A Mechanized Proof of Security for Searchable Symmetric Encryption.
Adam PetcherGreg MorrisettPublished in: CSF (2015)
Keyphrases
- intrusion detection
- security issues
- access control
- network security
- security protocols
- security requirements
- security policies
- information assurance
- security systems
- theorem proving
- information security
- theorem prover
- statistical databases
- digital libraries
- risk analysis
- security threats
- security problems
- neural network
- database
- high security
- linear logic
- security management
- security properties
- security level
- cyber security
- case study
- security analysis
- computer security
- security mechanisms
- database systems
- data management