{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:54:08Z","timestamp":1729644848907,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/sies.2012.6356591","type":"proceedings-article","created":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T02:14:21Z","timestamp":1354328061000},"page":"247-265","source":"Crossref","is-referenced-by-count":4,"title":["System configuration check against security policies in industrial networks"],"prefix":"10.1109","author":[{"given":"Manuel","family":"Cheminod","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Durante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Valenzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2011.08.002"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70225"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2010.55"},{"journal-title":"Role-based access control models","year":"1996","author":"sandhu","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2010.5548634"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2018627"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062502"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2010.194"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.96"},{"journal-title":"Automated Verification of Xacml Policies Using A Sat Solver","year":"2008","author":"hughes","key":"12"},{"key":"21","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1016\/j.infsof.2008.05.011","article-title":"Automated analysis of security-design models","volume":"51","author":"basin","year":"2009","journal-title":"Information and Software Technology"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2008.158"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.41"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2010.5634434"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.96"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44569-2_2"},{"journal-title":"Information technology - Security Techniques - Evaluation Criteria for IT Security","year":"2005","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2011.942175"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.136"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2008.150"},{"journal-title":"Oasis Extensible Access Control Markup Language (Xacml) [Online]","year":"2005","key":"9"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.6028\/NIST.SP.800-82e2008","author":"stouffer","year":"2008","journal-title":"Guide to industrial control systems (ICS) security"}],"event":{"name":"2012 7th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2012,6,20]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2012,6,22]]}},"container-title":["7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6339458\/6356563\/06356591.pdf?arnumber=6356591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:23:10Z","timestamp":1498015390000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6356591\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/sies.2012.6356591","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}