@InProceedings{canetti_et_al:DagSemProc.08491.3,
author = {Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Lynch, Nancy and Pereira, Olivier},
title = {{Modeling Computational Security in Long-Lived Systems}},
booktitle = {Theoretical Foundations of Practical Information Security},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {8491},
editor = {Ran Canetti and Shafi Goldwasser and G\"{u}nter M\"{u}ller and Rainer Steinwandt},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08491.3},
URN = {urn:nbn:de:0030-drops-18908},
doi = {10.4230/DagSemProc.08491.3},
annote = {Keywords: Long lived security; universally composable security;}
}