{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:05:04Z","timestamp":1725555904635},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cicybs.2014.7013366","type":"proceedings-article","created":{"date-parts":[[2015,1,21]],"date-time":"2015-01-21T14:37:37Z","timestamp":1421851057000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Automatic attack surface reduction in next-generation industrial control systems"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Obermeier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wahler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thanikesavan","family":"Sivanthi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Schlegel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aurelien","family":"Monot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"28","article-title":"On synthesizing distributed firewall configurations considering risk, usability and cost constraints","author":"zhang","year":"2011","journal-title":"Proceedings of the 7th International Conference on Network and Services Management Ser CNSM '11"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/DISCEX.2001.932156"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2009.5069371"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.20"},{"key":"16","first-page":"526","article-title":"Automatic verification of conformance of firewall configurations to security policies","author":"youssef","year":"2009","journal-title":"ISCC"},{"key":"13","first-page":"642","article-title":"Modeling and verification of firewall configurations using domain restriction method","author":"gawanmeh","year":"2011","journal-title":"ICITST"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"11","first-page":"3","article-title":"Towards a unified modeling and verification of network and system security configurations","author":"alsaleh","year":"2012","journal-title":"SafeConfig '10"},{"key":"12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-3-642-19348-4_15","article-title":"Mirage: A management tool for the analysis and deployment of network security policies","author":"garcia-alfaro","year":"2011","journal-title":"Proceedings of the 5th International Workshop on Data Privacy Management and 3rd International Conference on Autonomous Spontaneous Security Ser DPM'10\/SETOP'10"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347134"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s11416-007-0039-z"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6647998"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2304656.2304664"},{"journal-title":"Network Security Management Wth High-level Security Policies","year":"2004","author":"ou","key":"10"},{"journal-title":"IEEE 802 1ad-IEEE Standard for Local and Metropolitan Area Networks-Virtual Bridged Local Area Networks-Amendment 4 Provider Bridges","year":"2005","key":"7"},{"journal-title":"IEC 61850 Communication Networks and Systems In Substations","year":"2003","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005075"},{"journal-title":"OpenFlow Switch Specification Version 1 4 0","year":"2013","key":"4"},{"key":"9","article-title":"Substation automation handbook","author":"brand","year":"2003","journal-title":"Utility Automation Consulting Lohmann"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2240166.2240177"}],"event":{"name":"2014 IEEE Symposium on Computational Intelligence in Cyber Security (CICS)","start":{"date-parts":[[2014,12,9]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2014,12,12]]}},"container-title":["2014 IEEE Symposium on Computational Intelligence in Cyber Security (CICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6999019\/7013356\/07013366.pdf?arnumber=7013366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T00:03:41Z","timestamp":1498176221000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7013366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cicybs.2014.7013366","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}