Automated Security Proofs with Sequences of Games.
Bruno BlanchetDavid PointchevalPublished in: IACR Cryptol. ePrint Arch. (2006)
Keyphrases
- security requirements
- security threats
- semi automated
- automated theorem provers
- security problems
- access control
- information security
- intrusion detection
- theorem proving
- human operators
- video games
- hidden markov models
- security level
- network security
- security mechanisms
- game playing
- long sequences
- perfect information
- cyber security
- security analysis
- game design
- cooperative
- computer programs
- security issues
- statistical databases
- computer security
- sequential patterns
- nash equilibria
- security protocols
- security systems
- game development
- game play
- educational games
- fully automated
- security measures