Model-Based Analysis of Configuration Vulnerabilities

Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a new approach to vulnerability analysis based on model checking. Our approach involves:

• Type: Journal
• Year: 2002
• Where: JCS
• Authors: C. R. Ramakrishnan, R. C. Sekar
• Keywords: JCS 2002, Model, Security Properties, Vulnerability Analysis