Constructive Cryptography - A New Paradigm for Security Definitions and Proofs.
Ueli MaurerPublished in: TOSCA (2011)
Keyphrases
- information security
- encryption algorithms
- access control
- cellular automata
- network security
- security requirements
- cryptographic algorithms
- information systems
- information assurance
- security issues
- statistical databases
- functional requirements
- security mechanisms
- security policies
- intrusion detection
- security measures
- biometric systems
- elliptic curve cryptography
- data security
- security level
- security problems
- mathematical proofs
- security vulnerabilities
- public key cryptography
- security services
- security management
- cyber security
- security protocols
- data integrity
- computer security
- sensitive data
- theorem proving