Simon N. Foley, William M. Fitzgerald, Stefano Bistarelli, Barry O'Sullivan, Mícheál Ó Foghlú: Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration. IPOM 2006: 168-180