Automated Security Proof for Symmetric Encryption Modes.
Martin GagnéPascal LafourcadeYassine LakhnechReihaneh Safavi-NainiPublished in: ASIAN (2009)
Keyphrases
- security issues
- information security
- automated theorem provers
- human operators
- security policies
- access control
- theorem prover
- network security
- statistical databases
- security threats
- security analysis
- intrusion detection
- semi automated
- security requirements
- theorem proving
- information assurance
- security management
- cyber security
- sensitive data
- security protocols
- computer security
- security level
- security problems
- key management
- functional requirements
- neural network