{"id":"https://openalex.org/W2995646597","doi":"https://doi.org/10.1109/iecon.2019.8927252","title":"Model Verification and Exhaustive Testing for Whitelist Function of Industrial Control System","display_name":"Model Verification and Exhaustive Testing for Whitelist Function of Industrial Control System","publication_year":2019,"publication_date":"2019-10-01","ids":{"openalex":"https://openalex.org/W2995646597","doi":"https://doi.org/10.1109/iecon.2019.8927252","mag":"2995646597"},"language":"en","primary_location":{"id":"doi:10.1109/iecon.2019.8927252","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iecon.2019.8927252","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085482863","display_name":"Shintaro Fujita","orcid":null},"institutions":[{"id":"https://openalex.org/I20529979","display_name":"University of Electro-Communications","ror":"https://ror.org/02x73b849","country_code":"JP","type":"education","lineage":["https://openalex.org/I20529979"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shintaro Fujita","raw_affiliation_strings":["University of Electro-Communications,Dept. of Mechanical Engineering and Intelligent Systems,Tokyo,Japan","Dept. of Mechanical Engineering and Intelligent Systems, University of Electro-Communications, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Electro-Communications,Dept. of Mechanical Engineering and Intelligent Systems,Tokyo,Japan","institution_ids":["https://openalex.org/I20529979"]},{"raw_affiliation_string":"Dept. of Mechanical Engineering and Intelligent Systems, University of Electro-Communications, Tokyo, Japan","institution_ids":["https://openalex.org/I20529979"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072730787","display_name":"Kenji Sawada","orcid":"https://orcid.org/0000-0001-8935-0434"},"institutions":[{"id":"https://openalex.org/I20529979","display_name":"University of Electro-Communications","ror":"https://ror.org/02x73b849","country_code":"JP","type":"education","lineage":["https://openalex.org/I20529979"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kenji Sawada","raw_affiliation_strings":["Info-Powered Energy System Research Center, University of Electro-Communications,Tokyo,Japan","Info-Powered Energy System Research Center, University of Electro-Communications, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Info-Powered Energy System Research Center, University of Electro-Communications,Tokyo,Japan","institution_ids":["https://openalex.org/I20529979"]},{"raw_affiliation_string":"Info-Powered Energy System Research Center, University of Electro-Communications, Tokyo, Japan","institution_ids":["https://openalex.org/I20529979"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108251867","display_name":"Seiichi Shin","orcid":null},"institutions":[{"id":"https://openalex.org/I20529979","display_name":"University of Electro-Communications","ror":"https://ror.org/02x73b849","country_code":"JP","type":"education","lineage":["https://openalex.org/I20529979"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Seiichi Shin","raw_affiliation_strings":["University of Electro-Communications,Dept. of Mechanical Engineering and Intelligent Systems,Tokyo,Japan","Dept. of Mechanical Engineering and Intelligent Systems, University of Electro-Communications, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Electro-Communications,Dept. of Mechanical Engineering and Intelligent Systems,Tokyo,Japan","institution_ids":["https://openalex.org/I20529979"]},{"raw_affiliation_string":"Dept. of Mechanical Engineering and Intelligent Systems, University of Electro-Communications, Tokyo, Japan","institution_ids":["https://openalex.org/I20529979"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049676683","display_name":"Shu Hosokawa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shu Hosokawa","raw_affiliation_strings":["Control System Security Center,Miyagi,Japan","Control System Security Center, Miyagi, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Control System Security Center,Miyagi,Japan","institution_ids":[]},{"raw_affiliation_string":"Control System Security Center, Miyagi, Japan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17557512,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5874","last_page":"5879"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7636495232582092},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7546877861022949},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5194072723388672},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.517553985118866},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.4341447651386261},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.37268802523612976},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35380205512046814},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3225278854370117},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.15763866901397705},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13721096515655518},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12185686826705933},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09446623921394348}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7636495232582092},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7546877861022949},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5194072723388672},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.517553985118866},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.4341447651386261},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.37268802523612976},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35380205512046814},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3225278854370117},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.15763866901397705},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13721096515655518},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12185686826705933},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09446623921394348},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iecon.2019.8927252","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iecon.2019.8927252","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1996109622","https://openalex.org/W2074363389","https://openalex.org/W2077290416","https://openalex.org/W2550453031","https://openalex.org/W2554602226","https://openalex.org/W2752414104","https://openalex.org/W2758966524","https://openalex.org/W2787721812","https://openalex.org/W2907377974","https://openalex.org/W3083422267","https://openalex.org/W6669916549","https://openalex.org/W6782992100"],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W1500907979","https://openalex.org/W1551903405","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W2499946963","https://openalex.org/W2387511021","https://openalex.org/W1531156418","https://openalex.org/W2095048141"],"abstract_inverted_index":{"This":[0],"paper":[1,193],"considers":[2],"a":[3,57,65,171,175,184,189,202],"verification":[4,197,204,243],"problem":[5],"of":[6,19,51,83,93,108,114,118,136,156,163,214,244],"the":[7,12,20,52,70,75,84,90,106,109,115,119,125,137,142,150,153,179,208,215,227,235,248,254,257],"whitelist":[8,85,113,151,159,196,228,249],"function":[9],"applicable":[10,239],"to":[11,28,104,123,129,148,169,174,182,188,206,225,252],"Programmable":[13],"Logic":[14],"Controller":[15],"(PLC).":[16],"The":[17,80,133,158,166,199,218],"PLC":[18,53,94],"industrial":[21],"control":[22,29,154,172],"system":[23,59],"is":[24,56,95,102,161,168,181,201,220,232,250],"an":[25,221],"important":[26],"controller":[27],"sensors":[30],"and":[31,33,47,68,112,128,178,242],"actuators":[32],"requires":[34],"security":[35,54],"functions":[36,55],"because":[37],"PLCs":[38],"are":[39,238],"becoming":[40],"targets":[41],"for":[42,240],"cyber-attacks":[43],"such":[44],"as":[45,64,77],"malware":[46],"zero-day":[48],"attacks.":[49],"One":[50],"whitelisting":[58],"that":[60,141,234],"registers":[61],"normal":[62,91,110],"operations":[63,71],"safety":[66],"list":[67,76],"detects":[69],"not":[72],"registered":[73],"in":[74],"abnormal":[78],"operations.":[79],"detection":[81,126,245],"performance":[82,246],"depends":[86],"on":[87,256],"how":[88],"accurately":[89],"operation":[92,111],"modeled":[96],"via":[97],"Petri":[98,143,176,185,209,216],"net.":[99,217],"Therefore,":[100],"it":[101,231],"necessary":[103],"verify":[105,207,226],"consistency":[107,120],"PLC.":[116,157,258],"Verification":[117],"allows":[121,146],"us":[122,147],"evaluate":[124],"range":[127],"suppress":[130],"false":[131],"detection.":[132],"previous":[134],"work":[135],"current":[138],"authors":[139],"demonstrates":[140],"net":[144,177,186,210],"model":[145,187,203,211],"generate":[149],"from":[152],"program":[155,173],"generation":[160],"composed":[162],"two":[164,195],"processes:":[165],"first":[167,200],"convert":[170,183],"second":[180,219],"whitelist.":[190],"Thus,":[191],"this":[192],"proposes":[194],"methods.":[198],"method":[205,224],"using":[212],"reachability":[213],"exhaustive":[222],"test":[223],"operation.":[229],"Furthermore,":[230],"expected":[233],"proposed":[236],"methods":[237],"evaluation":[241],"when":[247],"compressed":[251],"reduce":[253],"load":[255]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}