Cryptology ePrint Archive: Report 2010/230
Available versions in chronological order
20100428:135303 (posted 28-Apr-2010 13:53:03 UTC)
A calculus for game-based security proofs
David Nowak and Yu Zhang
[
Cryptology ePrint archive
]