@INPROCEEDINGS{cgUCL-CCKLP08,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Lynch, Nancy and Pereira, Olivier},
	TITLE={{Modeling Computational Security in Long-Lived Systems}},
	BOOKTITLE={CONCUR 2008 - Concurrency Theory},
	PUBLISHER={Springer},
	EDITOR={van Breugel, Franck; Chechik, Marsha},
	SERIES={LNCS},
	VOLUME={5201},
	MONTH={8},
	YEAR={2008},
}