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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
