Security of Keyed Sponge Constructions Using a Modular Proof Approach.
Elena AndreevaJoan DaemenBart MenninkGilles Van AsschePublished in: FSE (2015)
Keyphrases
- access control
- intrusion detection
- security issues
- information security
- computer security
- key management
- security threats
- theorem proving
- functional requirements
- security systems
- security problems
- statistical databases
- security management
- network security
- linear logic
- database
- information assurance
- security model
- data security
- security protocols
- personal information
- social networks
- databases