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. 168-180 2006 conf/ipom/2006 IPOM https://doi.org/10.1007/11908852_15 db/conf/ipom/ipom2006.html#FoleyFBOF06