Back to Search Start Over

Vulnerabilities Detection in the Configurations of MS Windows Operating System.

Authors :
Gorodetsky, Vladimir
Kotenko, Igor
Skormin, Victor
Zegzhda, Peter D.
Zegzhda, Dmitry P.
Kalinin, Maxim O.
Source :
Computer Network Security (9783540291138); 2005, p339-351, 13p
Publication Year :
2005

Abstract

This paper addresses to the technique of the vulnerabilities detection. The proposed methodology is applicable to verify property of the operating system configurations safety. Using our technique it becomes possible to discover security drawbacks in any secure system based on access control model of 'state machine' style. We discuss the Vulnerability Criteria Processing Unit, the automated detection tool, working in MS Windows and calculating the set of vulnerable settings. Through our case study of model checking in Sample Vulnerability Checking (SVC), we show how the proposed technique is applied to verify system security. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISBNs :
9783540291138
Database :
Supplemental Index
Journal :
Computer Network Security (9783540291138)
Publication Type :
Book
Accession number :
32910807
Full Text :
https://doi.org/10.1007/11560326_26