Automated Security Proofs with Sequences of Games.
Bruno BlanchetDavid PointchevalPublished in: CRYPTO (2006)
Keyphrases
- information security
- automated theorem provers
- hidden markov models
- semi automated
- network security
- intrusion detection
- security requirements
- access control
- game theory
- computer security
- security issues
- computer programs
- game theoretic
- computer games
- game play
- security measures
- security threats
- security problems
- sequential patterns
- human operators
- fully automated
- theorem prover
- game playing
- nash equilibrium
- video games
- statistical databases
- security analysis
- nash equilibria
- game design
- coalitional games
- law enforcement
- human computation
- perfect information
- theorem proving
- information systems