{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,27]],"date-time":"2026-10-27T06:36:14Z","timestamp":1793082974915,"version":"4.5.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/inm.2009.5188808","type":"proceedings-article","created":{"date-parts":[[2009,8,10]],"date-time":"2009-08-10T11:41:58Z","timestamp":1249904518000},"page":"180-187","source":"Crossref","is-referenced-by-count":31,"title":["Using argumentation logic for firewall configuration management"],"prefix":"10.1109","author":[{"given":"Arosha K.","family":"Bandara","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonis C.","family":"Kakas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emil C.","family":"Lupu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.2"},{"key":"ref2","article-title":"How not to configure your firewall: A field guide to common firewall configurations","volume-title":"Proc 15th Conf. on Large Systems Administration","author":"Wool"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2005.854119"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2003.1194157"},{"key":"ref5","first-page":"17","article-title":"Inferring higher level policies from firewall rules","volume-title":"Proc 21st Conf. on Large Systems Administration, Dallas, Texas, USA, Nov","author":"Tongaonkar"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2007.5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601327"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848455"},{"key":"ref9","first-page":"7","article-title":"Architecting the lumeta firewall analyzer","volume-title":"Proc 10th USENIX Security Symp.","author":"Wool"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857593"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"ref12","first-page":"100","article-title":"An expert system for analyzing firewall rules","volume-title":"Proc 6th Nordic Workshop on Secure IT Systems (NordSec 2001)","author":"Eronen"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1029133.1029143"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11907466_16"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1035582.1035583"},{"key":"ref16","volume-title":"Proc Int. Conf. on Security & Management (SAM 2006)","author":"Chomsiri"},{"key":"ref17","first-page":"71","article-title":"A tool for automated iptables firewall analysis","volume-title":"USENIX","author":"Marmorstein"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1201\/1079\/43236.25.8.19980201\/30191.7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4316.003.0051"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4301.003.0040"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1128817.1128867"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BF00849080"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2005.1440817"}],"event":{"name":"2009 IFIP\/IEEE International Symposium on Integrated Network Management (IM)","location":"New York, NY, USA","start":{"date-parts":[[2009,6,1]]},"end":{"date-parts":[[2009,6,5]]}},"container-title":["2009 IFIP\/IEEE International Symposium on Integrated Network Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5174535\/5188779\/05188808.pdf?arnumber=5188808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,27]],"date-time":"2026-10-27T06:09:30Z","timestamp":1793081370000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5188808\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/inm.2009.5188808","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}