Verified Security of Merkle-Damgård.
Michael BackesGilles BartheMatthias BergBenjamin GrégoireCésar KunzMalte SkoruppaSantiago Zanella BéguelinPublished in: CSF (2012)
Keyphrases
- security issues
- security requirements
- computer security
- access control
- intrusion detection
- network security
- risk analysis
- lightweight
- information security
- risk assessment
- statistical databases
- security mechanisms
- information assurance
- database
- security vulnerabilities
- security measures
- cyber attacks
- security policies
- control system
- data sets