Cryptology ePrint Archive: Report 2006/486

Available versions in chronological order

20061229:203945 (posted 29-Dec-2006 20:39:45 UTC): Inductive Trace Properties for Computational Security; Arnab Roy and Anupam Datta and Ante Derek and John C. Mitchell; Publication Info: Manuscript

[ Cryptology ePrint archive ]