@inproceedings{4c6e21c9df9a4ca3bdb47ea0cdc6bfde,
title = "Principles of secure network configuration: Towards a formal basis for self-configuration",
abstract = "The challenge for autonomic network management is the provision of future network management systems that have the characteristics of self-management, self-configuration, self-protection and self-healing, in accordance with the high level objectives of the enterprise or human end-user. This paper proposes an abstract model for network configuration that is intended to help understand fundamental underlying issues in self-configuration. We describe the cascade problem in self-configuring networks: when individual network components that are securely configured are connected together (in an apparently secure manner), a configuration cascade can occur resulting in a mis-configured network. This has implications for the design of self-configuring systems and we discuss how a soft constraint-based framework can provide a solution.",
author = "Foley, \{Simon N.\} and William Fitzgerald and Stefano Bistarelli and Barry O'Sullivan and Foghl{\'u}, \{M{\'i}che{\'a}l {\'O}\}",
year = "2006",
doi = "10.1007/11908852\_15",
language = "English",
isbn = "3540477012",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "168--180",
booktitle = "Autonomic Principles of IP Operations and Management - 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Proceedings",
address = "Germany",
note = "6th IEEE International Workshop on IP Operations and Management, IPOM 2006 ; Conference date: 23-10-2006 Through 25-10-2006",
}