{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:42:42Z","timestamp":1729626162996,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1109\/pst.2014.6890953","type":"proceedings-article","created":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T15:43:34Z","timestamp":1410363814000},"page":"306-313","source":"Crossref","is-referenced-by-count":9,"title":["Automata-based approach to design and analyze security policies"],"prefix":"10.1109","author":[{"given":"Wadie","family":"Krombi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Erradi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Khoumsi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354680"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.20"},{"journal-title":"Introduction to Automata Theory","year":"1979","author":"hopcoft","key":"15"},{"key":"16","first-page":"6","article-title":"Segment generation approach for firewall policy anomaly resolution","volume":"5","author":"madhavi","year":"2014","journal-title":"International Journal of Computer Science and Information Technologies (IJCSIT)"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.6028\/NIST.SP.800-41r1","author":"scarfone","year":"2009","journal-title":"Guidelines on Firewalls and Firewall Policy Recommendations of the National Institute of Standards and Technology (NIST)"},{"journal-title":"Compiler Construction Theory and Practice","year":"1979","author":"barrett","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2003.1206966"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/2379690.2379691"},{"key":"3","first-page":"92","article-title":"Formal specification, verification and correction of security policies based on the decision tree approach","volume":"3","author":"karoui","year":"2013","journal-title":"International Journal of Data &Network Security"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2004.4623689"},{"journal-title":"Information Technology Security Evaluation Criteria (ITSEC) v1 2 Office for Official Publications of the European Communities Luxembourg","year":"1991","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"7","article-title":"FIREMAN: A toolkit for FIREwall modeling and analysis","author":"yuan","year":"2006","journal-title":"IEEE symposium on security and privacy (S&P)"},{"key":"6","first-page":"1106","article-title":"Structured firewall design","volume":"51","author":"liu","year":"2007","journal-title":"Computer Networks The International Journal of Computer and Telecommunications Networking"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2007.70802"},{"key":"4","first-page":"1387","article-title":"Systematic detection and resolution of firewall policy anomalies","volume":"2","author":"madhuri","year":"2013","journal-title":"International Journal of Research in Computer and Communication Technology (IJRCCT)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1266840.1266860"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"}],"event":{"name":"2014 Twelfth Annual Conference on Privacy, Security and Trust (PST)","start":{"date-parts":[[2014,7,23]]},"location":"Toronto, ON, Canada","end":{"date-parts":[[2014,7,24]]}},"container-title":["2014 Twelfth Annual International Conference on Privacy, Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6883276\/6890911\/06890953.pdf?arnumber=6890953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T21:33:52Z","timestamp":1565818432000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6890953\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/pst.2014.6890953","relation":{},"subject":[],"published":{"date-parts":[[2014,7]]}}}