136
Voted
PROVSEC
2007
Springer
15 years 9 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...