|
Announcements
Center for Information Protection Conferences and Workshops
My Links
Other Links
|
Vulnerabilities Analysis
Citation
PaperAbstractThis note presents a new model for classifying vulnerabilities in computer systems. The model is structurally different than earlier models, It decomposes vulnerabilities into small parts, called “primitive conditions.” Our hypothesis is that by examining systems for these conditions, we can detect vulnerabilities. By preventing these conditions from holding, we can prevent vulnerabilities from occurring, even if we do not know that the vulnerability exists. A formal basis for this model is presented. An informal, experimental method of validation for non- secure systems is described. If the model accurately describes existing systems, it guides the development of tools to analyze systems for vulnerabilities.Copyright NoticeThe version posted here is a manuscript version. The definitive version was published in the Proceedings of the Second International Symposium on Recent Advances in Intrusion Detection, Sep. 2000. |
|
| Last updated on Monday, July 20, 2009 at 10:33:14AM PDT |