David Nowak, Yu Zhang. A Calculus for Game-Based Security Proofs. In Swee-Huay Heng, Kaoru Kurosawa, editors, Provable Security - 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings. Volume 6402 of Lecture Notes in Computer Science, pages 35-52, Springer, 2010. [doi]
Abstract is missing.