The state of the art in locally distributed Web-server systems
ACM Computing Surveys (CSUR)
Xen and the art of virtualization
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Cryptography and Network Security (4th Edition)
Cryptography and Network Security (4th Edition)
Policy-Based Network Management: Solutions for the Next Generation (The Morgan Kaufmann Series in Networking)
MulVAL: a logic-based network security analyzer
SSYM'05 Proceedings of the 14th conference on USENIX Security Symposium - Volume 14
Optimizing network virtualization in Xen
ATEC '06 Proceedings of the annual conference on USENIX '06 Annual Technical Conference
Heuristics to Perform Molecular Decomposition of Large Mission-Critical Information Systems
SECURWARE '08 Proceedings of the 2008 Second International Conference on Emerging Security Information, Systems and Technologies
Towards the Definition of a Web Service Based Management Framework
SECURWARE '08 Proceedings of the 2008 Second International Conference on Emerging Security Information, Systems and Technologies
IEEE Spectrum
Managing the configuration complexity of distributed applications in Internet data centers
IEEE Communications Magazine
Hi-index | 0.00 |
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.