Non-Deterministic Games and Program Analysis: An Application to Security.
Pasquale MalacariaChris HankinPublished in: LICS (1999)
Keyphrases
- intrusion detection
- security issues
- access control
- security requirements
- information assurance
- information security
- network security
- security threats
- security problems
- computer games
- game theory
- game design
- security systems
- security analysis
- security mechanisms
- security policies
- educational games
- information systems
- neural network
- key management
- digital games
- black box
- nash equilibria
- e government
- security properties
- mobile devices
- security measures
- data mining