Cryptology ePrint Archive: Report 2007/165

Available versions in chronological order

20070507:211210 (posted 07-May-2007 21:12:10 UTC): Inductive Proof Method for Computational Secrecy; Arnab Roy and Anupam Datta and Ante Derek and John C. Mitchell

[ Cryptology ePrint archive ]