Automated Security Proofs for Almost-Universal Hash for MAC verification.
Martin GagnéPascal LafourcadeYassine LakhnechPublished in: IACR Cryptol. ePrint Arch. (2013)
Keyphrases
- high security
- java card
- automated theorem provers
- integrity verification
- cryptographic protocols
- information security
- semi automated
- formal proof
- intrusion detection
- human operators
- security requirements
- model checking
- security issues
- security policies
- security analysis
- security systems
- network security
- access control
- data security
- sensitive data
- security mechanisms
- key management
- hash functions
- theorem prover
- smart card