David Nowak. A Framework for Game-Based Security Proofs. In Sihan Qing, Hideki Imai, Guilin Wang, editors, Information and Communications Security, 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, Proceedings. Volume 4861 of Lecture Notes in Computer Science, pages 319-333, Springer, 2007. [doi]
Abstract is missing.