{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:18:24Z","timestamp":1730272704853,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/iscc.2014.6912478","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T20:27:42Z","timestamp":1412108862000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["A formal framework for verifying inter-firewalls consistency"],"prefix":"10.1109","author":[{"given":"Majda","family":"Moussa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hakima","family":"Ould-Slimane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanifa","family":"Boucheneb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Chamberland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Les Firewalls DESS Networks 2000","year":"2001","author":"leitienne","key":"17"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2009.32"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.5120\/1154-1357"},{"key":"13","first-page":"171","article-title":"A formal model for network-wide security analysis","author":"matousek","year":"2008","journal-title":"IEEE International Conference on Engineering of Computer Based Systems"},{"key":"14","first-page":"199","article-title":"FIREMAN: A toolkit for firewall modeling and analysis","author":"yuan","year":"2006","journal-title":"IEEE Symposium on Security and Privacy"},{"key":"11","article-title":"Consistency verification of stateful firewalls is not harder than the stateless case","volume":"64","author":"buttyan","year":"2009","journal-title":"Info Commun J"},{"key":"12","article-title":"Formal verification of firewall policies, proc","author":"liu","year":"2008","journal-title":"IEEE Int Conf Communications (ICC)"},{"journal-title":"Principles of Model Checking","year":"2007","author":"baier","key":"3"},{"journal-title":"Guidelines on firewalls and firewall policy","year":"2002","author":"cutler","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22540-6_48"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1314436.1314440"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.68"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2009.5202309"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-24098-5_15"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68524-1_9"},{"key":"9","first-page":"642","article-title":"Modeling and verification of firewall configurations using domain restriction method","author":"gawanmeh","year":"2011","journal-title":"IEEE International Conference on Internet Technology and Secured Transactions"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2011.6072862"}],"event":{"name":"2014 IEEE Symposium on Computers and Communication (ISCC)","start":{"date-parts":[[2014,6,23]]},"location":"Funchal, Madeira, Portugal","end":{"date-parts":[[2014,6,26]]}},"container-title":["2014 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6892194\/6912451\/06912478.pdf?arnumber=6912478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T21:34:15Z","timestamp":1490304855000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6912478\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iscc.2014.6912478","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}