{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:32:10Z","timestamp":1730305930246,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/wises.2017.7986931","type":"proceedings-article","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T20:34:26Z","timestamp":1500928466000},"page":"47-50","source":"Crossref","is-referenced-by-count":5,"title":["A firewall module resolving rules consistency"],"prefix":"10.1109","author":[{"given":"A.","family":"Papagrigoriou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Petrakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.D.","family":"Grammatikakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Network Firewall with Conflict Resolution","year":"0","key":"ref10"},{"journal-title":"Phytec","year":"0","key":"ref11"},{"journal-title":"Stuxnet","year":"0","key":"ref12"},{"key":"ref13","first-page":"199","article-title":"FIREMAN: a toolkit for FIREwall modeling and analysis","author":"yuan","year":"2006","journal-title":"Proc IEEE Symp on Security and Privacy"},{"key":"ref14","first-page":"1","article-title":"Verification and synthesis of firewalls using SAT and QBF","author":"zhang","year":"2012","journal-title":"Proc Conf Network Protocols (ICNP-96)"},{"key":"ref4","first-page":"1","article-title":"Firewall anomaly management: a survey","volume":"105","author":"hanamsagar","year":"2014","journal-title":"Comput Applications J"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2005.854119"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.20"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.06.024"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11535706_15"},{"journal-title":"\"A Database of Computer Attacks for the Evaluation of Intrusion Detection Systems \"","year":"1999","author":"kendall","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2004.4623689"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11805588_2"},{"journal-title":"netfilter Linux kernel packet filtering framework","year":"0","key":"ref9"}],"event":{"name":"2017 13th Workshop on Intelligent Solutions in Embedded Systems (WISES)","start":{"date-parts":[[2017,6,12]]},"location":"Hamburg","end":{"date-parts":[[2017,6,13]]}},"container-title":["2017 13th Workshop on Intelligent Solutions in Embedded Systems (WISES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7983298\/7986920\/07986931.pdf?arnumber=7986931","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T17:16:22Z","timestamp":1581009382000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7986931\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/wises.2017.7986931","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}