{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T08:30:19Z","timestamp":1783672219440,"version":"3.55.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,9,1]],"date-time":"2008-09-01T00:00:00Z","timestamp":1220227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Netw Syst Manage"],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s10922-008-9108-y","type":"journal-article","created":{"date-parts":[[2008,10,15]],"date-time":"2008-10-15T14:19:57Z","timestamp":1224080397000},"page":"235-258","source":"Crossref","is-referenced-by-count":51,"title":["Declarative Infrastructure Configuration Synthesis and Debugging"],"prefix":"10.1007","volume":"16","author":[{"given":"Sanjai","family":"Narain","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gary","family":"Levin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sharad","family":"Malik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vikram","family":"Kaul","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2008,10,16]]},"reference":[{"key":"9108_CR1","unstructured":"Security and Business Continuity Solutions from British Telecom: http:\/\/www.btglobalservices.com\/business\/global\/en\/products\/docs\/28154_219475secur_bro_single.pdf"},{"key":"9108_CR2","unstructured":"Lampson, B: Computer security in real world. Annual Computer Security Applications Conference, 2000. http:\/\/research.microsoft.com\/Lampson\/64-SecurityInRealWorld\/Acrobat.pdf"},{"key":"9108_CR3","unstructured":"Oppenheimer, D., Ganapathy, A., Patterson, D.: Why do internet services fail and what can be done about it? 4th USENIX Symposium on Internet Technologies and Systems, 2003. http:\/\/roc.cs.berkeley.edu\/papers\/usits03.pdf"},{"key":"9108_CR4","unstructured":"Schwartz, J.: Who Needs Hackers? New York Times, September 12, 2007. http:\/\/www.nytimes.com\/2007\/09\/12\/technology\/techspecial\/12threat.html"},{"key":"9108_CR5","unstructured":"Kodkod: http:\/\/web.mit.edu\/emina\/www\/kodkod.html"},{"key":"9108_CR6","unstructured":"Torlak, E., Kodkod, D.J: A relational model finder. Tools and Algorithms for Construction and Analysis of Systems (TACAS \u201807). Braga, Portugal (March 2007). PDF, slides"},{"key":"9108_CR7","unstructured":"ZChaff: http:\/\/www.princeton.edu\/~chaff\/"},{"key":"9108_CR8","doi-asserted-by":"crossref","unstructured":"Mahajan, Y., Fu, Z., Malik, S.: Zchaff2004, an efficient SAT solver. Proceedings of 7th International Conference on Theory and Applications of Satisfiability Testing (SAT) (2004)","DOI":"10.1007\/11527695_27"},{"key":"9108_CR9","unstructured":"SWI-Prolog: http:\/\/www.swi-prolog.org\/"},{"key":"9108_CR10","unstructured":"Bratko, I.: Prolog Programming for Artificial Intelligence. Addison-Wesley International Computer Science Series (1990)"},{"key":"9108_CR11","unstructured":"SWI-Prolog-JPL: http:\/\/www.swi-prolog.org\/packages\/jpl\/prolog_api\/overview.html"},{"key":"9108_CR12","unstructured":"Narain, S.: Network configuration management via model-finding. Proceedings of USENIX Large Installation System Administration (LISA) Conference. San Diego, CA (2005)"},{"key":"9108_CR13","unstructured":"Alloy: http:\/\/alloy.mit.edu\/"},{"key":"9108_CR14","unstructured":"Homer, J., Ou, X., McQueen, M.: From attack Graphs to Automated Configuration Management\u2013\u2013an Iterative Approach Technical Report 2008-1, Computer Science Department, Kansas State University"},{"key":"9108_CR15","doi-asserted-by":"crossref","unstructured":"Fu, Z., Malik S.: Solving the minimum-cost satisfiability problem using branch and bound search. Proceedings of IEEE\/ACM International Conference on Computer-Aided Design ICCAD (2006)","DOI":"10.1109\/ICCAD.2006.320089"},{"key":"9108_CR16","doi-asserted-by":"crossref","unstructured":"Al-Shaer, E., Hamed, H.: Modeling and management of firewall policies. IEEE Transactions on Network and Service Management, vol. 1\u20131. (April, 2004)","DOI":"10.1109\/TNSM.2004.4623689"},{"key":"9108_CR17","unstructured":"Telcordia IPAssure: http:\/\/www.argreenhouse.com\/papers\/narain\/TelcordiaIPAssure.pdf"},{"key":"9108_CR18","unstructured":"Narain S., Cheng, T., Coan, B., Kaul V., Parmeswaran, K., Stephens, W.: Building autonomic systems via configuration. Proceedings of AMS Autonomic Computing Workshop, Seattle, WA (2003)"},{"key":"9108_CR19","unstructured":"Barrett, C., Berezin, S.: CVC lite: A new implementation of the cooperating validity checker. In: Proceedings of the 16th International Conference on Computer Aided Verification (CAV \u201804). Lecture Notes in Computer Science, vol. 3114, pp. 515\u2013518. Springer, Boston, Massachusetts (July, 2004)"},{"key":"9108_CR20","unstructured":"Selman, B., Kautz, H.: Planning as satisfiability. Proceedings of ECAI-92. http:\/\/www.cs.cornell.edu\/selman\/papers\/pdf\/92.ecai.satplan.pdf"}],"container-title":["Journal of Network and Systems Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-008-9108-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10922-008-9108-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-008-9108-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T04:55:32Z","timestamp":1559451332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10922-008-9108-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["9108"],"URL":"https:\/\/doi.org\/10.1007\/s10922-008-9108-y","relation":{},"ISSN":["1064-7570","1573-7705"],"issn-type":[{"value":"1064-7570","type":"print"},{"value":"1573-7705","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9]]}}}