{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:37:46Z","timestamp":1725514666604},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/cns.2013.6682764","type":"proceedings-article","created":{"date-parts":[[2013,12,18]],"date-time":"2013-12-18T00:48:17Z","timestamp":1387327697000},"page":"483-487","source":"Crossref","is-referenced-by-count":0,"title":["A specification method for analyzing fine grained network security mechanism configurations"],"prefix":"10.1109","author":[{"given":"El Khoury","family":"Hicham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laborde","family":"Romain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barrere","family":"Francois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benzekri","family":"Abdelmalek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chamoun","family":"Maroun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"A Generic Attribute-Based Model for Network Security Mechanisms Representation and Configuration","author":"el khoury","year":"2012","journal-title":"FCST"},{"key":"17","article-title":"A Generic Data Flow Security Model","author":"el khoury","year":"2011","journal-title":"SafeConfig '10"},{"key":"18","article-title":"A Formal Data Flow-Oriented Model For Distributed Network Security Conflicts Detection","author":"el khoury","year":"0","journal-title":"ICNSC 2012"},{"key":"15","article-title":"Handling Stateful Firewall Anomalies","author":"cuppens","year":"2012","journal-title":"IFIP SEC"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2007.70802"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339690"},{"journal-title":"Iptables","year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"3","article-title":"IPSec\/VPN Security Policy: Correctness, Conflict Detection and Resolution","author":"fu","year":"2001","journal-title":"IEEE POLICY"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-007-0045-7"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354680"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75248-6_1"},{"journal-title":"Reliable Context Aware Security Policy Deployment with Applications to IPv6 Environments","year":"2010","author":"preda","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-007-9063-z"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2006.1607877"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0052-x"},{"year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2013 IEEE Conference on Communications and Network Security (CNS)","start":{"date-parts":[[2013,10,14]]},"location":"National Harbor, MD, USA","end":{"date-parts":[[2013,10,16]]}},"container-title":["2013 IEEE Conference on Communications and Network Security (CNS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6675898\/6682673\/06682764.pdf?arnumber=6682764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:34:40Z","timestamp":1602686080000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6682764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cns.2013.6682764","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}