Login / Signup
Sequences of games: a tool for taming complexity in security proofs.
Victor Shoup
Published in:
IACR Cryptol. ePrint Arch. (2004)
Keyphrases
</>
computational complexity
access control
hidden markov models
intrusion detection
video games
information security
theorem proving
game design
game playing
sequential patterns
computer games
security policies
computer programs
nash equilibria
cyber security