{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T22:32:56Z","timestamp":1790807576540,"version":"4.1.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/csnet.2018.8602927","type":"proceedings-article","created":{"date-parts":[[2019,1,9]],"date-time":"2019-01-09T01:10:27Z","timestamp":1546996227000},"page":"1-7","source":"Crossref","is-referenced-by-count":13,"title":["A Policy Checker Approach for Secure Industrial SDN"],"prefix":"10.1109","author":[{"given":"Andrea","family":"Melis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Berardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chiara","family":"Contoli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franco","family":"Callegati","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Flavio","family":"Esposito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Prandini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005252"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SDN4FNS.2013.6702553"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-64653-4","author":"zhu","year":"2017","journal-title":"Guide to Security in SDN and NFV Challenges Opportunities and Applications"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2017.46"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2017.2689819"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2618874"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2487361"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2474118"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2453114"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2015.7140296"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.jnca.2015.11.012","article-title":"Secure and dependable software defined networks","volume":"61","author":"akhunzada","year":"2016","journal-title":"Journal of Network and Computer Applications"},{"key":"ref5","first-page":"735","article-title":"Delta-net: Real-time network verification using atoms","author":"horn","year":"2017","journal-title":"NSDI"},{"key":"ref8","author":"theo lins","year":"2016","journal-title":"Software-defined networking for industry 4 0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2015.15"},{"key":"ref2","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"NSDI"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s12599-014-0334-4","article-title":"Industry 4.0","volume":"6","author":"lasi","year":"2014","journal-title":"Business & Information Systems Engineering"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IC3I.2014.7019732"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-46031-4","author":"di nitto","year":"2017","journal-title":"Model-Driven Development and Operation of Multi-Cloud Applications The MODAClouds Approach"},{"key":"ref22","first-page":"301","article-title":"Selecting a development associate for work in a unified modeling language (uml) environment","author":"balasubramanian","year":"2014","journal-title":"US Patent App"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.06.001"},{"key":"ref23","author":"molari","year":"2017","journal-title":"Model checking service"}],"event":{"name":"2018 2nd Cyber Security in Networking Conference (CSNet)","location":"Paris","start":{"date-parts":[[2018,10,24]]},"end":{"date-parts":[[2018,10,26]]}},"container-title":["2018 2nd Cyber Security in Networking Conference (CSNet)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8574117\/8602668\/08602927.pdf?arnumber=8602927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T00:46:49Z","timestamp":1643158009000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8602927\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/csnet.2018.8602927","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}