{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:23Z","timestamp":1750307603608,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,11,9]],"date-time":"2009-11-09T00:00:00Z","timestamp":1257724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,11,9]]},"DOI":"10.1145\/1655062.1655072","type":"proceedings-article","created":{"date-parts":[[2009,11,17]],"date-time":"2009-11-17T13:30:15Z","timestamp":1258464615000},"page":"45-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards network security policy generation for configuration analysis and testing"],"prefix":"10.1145","author":[{"given":"Taghrid","family":"Samak","sequence":"first","affiliation":[{"name":"DePaul University, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adel","family":"El-Atawy","sequence":"additional","affiliation":[{"name":"DePaul University, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehab","family":"Al-Shaer","sequence":"additional","affiliation":[{"name":"DePaul University, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,11,9]]},"reference":[{"volume-title":"INFOCOM","year":"2004","author":"Ehab","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/336744.336745"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/973215.973219"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2007.5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2000.832493"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2006.1687561"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.06.015"},{"volume-title":"The George Washington University Cyberspace Policy Institute, 2033","year":"2000","author":"Haeni R.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2005.25"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"B. Hickman D. Newman S. Tadjudin and T. Martin. Benchmarking methodology for firewall performance. RFC 3511 April 2003.  B. Hickman D. Newman S. Tadjudin and T. Martin. Benchmarking methodology for firewall performance. RFC 3511 April 2003.","DOI":"10.17487\/rfc3511"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2009.32"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646802.705961"},{"key":"e_1_3_2_1_13_1","unstructured":"Alain Mayer Avishai Wool and Elisha Ziskind. Fang: A firewall analysis engine. sp 00:0177 2000.  Alain Mayer Avishai Wool and Elisha Ziskind. Fang: A firewall analysis engine. sp 00:0177 2000."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3115\/1218955.1219024"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.01.009"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2007.4375860"},{"volume-title":"Washington University in St Louis","year":"2006","author":"Song Haoyu","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.893156"},{"key":"e_1_3_2_1_19_1","unstructured":"J. Walsh. Firewall testing: An in depth analysis. ICSA Labs Techncial report June 2004.  J. Walsh. Firewall testing: An in depth analysis. ICSA Labs Techncial report June 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2000.832499"},{"volume-title":"Wool. Architecting the Lumeta Firewall Analyzer. In Proceedings of the Tenth USENIX Security Symposium, August 13--17, 2001","year":"2001","author":"Avishai","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2006.344"}],"event":{"name":"CCS '09: 16th ACM Conference on Computer and Communications Security 2009","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Chicago Illinois USA","acronym":"CCS '09"},"container-title":["Proceedings of the 2nd ACM workshop on Assurable and usable security configuration"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1655062.1655072","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1655062.1655072","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:31Z","timestamp":1750250731000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1655062.1655072"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,9]]},"references-count":23,"alternative-id":["10.1145\/1655062.1655072","10.1145\/1655062"],"URL":"https:\/\/doi.org\/10.1145\/1655062.1655072","relation":{},"subject":[],"published":{"date-parts":[[2009,11,9]]},"assertion":[{"value":"2009-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}