Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira. Modeling Computational Security in Long-Lived Systems. In Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt, editors, Theoretical Foundations of Practical Information Security, 30.11. - 05.12.2008. Volume 08491 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008. [doi]
Abstract is missing.