Cybersecurity, Nuclear Security, Alan Turing, and Illogical Logic.
Martin E. HellmanPublished in: CCS (2016)
Keyphrases
- statistical databases
- information security
- access control
- security requirements
- security issues
- network security
- information assurance
- predicate logic
- security problems
- united states
- security management
- automated reasoning
- logic programming
- key management
- security analysis
- classical logic
- security policies
- anomaly detection
- security threats
- encryption scheme
- computer security
- security systems
- security properties
- functional requirements
- digital circuits
- security model
- security mechanisms
- neural network
- multi valued
- sensitive data
- power consumption
- information systems