Verifying CIM models of Apache Web-server configurations
Carsten Sinz, A. Khosravizadeh, Wolfgang Küchlin, V. Mihajlovski · 2003
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.