WEKO3
アイテム
{"_buckets": {"deposit": "d5bc81d0-ad38-47fb-ac72-cd2010fe6a64"}, "_deposit": {"created_by": 13, "id": "10086", "owners": [13], "pid": {"revision_id": 0, "type": "depid", "value": "10086"}, "status": "published"}, "_oai": {"id": "oai:uec.repo.nii.ac.jp:00010086", "sets": ["6"]}, "author_link": ["26969", "26135", "15816", "1783"], "control_number": "10086", "item_10001_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2021-08", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "8", "bibliographicPageEnd": "377", "bibliographicPageStart": "367", "bibliographicVolumeNumber": "57", "bibliographic_titles": [{"bibliographic_title": "計測自動制御学会論文集", "bibliographic_titleLang": "ja"}, {"bibliographic_title": "Transactions of the Society of Instrument and Control Engineers", "bibliographic_titleLang": "en"}]}]}, "item_10001_description_5": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Since the damage from cyber-attacks increases, there is an urgent need to research and develop security countermeasures for control systems. In the control system, the controller is an important device. This paper then considers a whitelisting system that models the normal operation sequence of a PLC (Programmable Logic Controller) and detects deviations from the model as abnormal. We propose three methods to auto-generate the whitelisting system by LD (Ladder Diagram): Petri net model generation, constraint condition derivation, and LD conversion. The first method generates Petri net models form SFCs (Sequential Function Charts) that are compatible with LDs. The second method derives whitelist conditions from Petri net models to check whether PLC performs the correct operation sequence. The third method implements the whitelist conditions into LD. The auto-generated whitelisting system enables us to monitor the state transitions of the PLC programs. Further, this paper carries out an experimental validation of the methods using a testbed system.", "subitem_description_type": "Abstract"}]}, "item_10001_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "公益社団法人 計測自動制御学会"}]}, "item_10001_relation_14": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isIdenticalTo", "subitem_relation_type_id": {"subitem_relation_type_id_text": "10.9746/sicetr.57.367", "subitem_relation_type_select": "DOI"}}]}, "item_10001_relation_17": {"attribute_name": "関連サイト", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.9746/sicetr.57.367", "subitem_relation_type_select": "DOI"}}]}, "item_10001_rights_15": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "© 2021 公益社団法人 計測自動制御学会"}]}, "item_10001_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "04534654", "subitem_source_identifier_type": "ISSN"}]}, "item_10001_version_type_20": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "藤田, 真太郎", "creatorNameLang": "ja"}, {"creatorName": "フジタ, シンタロウ", "creatorNameLang": "ja-Kana"}, {"creatorName": "FUJITA, Shintaro", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "26969", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "澤田, 賢治", "creatorNameLang": "ja"}, {"creatorName": "サワダ, ケンジ", "creatorNameLang": "ja-Kana"}, {"creatorName": "SAWADA, Kenji", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "26135", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "新, 誠一", "creatorNameLang": "ja"}, {"creatorName": "シン, セイイチ", "creatorNameLang": "ja-Kana"}, {"creatorName": "SHIN, Seiichi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "15816", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "細川, 嵩", "creatorNameLang": "ja"}, {"creatorName": "ホソカワ, シュウ", "creatorNameLang": "ja-Kana"}, {"creatorName": "HOSOKAWA, Shu", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "1783", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2022-10-01"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "PLCの動作順序を監視するホワイトリストの自動生成手法.pdf", "filesize": [{"value": "2.1 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 2100000.0, "url": {"label": "PLCの動作順序を監視するホワイトリストの自動生成手法", "url": "https://uec.repo.nii.ac.jp/record/10086/files/PLCの動作順序を監視するホワイトリストの自動生成手法.pdf"}, "version_id": "aeb11e6b-2b67-4e2e-bfb1-d6ffc2bbd276"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "whitelist", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "control system security", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "PLC", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "petri net", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "PLCの動作順序を監視するホワイトリストの自動生成手法", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "PLCの動作順序を監視するホワイトリストの自動生成手法", "subitem_title_language": "ja"}, {"subitem_title": "On Auto-generation Method of Whitelist for PLC Operation Sequence", "subitem_title_language": "en"}]}, "item_type_id": "10001", "owner": "13", "path": ["6"], "permalink_uri": "https://uec.repo.nii.ac.jp/records/10086", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2022-10-01"}, "publish_date": "2022-10-01", "publish_status": "0", "recid": "10086", "relation": {}, "relation_version_is_last": true, "title": ["PLCの動作順序を監視するホワイトリストの自動生成手法"], "weko_shared_id": -1}
PLCの動作順序を監視するホワイトリストの自動生成手法
https://uec.repo.nii.ac.jp/records/10086
https://uec.repo.nii.ac.jp/records/1008643417865-66e0-4c22-804d-42d18033fe11
名前 / ファイル | ライセンス | アクション |
---|---|---|
PLCの動作順序を監視するホワイトリストの自動生成手法 (2.1 MB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2022-10-01 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | PLCの動作順序を監視するホワイトリストの自動生成手法 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | On Auto-generation Method of Whitelist for PLC Operation Sequence | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
言語 | en | |||||
主題 | whitelist | |||||
キーワード | ||||||
言語 | en | |||||
主題 | control system security | |||||
キーワード | ||||||
言語 | en | |||||
主題 | PLC | |||||
キーワード | ||||||
言語 | en | |||||
主題 | petri net | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
藤田, 真太郎
× 藤田, 真太郎× 澤田, 賢治× 新, 誠一× 細川, 嵩 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Since the damage from cyber-attacks increases, there is an urgent need to research and develop security countermeasures for control systems. In the control system, the controller is an important device. This paper then considers a whitelisting system that models the normal operation sequence of a PLC (Programmable Logic Controller) and detects deviations from the model as abnormal. We propose three methods to auto-generate the whitelisting system by LD (Ladder Diagram): Petri net model generation, constraint condition derivation, and LD conversion. The first method generates Petri net models form SFCs (Sequential Function Charts) that are compatible with LDs. The second method derives whitelist conditions from Petri net models to check whether PLC performs the correct operation sequence. The third method implements the whitelist conditions into LD. The auto-generated whitelisting system enables us to monitor the state transitions of the PLC programs. Further, this paper carries out an experimental validation of the methods using a testbed system. | |||||
書誌情報 |
ja : 計測自動制御学会論文集 en : Transactions of the Society of Instrument and Control Engineers 巻 57, 号 8, p. 367-377, 発行日 2021-08 |
|||||
出版者 | ||||||
出版者 | 公益社団法人 計測自動制御学会 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 04534654 | |||||
DOI | ||||||
関連タイプ | isIdenticalTo | |||||
識別子タイプ | DOI | |||||
関連識別子 | 10.9746/sicetr.57.367 | |||||
権利 | ||||||
権利情報 | © 2021 公益社団法人 計測自動制御学会 | |||||
関連サイト | ||||||
識別子タイプ | DOI | |||||
関連識別子 | https://doi.org/10.9746/sicetr.57.367 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |