Security-Aware Synthesis Using Delayed-Action Games.
Mahmoud ElfarYu WangMiroslav PajicPublished in: CAV (1) (2019)
Keyphrases
- extensive form games
- security issues
- statistical databases
- action sets
- security requirements
- access control
- intrusion detection
- educational games
- game theoretic
- program synthesis
- security threats
- security problems
- video games
- human actions
- game theory
- information security
- security systems
- reinforcement learning
- security measures
- security level
- security policies
- computer security
- game playing
- security mechanisms
- reasoning about actions
- online game
- computer games
- decision making
- perfect information
- mobile devices
- multi agent
- taking care
- game design