{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:26:30Z","timestamp":1740122790853,"version":"3.37.3"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,5,27]],"date-time":"2016-05-27T00:00:00Z","timestamp":1464307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002790","name":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada (CA)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Netw Syst Manage"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s10922-016-9387-7","type":"journal-article","created":{"date-parts":[[2016,5,27]],"date-time":"2016-05-27T03:30:22Z","timestamp":1464319822000},"page":"180-209","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Declarative Approach to Network Device Configuration Correctness"],"prefix":"10.1007","volume":"25","author":[{"given":"\u00c9ric Lunaud","family":"Ngoup\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cl\u00e9ment","family":"Parisot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvan","family":"Stoesel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petko","family":"Valtchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roger","family":"Villemaire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Cherkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Boucher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Hall\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,27]]},"reference":[{"key":"9387_CR1","unstructured":"Strassner, J.: Bridge to IP Profitability (2002). http:\/\/www.intelliden.com\/library\/GlobalOSS_BridgetoIP45.pdf . Accessed 27 May 2016"},{"key":"9387_CR2","unstructured":"Feamster, N., Balakrishnan, H.: Detecting BGP configuration faults with static analysis. In: 2nd Symposium on Networked Systems Design and Implementation (NSDI), (Boston, MA), pp.\u00a043\u201356 (2005)"},{"key":"9387_CR3","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MC.2004.2","volume":"6","author":"A Wool","year":"2004","unstructured":"Wool, A.: A quantitative study of firewall configuration errors. IEEE Comput. 6, 62\u201367 (2004)","journal-title":"IEEE Comput."},{"key":"9387_CR4","unstructured":"Burgess, M., Couch, A.: Modeling next generation configuration management tools. In: LISA, pp.\u00a0131\u2013147. USENIX (2006)"},{"key":"9387_CR5","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Ngoupe, E.L., Nijdam, G., Cherkaoui, O., Valtchev, P., Villemaire, R.: Validmaker: a tool for managing device configurations using logical constraints. In: NOMS [35], pp.\u00a01111\u20131118","DOI":"10.1109\/NOMS.2012.6212037"},{"key":"9387_CR6","unstructured":"802.11Q: Virtual bridged local area networks standard (2003). http:\/\/standards.ieee.org\/getieee802\/download\/802.1Q-2003.pdf"},{"key":"9387_CR7","unstructured":"Configuring VTP (2007). http:\/\/www.cisco.com\/en\/US\/products\/hw\/switches\/ps708\/products_configuration_guide_chapter09186a008019f048.htm . Accessed 27 May 2016"},{"key":"9387_CR8","doi-asserted-by":"crossref","unstructured":"Villemaire, R., Hall\u00e9, S., Cherkaoui, O.: Configuration Logic: a multi-site modal logic. In: TIME, pp.\u00a0131\u2013137. IEEE Computer Society (2005)","DOI":"10.1109\/TIME.2005.18"},{"key":"9387_CR9","unstructured":"Delaet, T., Joosen, W.: A language for high-level configuration management. In: 21st Large Installation System Administration Conference, pp.\u00a0131\u2013137. Usenix Association (2007)"},{"key":"9387_CR10","unstructured":"Fedor, M., Schoffstall, M.L., Davin, J.: An architecture for describing SNMP management frameworks (RFC 1157) (1990)"},{"key":"9387_CR11","doi-asserted-by":"crossref","unstructured":"Enns, R., Bjorklund, M., Schoenwaelder, J., Bierman, A.: Network Configuration Protocol (NETCONF) (RFC 6241) (2011)","DOI":"10.17487\/rfc6241"},{"key":"9387_CR12","doi-asserted-by":"crossref","unstructured":"Bjorklund, M.: A Data Modeling Language for the Network Configuration Protocol (NETCONF). (RFC 6020) (2010)","DOI":"10.17487\/rfc6020"},{"key":"9387_CR13","unstructured":"Burgess, M.: A site configuration engine. In: USENIX, pp.\u00a0309\u2013337 (1995)"},{"key":"9387_CR14","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nw\u00e4lder, J., Marinov, V., Burgess, M.: Integrating cfengine and scli: managing network devices like host systems. In: IEEE\/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, NOMS (2008) 7\u201311 April 2008, Salvador, Bahia, Brazil, pp.\u00a01067\u20131070. IEEE (2008)","DOI":"10.1109\/NOMS.2008.4575280"},{"key":"9387_CR15","unstructured":"SolarWinds CatTools: Cattools Help (2012). http:\/\/www.kiwisyslog.com\/help\/cattools\/mnu_filedbimportdevicefrmtab.htm"},{"key":"9387_CR16","unstructured":"Puppet Labs investors: (2013). http:\/\/puppetlabs.com\/solutions\/juniper-networks"},{"key":"9387_CR17","volume-title":"Learning Chef","author":"M Taylor","year":"2014","unstructured":"Taylor, M., Vargo, S.: Learning Chef. O\u2019Reilly, Sebastopol, CA (2014)"},{"issue":"1","key":"9387_CR18","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1496909.1496915","volume":"43","author":"P Goldsack","year":"2009","unstructured":"Goldsack, P., Guijarro, J., Loughran, S., Coles, A.N., Farrell, A., Lain, A., Murray, P., Toft, P.: The SmartFrog configuration management framework. Oper. Syst. Rev. 43(1), 16\u201325 (2009)","journal-title":"Oper. Syst. Rev."},{"key":"9387_CR19","unstructured":"Lobo, J., Bhatia, R., Naqvi, S.A.: A policy description language. In: Hendler, J., Subramanian, D. (eds.) Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, July 18\u201322, 1999, Orlando, FL, USA, pp.\u00a0291\u2013298. AAAI Press\/The MIT Press (1999)"},{"key":"9387_CR20","doi-asserted-by":"crossref","unstructured":"Agrawal, D., Calo, S.B., Lee, K.-W., Lobo, J.: Issues in designing a policy language for distributed management of IT infrastructures. In: Integrated Network Management, pp.\u00a030\u201339. IEEE (2007)","DOI":"10.1109\/INM.2007.374767"},{"key":"9387_CR21","doi-asserted-by":"crossref","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder policy specification language. In: Sloman, M., Lobo, J., Lupu, E. (eds.) POLICY, vol.\u00a01995 of Lecture Notes in Computer Science, pp.\u00a018\u201338. Springer, Berlin (2001)","DOI":"10.1007\/3-540-44569-2_2"},{"key":"9387_CR22","unstructured":"Object constraint language version 2.2, tech. rep. (2010). http:\/\/www.omg.org\/spec\/OCL\/2.2"},{"key":"9387_CR23","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Deca, R., Cherkaoui, O., Villemaire, R.: Automated validation of service configuration on network devices. In: Vicente, J.B., Hutchison, D. (eds.) MMNS, vol.\u00a03271 of Lecture Notes in Computer Science, pp.\u00a0176\u2013188. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30189-9_15"},{"key":"9387_CR24","doi-asserted-by":"crossref","unstructured":"Tuncer, D., Charalambides, M., Pavlou, G., Wang, N.: Dacorm: a coordinated, decentralized and adaptive network resource management scheme. In: 2012 IEEE Network Operations and Management Symposium, Maui, HI, USA, April 16\u201320, 2012 [35], pp.\u00a0417\u2013425","DOI":"10.1109\/NOMS.2012.6211926"},{"issue":"3","key":"9387_CR25","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s10922-008-9111-3","volume":"16","author":"L Seitz","year":"2008","unstructured":"Seitz, L., Selander, G., Rissanen, E., Ling, C., Sadighi, B.: Decentralized access control management for network configuration. J. Netw. Syst. Manag. 16(3), 303\u2013316 (2008)","journal-title":"J. Netw. Syst. Manag."},{"key":"9387_CR26","doi-asserted-by":"crossref","unstructured":"Burgess, M.: Theory and practice of configuration management in decentralized systems. In: Hellerstein, J.L., Stiller, B. (eds.) Proceedings of the Management of Integrated End-to-End Communications and Services, 10th IEEE\/IFIP Network Operations and Management Symposium, NOMS 2006, Vancouver, Canada, April 3\u20137, 2006, p.\u00a0583. IEEE (2006)","DOI":"10.1109\/NOMS.2006.1687591"},{"issue":"4","key":"9387_CR27","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1023\/A:1012976206591","volume":"9","author":"FL Koch","year":"2001","unstructured":"Koch, F.L., Westphall, C.B.: Decentralized network management using distributed artificial intelligence. J. Netw. Syst. Manag. 9(4), 375\u2013388 (2001)","journal-title":"J. Netw. Syst. Manag."},{"issue":"3","key":"9387_CR28","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/263932.263940","volume":"27","author":"M Kahani","year":"1997","unstructured":"Kahani, M., Beadle, P.: Decentralized approaches for network management. Comput. Commun. Rev. 27(3), 36\u201347 (1997)","journal-title":"Comput. Commun. Rev."},{"key":"9387_CR29","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Wenaas, \u00c9., Villemaire, R., Cherkaoui, O.: Self-configuration of network devices with Configuration Logic. In: Ga\u00efti, D., Pujolle, G., Al-Shaer, E.S., Calvert, K.L., Dobson, S.A., Leduc, G., Martikainen, O. (eds.) Autonomic Networking, vol.\u00a04195 of Lecture Notes in Computer Science, pp.\u00a036\u201349. Springer, Berlin (2006)","DOI":"10.1007\/11880905_4"},{"key":"9387_CR30","volume-title":"Autonomic Network Management Principles","author":"N Agoulmine","year":"2011","unstructured":"Agoulmine, N.: Autonomic Network Management Principles. Academic Press, London (2011)"},{"key":"9387_CR31","doi-asserted-by":"crossref","unstructured":"Henderson, P., Morris, J., Jr.: A lazy evaluator. In: Proceedings of the 3rd ACM SIGACT-SIGPLAN Symposium on Principles on Programming Languages, pp.\u00a095\u2013103. ACM (1976)","DOI":"10.1145\/800168.811543"},{"key":"9387_CR32","unstructured":"Friedman, D.P., Wise, D.S.: CONS should not evaluate its arguments. In: ICALP, pp.\u00a0257\u2013284 (1976)"},{"key":"9387_CR33","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Cherkaoui, O., Valtchev, P.: Towards a semantic virtualization of configurations. In: 2012 IEEE Network Operations and Management Symposium, Maui, HI, USA, April 16\u201320, pp.\u00a01268\u20131271. IEEE (2012)","DOI":"10.1109\/NOMS.2012.6212062"},{"key":"9387_CR34","volume-title":"Introduction to Mathematical Logic","author":"E Mendelson","year":"1997","unstructured":"Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Springer, Berlin (1997)","edition":"4"}],"container-title":["Journal of Network and Systems Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-016-9387-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10922-016-9387-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-016-9387-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-016-9387-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T19:33:25Z","timestamp":1567971205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10922-016-9387-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,27]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["9387"],"URL":"https:\/\/doi.org\/10.1007\/s10922-016-9387-7","relation":{},"ISSN":["1064-7570","1573-7705"],"issn-type":[{"type":"print","value":"1064-7570"},{"type":"electronic","value":"1573-7705"}],"subject":[],"published":{"date-parts":[[2016,5,27]]}}}