Shambhu J. Upadhyaya, Ramkumar Chinchani, Kevin A. Kwiat. An Analytical Framework for Reasoning about Intrusions. In 20th Symposium on Reliable Distributed Systems (SRDS 2001), 28-31 October 2001, New Orleans, LA, USA. pages 99, IEEE Computer Society, 2001. [doi]
Abstract is missing.