A calculus for game-based security proofs.
David NowakYu ZhangPublished in: IACR Cryptol. ePrint Arch. (2010)
Keyphrases
- natural deduction
- security issues
- sequent calculus
- security policies
- security systems
- network security
- security requirements
- cut elimination
- information security
- statistical databases
- automated theorem proving
- theorem prover
- intrusion detection
- theorem proving
- functional requirements
- security mechanisms
- computer security
- access control
- database
- digital educational games
- security threats
- security problems
- security protocols
- encryption scheme
- computer programs
- database systems