{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T11:01:33Z","timestamp":1730286093155,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1109\/noms47738.2020.9110345","type":"proceedings-article","created":{"date-parts":[[2020,6,8]],"date-time":"2020-06-08T18:06:15Z","timestamp":1591639575000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Industrial Grade Methodology for Firewall Simulation and Requirements Verification"],"prefix":"10.1109","author":[{"given":"Ramon","family":"Barakat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faruk","family":"Catal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolay","family":"Tcholtchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yacine","family":"Rebahi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schieferdecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref33","article-title":"Bug 63 - st9 bad alloc exception"},{"key":"ref32","first-page":"429","article-title":"The state explosion problem","author":"valmari","year":"1996","journal-title":"Advanced Course on Petri Nets"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.277.12"},{"key":"ref30","article-title":"Iptables tutorial 1.2. 2","author":"andreasson","year":"2001","journal-title":"Copyright© 2001-2006 Oskar Andreasson GNU Free Documentation License"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11516798_15"},{"key":"ref11","first-page":"1387","article-title":"Systematic detection and resolution of firewall policy anomalies","volume":"2","author":"madhuri","year":"2013","journal-title":"Int J Res Comput Commun Technol (IJRCCT)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2004.4623689"},{"key":"ref13","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":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45575-2_31"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/NPSEC.2005.1532056"},{"key":"ref16","first-page":"80","article-title":"Testing iptables","author":"hoffman","year":"2003","journal-title":"Proceedings of the 2003 Conference of the Centre for Advanced Studies on Collaborative Research CASCON ’03"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101925"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/11430230_16"},{"key":"ref19","first-page":"339","article-title":"Hardness of firewall analysis","volume":"14","author":"elmallah","year":"2017","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MOBISECSERV.2018.8311440"},{"article-title":"Nftables: a new packet filtering engine","year":"2009","author":"corbet","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2019.2922584"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2019.1800506"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1999.766714"},{"key":"ref29","first-page":"196","article-title":"A framework for blockchain-based verification of integrity and authenticity","author":"basu","year":"2019","journal-title":"Trust Management XI"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1266840.1266871"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.06.015"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69848-7_39"},{"key":"ref2","first-page":"232","article-title":"Uppaal—a tool suite for automatic verification of real-time systems","author":"bengtsson","year":"1995","journal-title":"International Workshop on Hybrid Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2009.07.003"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.80.1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jksuci.2016.11.008"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SIVA.2018.8660973"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9445-1"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOMW.2010.5700369"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOMW.2010.5700364"},{"key":"ref26","first-page":"331","article-title":"Standardization of resilience & survivability, and autonomic fault-management, in evolving and future networks: An ongoing initiative recently launched in ETSI","author":"chaparadza","year":"2013","journal-title":"2013 9th International Conference on the Design of Reliable Communication Networks (DRCN) DRCN"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21444-8_5"}],"event":{"name":"NOMS 2020-2020 IEEE\/IFIP Network Operations and Management Symposium","start":{"date-parts":[[2020,4,20]]},"location":"Budapest, Hungary","end":{"date-parts":[[2020,4,24]]}},"container-title":["NOMS 2020 - 2020 IEEE\/IFIP Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9107308\/9110252\/09110345.pdf?arnumber=9110345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T17:50:07Z","timestamp":1656438607000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9110345\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/noms47738.2020.9110345","relation":{},"subject":[],"published":{"date-parts":[[2020,4]]}}}