Title: Ontology and algorithms for the dependable configuration of information systems

Authors: Marco Domenico Aime, Paolo Carlo Pomi, Marco Vallini

Addresses: Politecnico di Torino, Dip. di Automatica e Informatica, Corso Duca degli Abruzzi 24, 10149 Torino, Italy. ' Politecnico di Torino, Dip. di Automatica e Informatica, Corso Duca degli Abruzzi 24, 10149 Torino, Italy. ' Politecnico di Torino, Dip. di Automatica e Informatica, Corso Duca degli Abruzzi 24, 10149 Torino, Italy

Abstract: When managing complex information systems to provide critical services, a key requirement is reaching a high level of dependability. Information security problems and techniques have an ever-increasing role in this task. We have developed a methodology and tools for joint security design and validation, to support the quest towards more formal and manageable practices in configuring information system dependability. Our novel approach exploits dependability ontologies and model transformation techniques to perform the automatic generation of configuration directives for the dependability relevant features of the system. This paper presents some relevant aspects of our dependability ontology, and of the associated configuration algorithms.

Keywords: information systems; system dependability; automated system configuration; security ontology; critical services; reliability; information security; dependability ontologies; model transformation.

DOI: 10.1504/IJCCBS.2010.036603

International Journal of Critical Computer-Based Systems, 2010 Vol.1 No.4, pp.310 - 335

Published online: 04 Nov 2010 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article