{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:11:02Z","timestamp":1729613462473,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/iscc.2016.7543759","type":"proceedings-article","created":{"date-parts":[[2016,8,18]],"date-time":"2016-08-18T20:35:08Z","timestamp":1471552508000},"page":"310-317","source":"Crossref","is-referenced-by-count":9,"title":["Malachite: Firewall policy comparison"],"prefix":"10.1109","author":[{"given":"Dinesha","family":"Ranathunga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Roughan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Kernick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Falkner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0052-x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02854581"},{"journal-title":"What's beyond firewalls?","year":"1996","author":"howe","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620749"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1077464.1077476"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2007.70802"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848455"},{"journal-title":"Malachite Firewall policy comparison","year":"2015","author":"ranathunga","key":"ref17"},{"key":"ref18","article-title":"Towards standardising firewall reporting","author":"ranathunga","year":"2015","journal-title":"1st Workshop on the Security of Cyber Physical Systems (WaS-CPS)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2732198.2732201"},{"journal-title":"Foundations for Advanced Mathematics","year":"1990","author":"avelsgaard","key":"ref4"},{"journal-title":"Security for industrial automation and control systems part 1-1 Terminology concepts and models","year":"2007","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1035582.1035583"},{"key":"ref5","article-title":"Graph isomorphism in quasipolynomial time","author":"babai","year":"2015","journal-title":"arXiv preprintarXiv 1512 03547"},{"journal-title":"NISCC Good Practice Guide on Firewall Deployment for SCADA and Process Control Networks","year":"2005","author":"byres","key":"ref8"},{"journal-title":"Probability and Measure","year":"1995","author":"billingsley","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354680"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MCG.1983.262975"},{"key":"ref20","first-page":"1","article-title":"Inferring higher level policies from firewall rules","volume":"7","author":"tongaonkar","year":"2007","journal-title":"LISA"},{"key":"ref22","first-page":"15","article-title":"FIREMAN: A toolkit for firewall modeling and analysis","author":"yuan","year":"2006","journal-title":"IEEE SSP"},{"key":"ref21","first-page":"85","article-title":"Architecting the Lumeta firewall analyzer","author":"wool","year":"2001","journal-title":"USENIX Security Symposium"}],"event":{"name":"2016 IEEE Symposium on Computers and Communication (ISCC)","start":{"date-parts":[[2016,6,27]]},"location":"Messina, Italy","end":{"date-parts":[[2016,6,30]]}},"container-title":["2016 IEEE Symposium on Computers and Communication (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7536670\/7543699\/07543759.pdf?arnumber=7543759","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T23:27:28Z","timestamp":1475191648000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7543759\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iscc.2016.7543759","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}