DocumentCode
3251454
Title
Verifying CIM models of Apache Web-server configurations
Author
Sinz, Carsten ; Khosravizadeh, Amir ; Küchlin, Wolfgang ; Mihajlovski, Viktor
Author_Institution
WSI for Comput. Sci., Tubingen Univ., Germany
fYear
2003
fDate
6-7 Nov. 2003
Firstpage
290
Lastpage
297
Abstract
We show how configuration properties of the Apache Web-server can be formally verified, so that an installation is safe with respect to both universal and site specific local constraints. Our approach starts from an existing semi-formal component model of the Web-server in the common information model (CIM) standard. Hence, our approach is applicable also to the verification of other systems for which a CIM model exists.
Keywords
Internet; configuration management; formal verification; software standards; Apache Web-server configuration; CIM model verification; CIM standard; common information model; configuration properties; semiformal component model; system verification; Application software; Computer integrated manufacturing; Computer science; Concrete; Expert systems; Linux; Logic; Manufacturing automation; Pulp manufacturing; Software quality;
fLanguage
English
Publisher
ieee
Conference_Titel
Quality Software, 2003. Proceedings. Third International Conference on
Print_ISBN
0-7695-2015-4
Type
conf
DOI
10.1109/QSIC.2003.1319113
Filename
1319113
Link To Document