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
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;
Conference_Titel :
Quality Software, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-2015-4
DOI :
10.1109/QSIC.2003.1319113
