Modeling Computational Security in Long-Lived Systems.

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

Published in: CONCUR (2008)

Keyphrases

long lived
management system
intrusion detection
data structure
mobile devices
intelligent systems
information security