Formal Proof of Provable Security by Game-Playing in a Proof Assistant.

Reynald Affeldt Miki Tanaka Nicolas Marti

Published in: ProvSec (2007)

Keyphrases

formal proof
game playing
theorem prover
general game playing
video games
multi player
world class
tic tac toe
game tree search
temporal difference learning
imperfect information
access control
game tree
game based learning
opponent modeling
test bed
game play
user behavior
first order logic
artificial intelligence