loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference On Quality Software
Verifying CIM Models of Apache Web-Server Configurations
Dallas, Texas
November 06-November 07
ISBN: 0-7695-2015-4
ASCII Text
x 
 
Carsten Sinz, Amir Khosravizadeh, Wolfgang K?chlin, Viktor Mihajlovski, "Verifying CIM Models of Apache Web-Server Configurations," Quality Software, International Conference on, pp. 290, Third International Conference On Quality Software, 2003.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2003.1319113,
author = {Carsten Sinz and Amir Khosravizadeh and Wolfgang K?chlin and Viktor Mihajlovski},
title = {Verifying CIM Models of Apache Web-Server Configurations},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-2015-4},
pages = {290},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319113},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - Verifying CIM Models of Apache Web-Server Configurations
SN - 0-7695-2015-4
SP
EP
A1 - Carsten Sinz,
A1 - Amir Khosravizadeh,
A1 - Wolfgang K?chlin,
A1 - Viktor Mihajlovski,
PY - 2003
KW - null
VL - 0
JA - Quality Software, International Conference on
ER -
 
Carsten Sinz, University of T?bingen, Germany
Amir Khosravizadeh, University of T?bingen, Germany
Wolfgang K?chlin, University of T?bingen, Germany
Viktor Mihajlovski, IBM Lab. B?blingen, Germany
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.
Citation:
Carsten Sinz, Amir Khosravizadeh, Wolfgang K?chlin, Viktor Mihajlovski, "Verifying CIM Models of Apache Web-Server Configurations," qsic, pp.290, Third International Conference On Quality Software, 2003
Usage of this product signifies your acceptance of the Terms of Use.