{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:35:50Z","timestamp":1730208950190,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/cns.2015.7346867","type":"proceedings-article","created":{"date-parts":[[2015,12,8]],"date-time":"2015-12-08T17:19:48Z","timestamp":1449595188000},"page":"541-549","source":"Crossref","is-referenced-by-count":12,"title":["A firewall algebra for OpenStack"],"prefix":"10.1109","author":[{"given":"Simon N.","family":"Foley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ultan","family":"Neville","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1203","article-title":"Detecting and resolving packet filter conflicts. In INFOCOM 2000","volume":"3","author":"hari","year":"2000","journal-title":"Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies Proceedings"},{"year":"1998","author":"hazelhurst","journal-title":"Binary decision diagram representations of firewall and router access lists","key":"ref11"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-1-4471-3756-6_19"},{"key":"ref13","first-page":"447","author":"jarraya","year":"2012","journal-title":"Cloud calculus Security verification in elastic cloud computing platform"},{"year":"1992","author":"spivey","journal-title":"The fuzz manual Computing Science Consultancy","key":"ref14"},{"year":"1992","author":"spivey","article-title":"The Z Notation: A Reference Manual","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/SP.2006.16"},{"key":"ref17","article-title":"Policy algebras for hybrid firewalls","author":"zhao","year":"2007","journal-title":"Technical Report CUCS-017-07"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/INM.2003.1194157"},{"year":"2015","journal-title":"OpenStack Security Guide 6th Revision OpenS tack Foundation","key":"ref3"},{"key":"ref6","first-page":"154","article-title":"Detection and removal of firewall misconfiguration","volume":"1","author":"cuppens","year":"2005","journal-title":"Proceedings of the 2005 IASTED International Conference on Communication Network and Information Security"},{"key":"ref5","first-page":"2069","article-title":"Conflict classification and analysis of distributed firewall policies","volume":"23","author":"al","year":"2006","journal-title":"IEEE J Sel A Commun"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/266420.266447"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/SECPRI.1989.36299"},{"year":"2015","journal-title":"OpenStack Cloud Administrator Guide Eight Revision OpenS tack Foundation","key":"ref2"},{"year":"0","journal-title":"Openstack - Open source software for creating private and public clouds","key":"ref1"},{"key":"ref9","article-title":"An algebra for iptables firewall policies","author":"foley","year":"2015","journal-title":"Technical Report in preparation"}],"event":{"name":"2015 IEEE Conference on Communications and Network Security (CNS)","start":{"date-parts":[[2015,9,28]]},"location":"Florence, Italy","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 IEEE Conference on Communications and Network Security (CNS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7336674\/7346791\/07346867.pdf?arnumber=7346867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T21:23:30Z","timestamp":1490390610000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7346867\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cns.2015.7346867","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}