Modeling Computational Security in Long-Lived Systems.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira

Browse the full CONCUR paper archive.