Automated Security Proofs for Almost-Universal Hash for MAC Verification.
Martin GagnéPascal LafourcadeYassine LakhnechPublished in: ESORICS (2013)
Keyphrases
- high security
- java card
- security issues
- cryptographic protocols
- information security
- semi automated
- integrity verification
- access control
- security policies
- theorem proving
- human operators
- security requirements
- hash functions
- formal proof
- intrusion detection
- security analysis
- automated theorem provers
- high assurance
- statistical databases
- model checking
- formal verification
- security systems
- network security
- image encryption
- b tree
- smart card
- security mechanisms
- data security
- security model
- data structure
- database systems