{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:53:06Z","timestamp":1757613186820,"version":"3.44.0"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/iecon.2019.8927252","type":"proceedings-article","created":{"date-parts":[[2019,12,27]],"date-time":"2019-12-27T16:00:17Z","timestamp":1577462417000},"page":"5874-5879","source":"Crossref","is-referenced-by-count":0,"title":["Model Verification and Exhaustive Testing for Whitelist Function of Industrial Control System"],"prefix":"10.1109","author":[{"given":"Shintaro","family":"Fujita","sequence":"first","affiliation":[{"name":"University of Electro-Communications,Dept. of Mechanical Engineering and Intelligent Systems,Tokyo,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Sawada","sequence":"additional","affiliation":[{"name":"Info-Powered Energy System Research Center, University of Electro-Communications,Tokyo,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seiichi","family":"Shin","sequence":"additional","affiliation":[{"name":"University of Electro-Communications,Dept. of Mechanical Engineering and Intelligent Systems,Tokyo,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shu","family":"Hosokawa","sequence":"additional","affiliation":[{"name":"Control System Security Center,Miyagi,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"PLC-Blaster: AWorm Living Solely in the PLC","author":"spenneberg","year":"0","journal-title":"BlackHat Asia"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MPEL.2017.2719201"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2015.7392394"},{"key":"ref11","first-page":"585","article-title":"OpenPLC: An Open Source Alternative to Automation","author":"alves","year":"0","journal-title":"2014 IEEE Global Humantarian Technology Conference"},{"journal-title":"Modbus Stager Using PLCs as a payload\/shellcode distribution system","year":"0","author":"merino","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ASCC.2017.8287441"},{"key":"ref7","first-page":"795","article-title":"Open PLC based control system testbed for PLC whitelisting system","author":"fujita","year":"0","journal-title":"AROB 23rd 2018"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRD.2010.2061872"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2018.8591275"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2016.2631891"}],"event":{"name":"IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society","start":{"date-parts":[[2019,10,14]]},"location":"Lisbon, Portugal","end":{"date-parts":[[2019,10,17]]}},"container-title":["IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8897531\/8926608\/08927252.pdf?arnumber=8927252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T18:20:35Z","timestamp":1757010035000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8927252\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/iecon.2019.8927252","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}