Formal Security Proof of CMAC and Its Variants.
Cécile Baritel-RuetFrançois DupressoirPierre-Alain FouqueBenjamin GrégoirePublished in: CSF (2018)
Keyphrases
- intrusion detection
- computer security
- information security
- access control
- formal model
- security protocols
- information assurance
- linear logic
- security problems
- network security
- theorem proving
- security mechanisms
- key management
- statistical databases
- security policies
- security level
- security management
- information systems