Modeling Computational Security in Long-Lived Systems

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira. Modeling Computational Security in Long-Lived Systems. IACR Cryptology ePrint Archive, 2007:406, 2007. [doi]

Abstract

Abstract is missing.