制御分野におけるホワイトリスト式のサイバー攻撃検知技術 

リモートワークが進む「Withコロナ時代」では，サイバーセキュリティの重要性が益々高まります．今回提案する「コントローラホワイトリスト」は私達の日常生活を支えるインフラやライフラインに関わる制御システムのためのサイバーセキュリティ技術です．インフラのサイバーセキュリティを高めることで，「Withコロナ時代」の安全安心を守ります． 

技術概要

PLC(Programmable Logic Controller)は一般家電製品，自販機，信号機，ビル，工場，発電所，変電所など，社会の様々な分野で普及している制御機器です．IoT化の進展やリモートワークの進展に伴い，制御機器に対するサイバー攻撃の脅威が高まっています．Withコロナ時代の社会全体のセキュリティ向上のために，私達はホワイトリスト形式のPLCのセキュリティ技術を実現しました．ホワイトリスト方式は登録した正常な動作（通信情報や動作順序）を基準に異常判定します．本技術はPLCのファームウェアやハードウェアの改造を要求しません． 

見所

ロボットアームの簡易制御システムを用意し，PLCへの模擬サイバー攻撃を通して2つのデモ動画を用意しています．

• ホワイトリストが適用されたPLCへのサイバー攻撃とその検知状態

• 複数のホワイトリストが適用された制御システムの協調型管理システム

PLCへの攻撃検知機能実装は世界的にも希であり，ホワイトリスト機能実装は本研究が初です．様々なPLCのセキュリティ向上を可能としたラダー型ホワイトリストの実体を確認下さい．

論文

1. Kousei Sakataa, Kenji Sawadab, Takashi Oguraa, Junya Fujitaa, and Noritaka Matsumoto, Synthesis of Resilient Fallback Control System under Cyber-attacks via Supervisory Control, Advanced Robotics, Vol. 38, Issue 11, accepted (2024)（2024年1月9日採択）

2. Junya FUJITA, Takashi Ogura, Kazuya Okochi, Noritaka Matsumoto, Kenji Sawada, and Osamu Kaneko, A Structured Cyber Attack Representation Model based on the Diamond Model and Adversary States, IEEE ACCESS, Early Access (2023年12月6日採択）

3. 池田佳輝，澤田賢治，藤田淳也，小倉貴志，阪田恒晟，有限オートマトンと経路探索に基づくサイバー攻撃発生時の回復動作の導出，システム制御情報学会論文集，(2023年11月27日採択）

4. Taichi Ikezaki, Osamu Kaneko, Kenji Sawada, Junya Fujita, Poisoning Attack on VIMT and Its Adverse Effect, Journal Artificial Life and Robotics, Vol.??, ??/??, Accepted  (2023) （2023年9月27日採択）

5. Noritaka Matsumoto, Hiroshi Iwasawa, Teruaki Sakata, Hiromichi Endoh, Kenji Sawada and Osamu Kaneko, Dependable Connectivity for Cyber Physical Human Systems in Open Fields, IEEE Transactions on Consumer Electronics, Vol. ??, No. ??, Early Access (2023年9月25日採択）

6. 藤田 淳也，辻 大輔，矢沢 澄仁，坂本 篤郎，澤田 賢治，金子 修，攻撃キルチェーンと多層防御モデルに基づく産業制御システム向けモデルベースセキュリティ対策設計方式 , システム制御情報学会論文集，(2023年5月31日採択）

7. Kousei Sakata, Shintaro Fujita, Kenji Sawada, Hiroshi Iwasawa, Hiromichi Endoh, Noritaka Matsumoto: Model Verification of Fallback Control System Under Cyberattacks Via UPPAAL, Advanced Robotics, Volume 37, Issue 3, 156/168 (2022)（2022年9月16日採択）

8. 藤田淳也，小倉貴志，大河内一弥，松本典剛，澤田賢治，金子修：Diamond modelと攻撃状態に基づくサイバー攻撃シナリオ構造化表現モデル，電気学会論文誌C, Vol.142, No.3, 328/338 (2022.3)（2021年10月13日採択）

9. Noritaka Matsumoto, Junya Fujita, Hiromichi Endoh, Tsutomu Yamada, Kenji Sawada, Osamu Kaneko: Asset Management Method of Industrial IoT Systems for Cyber-security Countermeasure, Information Systems, Information 2021, 12(11) 460. https://doi.org/10.3390/info12110460（2021年11月1日採択）

10. 藤田真太郎，澤田賢治，新誠一，細川嵩：PLCの動作順序を監視するホワイトリストの自動生成手法，計測自動制御学会論文集，Vol.57, No.8, (2021.8) （2021年4月2日採択）

11. Shintaro Fujita, Kosuke Hata, Akinori Mochizuki, Kenji Sawada, Seiichi Shin, Shu Hosokawa: OpenPLC based control system testbed for PLC whitelisting system, Journal Artificial Life and Robotics, Vol.26, No.1, 149/154 (2021.1)（2020年8月12日採択）

12. 岸田貴光，塚田健人，澤田賢治，新誠一：組み込みシステムの無瞬断更新のためのカルマン正準分解に基づくプログラム解析，計測自動制御学会論文集，Vol.54, No.2, 227/237（2018.1）

13. Tsubasa Sasaki, Kenji Sawada, Seiichi Shin, Shu Hosokawa: Model Based Fallback Control for Networked Control System via Switched Lyapunov Function, The IEICE Transactions on Fundamentals, Vol.E100-A, No.10, 2086/2094, (2017.10)

14. 藤田貴大，澤田賢治，小木曽公尚，新誠一：RSA公開鍵暗号を用いたネットワーク制御系のセキュリティ強化，計測自動制御学会論文集，Vol.51, No.9，655/660（2015.9）

国際会議

1. K. Hattori, R. Bezerra, S. Kojima, Y. Okada, K. Ohno, S. Ishihara, K. Sawada, S. Tadokoro: Anomaly Detection in LiDAR Data Using Virtual and Real Observations, ICAR2023, Paper WeBT4.1, 6-8, Dec. 2023 (Oral, Full Paper Review)

2. Tatsuya Nishiuchi, Shintaro Fujita, Yohei Watanabe, Mitsugu Iwamoto, Kenji Sawada: Packet Analysis and Information Theory on Attack Detection for Modbus TCP, IECON,  IECON23-000812, 16-19, Oct. 2023. (In-Person, Oral, Full Paper Review)

3. Kazutaka Matsuzaki, Masatoshi Enomoto, Kenji Sawada:  Long-distance Remote Security Diagnostics during Maintenance Testing: A Practical Application and Evaluation, SECURWARE 2023,  74/75, 25, Sep. 2023. (Hybrid conference,  Oral, Position Paper Review)

4. Fujimoto Takuma, Sawada Kenji: On the Feedback Type Prediction Governor for CACC System, SICE Annual Conference, FrAMT1.5, 6-9, Sep. 2023. (Hybrid conference,  Oral, Position Paper Review)

5. Fujimoto Takuma, Sawada Kenji: On Multi-Rate Prediction Governor for CACC System with Sensor Errors and Communication Delays, IFAC2023, TuCT2.5, 9-14. Jul. 2023. (Hybrid conference, Poster, Full Paper Review)

6. Sakata Kousei, Ogura Takashi, Matsumoto Noritaka, Sawada Kenji: Ladder Implementation of Resilient Fallback Logic against Cyberattacks (I), IFAC2023, TuC19.5, 9-14. Jul. 2023. (Hybrid conference, Oral, Position Paper Review)

7. Kazutaka Matsuzaki, Kenji Sawada, Shinich Honiden: Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis, SECRYPT 2023, SECRYPT23-RP-133, 10-12, Jul. 2023. (Hybrid conference, Poster, Full Paper Review)

8. Kumi Aizawa, Kenji Sawada, Shintaro Fujita, Yoshiki Ikeda, Kanta Ogawa, Autonomous decentralized lighting control system with enumerative anomaly detection, GS31-5, 836/841, AROB 28th 2023, 25-27. Jan. 2023. (Hybird conference, Oral, Abstract Review)

9. Kanta Ogawa, Kenji Sawada, Kosei Sakata: Vulnerability Modeling and Protection Strategies via Supervisory Control Theory, GCCE, 512/513, 18-20, Oct. 2022 (Hybrid conference, Full paper Review)

10. Shintaro Fujita, Kenji Sawada: Examination of Allowlist Using Markov Decision Process for Industrial Control Systems, AROB 27th 2022, 25-27. Jan. 2022. (Oral, Abstract Review)

11. Kousei Sakata, Shintaro Fujita, Kenji Sawada: Synthesis and Implementation of Resilient Fallback Control Logic Under Cyberattacks, AROB 27th 2022, 25-27. Jan. 2022. (Oral, Abstract Review)

12. Yoshiki Ikeda, Kenji Sawada: Anomaly Detection and Anomaly Location Model for Multiple Attacks Using Finite Automata, ICCE2022, 7-9, Jan. 2022. (Virtual conference, Full Paper Review)

13. Kousei Sakata, Shintaro Fujita, Kenji Sawada: Model Verification of Resilient Third-Party Monitoring System Against Cyberattacks, ICCE2022, 7-9, Jan. 2022. (Virtual conference, Full Paper Review)

14. Kousei Sakata, Shintaro Fujita, Kenji Sawada: Synthesis of Resilient Third-Party Monitoring System Against Cyberattacks via Supervisory Control, IEEE ICCE 2021, 18-21, Jan. 2021(Virtual conference, Oral, Full Paper Review) 

15. Junya Fujita, Takashi Ogura, Noritaka Matsumoto, Osamu Kaneko, Kenji Sawada: Investigation of Cyber Attack Emulation Methodology for Industrial Control Systems , SICE Annual Conference, 31/34, 2020 (Virtual conference, 2020.9.23-9.26-12.01) (Position paper review)

16. Noritaka Matsumoto, Junya Fujita, Hiromichi Endo, Tsutomu Yamada, Kenji Sawada, Osamu Kaneko: Method of Asset-Configuration Management for Strengthening Cybersecurity of Industrial Control Systems , SICE Annual Conference, 35/38, 2020 (Virtual conference, 2020.9.23-9.26-12.01)  (Position paper review)

17. Masatoshi Enomoto, Kenji Sawada, Shu Hosokawa: A consideration of white list creating algorithm for industrial network protocols at network switch, SICE Annual Conference, 45/50, 2020 (Virtual conference, 2020.9.23-9.26-12.01) (Full paper review) 

18. Kousei Sakata, Shintaro Fujita, Kenji Sawada, Seiichi Shin: Modeling of third-party monitoring system using timed automata, AROB 25th 2020, 182/187, 22. Jan. 2020. (Oral, Abstract Review) 

19. Shintaro Fujita, Kenji Sawada, Seiichi Shin, Shu Hosokawa: Experimental Verification of Fallback Control System on Whitelisting System for Industrial Controller, AROB 25th 2020, 570/573, 22. Jan. 2020. (Oral, Abstract Review)

20. Kousei Sakata, Shintaro Fujita, Kenji Sawada, Seiichi Shin, Shu Hosokawa, Ippei Maeta: On the implementation of multiple anomaly detection functions to a third-party monitoring system for secured control, SII2020, accepted (Full paper review) 

21. Shintaro Fujita, Kenji Sawada, Seiichi Shin, Shu Hosokawa: Model Verification and Exhaustive Testing for Whitelist Function of Industrial Control System, IECON'2019, 5734/5739 (2019.10.17) (Full paper review) 

22. Kenji Sawada, Shu Hosokawa: Control System Security Training and Education in UEC, 1762/1765 (2019.9.13) (Oral, Position paper review) 

23. Ryota Hasegawa, Kenji Sawada, Kosuke Hata, Shintaro Fujita, Seiichi Shin: On the Driving State Separation and Estimation of Industrial Control System Using Machine Learning, 1040/1043 (2019.9.12) (Oral, Position paper review) 

24. Tsunato Nakai, Sachihiro Ichikawa, Nobuhiro Kobayashi, Kosuke Hata, Kenji Sawada: Whitelisting Cyber Attack Detection according to Estimated Operational States for CPS, INDIN'19, (2019.7.23) (Oral, Full paper review) (Tsunato Nakai: BestPresentationAward) 

25. Takamitsu Kishida, Kenji Sawada, Seiichi Shin: Control Flow Verification for Program Safety Update. ASCC2019, 1380/1385 (2019.6.12) (Oral, Full paper Review)

26. Shintaro Fujita, Kosuke Hata, Akinori Mochizuki, Kenji Sawada, Seiichi Shin, Shu Hosokawa: On Experimental validation of Whitelist Auto-Generation Method for Secured Programmable Logic Controllers, IECON2018, 2385/2390, Oct. 2018. (Oral, Full paper Review)

27. Kosuke Hata, Tsubasa Sasaki, Akinori Mochizuki, Kenji Sawada, Seiichi Shin, Shu Hosokawa: Collaborative Model-based Fallback Control for Secured Networked Control Systems, IECON2018, 5963/5970, Oct. 2018. (Oral, Full paper Review)

28. Shigehiro Kawakami, Kenji Sawada, Seiichi Shin：On the Driving State Management of Control System Using Error Correction Code, SMC2018, 2009/2014, Oct. 2018. (Oral, Full paper Review)

29. Kosuke Hata, Kenji Sawada, Tsunato Nakai, Sachihiro Ichikawa, Nobuhiro Kobayashi: Model Based Anomaly Detection Focused on the Operating States, SICE Annual Conference, 256/261, Sep. 2018. (Oral, Full paper Review)

30. Aki Shimazaki, Kenji Sawada, Seiichi Shin: On the Communication Message Obfuscation for Smart Homes, SICE Annual Conference, 249/252, Sep. 2018. (Oral, Position paper Review)

31. Rikuna Baba, Kiminao Kogiso, Osamu Kaneko, Masako Kishida and Kenji Sawada: Theory and Applications of Encrypted Control Systems for Cyber Security, IWSEC2018, Sep. 2018. (Poster, Abstract Review)

32. Takahisa Saito, Shion Nasukawa, Shu Hosokawa, Makoto Kiuchi, and Kenji Sawada: A prototype of cooperative whitelist protection for control systems considering plant life cycle, AROB 23rd 2018, 800/804, AROB 23rd, Jan. 2018. (Oral, Abstract Review)

33. Shintaro Fujita, Kousuke Hata, Akinori Mochizuki, Kenji Sawada, Seiichi Shin, Shu Hosokawa: OpenPLC based control system testbed for PLC whitelisting system, AROB 23rd 2018, 795/799, Jan. 2018. (Oral, Abstract Review)

34. Akinori Mochizuki, Kenji Sawada, Seiichi Shin and Shu Hosokawa: On Experimental Verification of Model Based White list for PLC Anomaly Detection, The 11th Asian Control Conference 2017, 1766/1771, Dec. 2017. (Oral, Full paper Review)

35. Kenji Sawada: Model-based Cybersecurity for Control Systems: Modeling, Design and Control, SICE Annual Conference, 724/727, Sep. 2017. (Oral, Position paper Review)

36. Tsunato Nakai, Teruyoshi Yamaguchi, Sachihiro Ichikawa, Nobuhiro Kobayashi, Kosuke Hata, Kenji Sawada: Simulation and Evaluation of Whitelisting Intrusion Detection Systems according to Life cycle in Industrial Control Systems models, IWSEC2017, Aug. 2018. (Poster, Abstract Review)

37. Tsubasa Sasaki, Kenji Sawada, Seiichi Shin, Shu Hosokawa: Fallback and Recovery Control System of Industrial Control System for Cybersecurity, IFAC World Congress 2017, 15812/15817, July 2017. (Oral, Full paper Review)

38. Tsubasa Sasaki, Akinori Mochizuki, Kenji Sawada, Seiichi Shin, Shu Hosokawa: Model Based Incident Detection via Field Network Information, AROB 22nd 2017, 176/181, Jan. 2017. (Oral, Abstract Review)

39. Akinori Mochizuki, Kenji Sawada, Seiichi Shin, Shu Hosokawa: Model-based security incident analysis for control systems via Petri net, AROB 22nd 2017, 170/175, Jan. 2017. (Oral, Abstract Review)

40. Tsubasa Sasaki, Kento Tsukada, Kenji Sawada, Seiichi Shin and Shu Hosokawa: Rule Based Fallback Control System via Kalman Decomposition, ISA PCS, Nov. 2016. (Oral, Abstract Review)

41. K. Ishikawa, K. Nagasawa, K. Kogiso, and K. Sawada: Experimental validation of encrypted controller implemented on Raspberry Pi, IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, 1/6, Oct. 2016. (Oral, Full paper Review) 

42. Kento Tsukada, Kenji Sawada, Seiichi Shin: A Toolchain on Model Checking SPIN via Kalman Decomposition for Control Systems Software, 2016 IEEE International Conference on Automation Science and Engineering (CASE), 300/305, Aug. 2016. (Oral, Full paper Review)

43. Kento Tsukada, Kenji Sawada, Seiichi Shin: Studies on Software Model Checking via Kalman Decomposition, The 2015 CACS International Automatic Control Conference, 227/232, Nov. 2015. (Oral, Full paper Review)

44. Tsubasa Sasaki, Kenji Sawada, Seiichi Shin and Shu Hosokawa: Model Based Fallback Control for Networked Control System via Switched Lyapunov Function, IECON 2015, 2000/2005, Nov. 2015. (Oral, Full paper Review)

45. Takahiro Fujita, Kiminao Kogiso, Kenji Sawada and Shin Shin: Security Enhancements of Networked Control Systems Using RSA Public-Key Cryptosystem, The 10th Asian Control Conference 2015, 2653/2658, Jun. 2015. (Oral, Full Paper Review)

解説記事

1. 澤田賢治，スマート保安とセキュリティ，計測技術，4月号，2023

2. 藤田真太郎，澤田賢治，制御システム向けセキュリティ対策技術 ，電気学会誌，Vol. 142, No. 4, 212/214 , 2022

3. 藤田真太郎，澤田賢治，制御分野におけるモデル活用型攻撃検知と縮退制御 ，化学工業，Vol. 73, No. 3, 174/181 , 2022

4. 藤田真太郎，澤田賢治，コントローラホワイトリストの自動化と検証，計測と制御，60/01，2021

5. 澤田賢治，コントローラに対するホワイトリスト式サイバー攻撃検知 ，化学工業，Vol. 72, No. 1, 2021

6. 澤田賢治，総論：制御システムセキュリティの現代と次世代，特集「制御システムセキュリティの現状と対策に関する課題」，計測と制御，58/12, 906-911，2019/12/01 

7. 澤田賢治，細川嵩，制御システムとサイバーフィジカルセキュリティ，特集「Society 5.0のためのシステム制御技術」，計測と制御，58/8, 618-623，2019/08/01 

8. 澤田賢治，PLCのためのモデルベースホワイトリスト，特集「システム設計への事象駆動アプローチ ー 応用と展開」，システム/制御/情報，Vol.62, No.6, 209/214 (2018.6)

9. 澤田賢治，制御システムセキュリティ技術としてのモデルベース縮退運転システム，特集「制御システムセキュリティ ー 脅威と対策」，システム/制御/情報 ，Vol.62, No.4, 141/146 (2018.4) 

10. 澤田賢治，総論：産業システム連携のこれから－特集号発刊によせて，特集「産業オートメーションにおけるシステム連携の最新動向」，計測と制御，57/ 1, 2/3，2018/01/01

書籍

1. 編集 技術研究組合制御システムセキュリティセンター（CSSC）：IoT時代のサイバーセキュリティ～制御システムの脆弱性検知と安全性・堅牢性確保～ ，NTS Inc., 2018/11/17，4章1節「対策の概要」の執筆担当

2. 工場・製造プロセスへのIoT・AI導入と活用の仕方，情報技術協会，2020年6月30日，12章第2節「モデルベース開発と制御システムセキュリティ」 の執筆担当 

受賞

1. 池田佳輝：第65回自動制御連合講演会優秀発表賞

   • 発表題目：サイバー攻撃下での制御系回復のためのスーパーバイザ設計 

   • 第65回自動制御連合講演会優秀発表賞（2022年11月12～13日，宇都宮大学）

2. 藤田真太郎：電気学会2021年度優秀論文発表賞A （IEEJ Excellent Presentation Award）

   • 発表題目：二重化制御システムにおける異常発生時の制御器引き継ぎ方法

   • 2021年度電子・情報・システム部門大会

3. 阪田恒晟：第64回自動制御連合講演会優秀発表賞

   • 発表題目：サイバー攻撃に対するレジリエントなスーパーバイザの設計

   • 第64回自動制御連合講演会（2021年11月13～14日，オンライン開催）

4. 阪田恒晟：SSI 優秀発表賞

   • 発表題目：サイバー攻撃に対する可用性を考慮した第三者監視システム

   • 計測自動制御学会システム・情報部門学術講演会（2019年11月23日～25日）

5. 澤田賢治：計測自動制御学会2019年度制御部門「パイオニア技術賞」 

   • 受賞題目：縮退運転システムおよび協調型ホワイトリストによる制御システムのセキュリティ技術開発 

   • 第6回制御部門マルチシンポジウム（2019年3月6日～9日）

6. 岸田貴光：制御部門研究奨励賞（学生ポスター賞） 

   • 講演題目：シーケンス制御のプログラム安全更新のための基礎検討 

   • 第6回制御部門マルチシンポジウム（2019年3月6日～9日）

7. 佐々木翼：計測自動制御学会 学術奨励賞（技術奨励賞）（2017年度）

   • 講演題目：復帰機能を備えたモデルベース縮退運転システムの実現 

   • 発表：第59回自動制御連合講演会 （2016年11月10日～12日）

8. 佐々木翼：第58回自動制御連合講演会 優秀発表賞 （2015年度）

   • 講演題目：ネットワーク化制御系に対する双線形オブザーバを用いたモデルベース縮退運転の実現 

   • 発表：第58回自動制御連合講演会 （2015年11月14日～15日 ） 

9. 佐々木翼：インターネットコンファレンス2015 学生奨励賞（2015年度）

   • 講演題目：通信制御系に対するモデルベース縮退運転システム 

   • 発表：インターネットコンファレンス2015（2015年10月13日，14日 ） 

国内会議

1. 兵藤剛士，澤田賢治：プライバシー保護型車群速度制御の速度応答と情報開示集合に対する一考察，システム数理と応用研究会，MSS2023-32（2023.11.16-17）対面開催 

2. 杉本 航太, 安部 芳紀, 西内 達哉, 渡邉 洋平, 澤田 賢治, 岩本 貢：制御システムにおける攻撃検知手法の理論的かつ網羅的評価の一検討，2D4-5，CSS 2023，407–414（2023.10.31）ハイブリッド開催

3. 藤本 拓磨，澤田 賢治：CACCにおけるセンサインシデント影響を削減するフィルタリング機能の開発，第66回自動制御連合講演会，1A1-4（2023.10.7-8）ハイブリッド開催

4. 兵藤 剛士，澤田 賢治：プライバシー保護型平均合意制御を適用した車群速度制御に関する研究，第66回自動制御連合講演会，1A1-5（2023.10.7-8）ハイブリッド開催

5. 西内 達哉，安部 芳紀，渡邉 洋平，岩本 貢，澤田 賢治：制御システムのサイバー攻撃における尤度比検定からの一評価，第66回自動制御連合講演会，2E3-2（2023.10.7-8）ハイブリッド開催

6. 小川寛太，澤田賢治：スーパーバイザ制御理論によるサイバー攻撃を考慮した縮退運転モデルの設計，2023年電気学会電子・情報・システム部門大会，GS3-2-5（2023.8.30-9.2）対面開催、一部ハイブリッド開催

7. 相澤久美，澤田賢治：攻撃下の自律分散系の制御継続機能の対称性と可観測性の実験的評価，2023年電気学会電子・情報・システム部門大会，GS3-2-6（2023.8.30-9.2）対面開催、一部ハイブリッド開催

8. 服部圭一郎, 小島匠太郎, Ranulfo Bezerra, 岡田佳都, 大野和則（東北大）,  石原真太郎（京都産業大）, 澤田賢治（電通大）,  田所諭（東北大）：プラント点検ロボットにおける仮想 / 実観測の時系列差分による異常検出, ロボティクス・メカトロニクス 講演会 2023, 1P1-A25（2023.6.28-7.1）対面開催

9. 西内 達哉 ,藤田 真太郎 ,渡邊 洋平 ,岩本 貢 ,澤田 賢治 (電気通信大学)：情報理論を用いたModbus TCP通信のパケット解析と攻撃検知に関する検討，SCI'23，125-5（2023.5.17-19）対面開催

10. 相澤 久美 ,澤田 賢治 ,藤田 真太郎 ,池田 佳輝 ,小川 寛太 (電気通信大学)：列挙型異常検知を用いた自律分散型照明制御システム，SCI'23，341-5（2023.5.17-19）対面開催

11. 藤本拓磨，澤田賢治：Connected ACCに対する前前方車情報を用いたフィルタリング機能の検討，MSCS2023，2A5-5（2023.3.8-11）対面開催

12. 池田佳輝，澤田賢治，松本典剛，小倉貴志，阪田恒晟：サイバー攻撃発生時の安全復旧を目的とした空間分割に基づくスーパーバイザ設計，MSCS2023，2A4-2（2023.3.8-11）対面開催

13. 小川寛太，澤田賢治，松本典剛，小倉貴志，阪田恒晟：制御システムでの強化学習によるブロックリストの生成，MSCS2023，2A4-3（2023.3.8-11）対面開催

14. 藤本拓磨，澤田賢治，山藤勝彦：センサ攻撃を受ける協調型車間距離制御装置に対するフィルタリング機能の検討，SCIS2023，3E3-4（2023.1.24-27）ハイブリッド開催

15. 小川寛太，澤田賢治，小倉貴志，阪田恒晟：強化学習を用いた制御システムのブロックリストの設計，SCIS2023，2D4-4（2023.1.24-27）ハイブリッド開催

16. 池田佳輝，澤田賢治，小倉貴志，阪田恒晟：制御系のサイバー攻撃からの安全復旧のための空間分割に基づく回復スーパーバイザ，SCIS2023，2D4-1（2023.1.24-27）ハイブリッド開催

17. 西内達哉，藤田真太郎，渡邉洋平，岩本貢，澤田賢治：Modbus TCP通信のパケット解析と相対エントロピーによる攻撃検知に関する検討，2SCIS2023，2D3-2（2023.1.24-27）ハイブリッド開催

18. 関根悠司，安部芳紀，藤田真太郎，渡邉洋平，澤田賢治，岩本貢：認証信号付きカルマンフィルタに対するレギュレーション性能と攻撃検知率の実験的評価，SCIS2023，2D3-1（2023.1.24-27）ハイブリッド開催

19. 池田佳輝，澤田賢治：サイバー攻撃下での制御系回復のためのスーパーバイザ設計，第65回自動制御連合講演会，1G2-4（2022.11.12-13）対面開催

20. 小川寛太，澤田賢治：強化学習に基づく制御システムの脆弱性評価，第65回自動制御連合講演会，1G2-3（2022.11.12-13）対面開催

21. 阪田恒晟，藤田真太郎，澤田賢治，藤田淳也，遠藤浩通，松本典剛：サイバー攻撃にレジリエントなPLC向け縮退ロジックの実装，SCI'22，133－3（2022.5.18-20）対面開催

22. 小川寛太，阪田恒晟，澤田賢治：スーパーバイザの設計による脆弱性の表現とその防御方策，SCI'22，133－2（2022.5.18-20）対面開催

23. 藤田真太郎，澤田賢治：シーケンス制御システムのホワイトリスト式異常検知のためのモデル化の検討 ，2D1-6，MSCS2022（2022.3.7-10）新型コロナウィルスによりオンライン開催

24. 池田佳輝，阪田恒晟，澤田賢治：サイバー攻撃下での制御システムにおける復帰動作順序の導出方法，2D1-5，MSCS2022（2022.3.7-10）新型コロナウィルスによりオンライン開催

25. 小川寛太，阪田恒晟，澤田賢治：スーパーバイザ制御に基づく脆弱性の表現とその防御方法の検討，PS3-1，MSCS2022（2022.3.7-10）新型コロナウィルスによりオンライン開催

26. 藤田真太郎, 澤田賢治：シーケンス制御システムに対するホワイトリスト式異常検知のための正常状態遷移のモデル化，SCIS2022（2022.1.19－22）新型コロナウィルスによりハイブリッド開催，現地参加

27. 小川寛太, 阪田恒晟, 澤田賢治：制御システムに対する脆弱性を考慮したスーパーバイザの設計，SCIS2022（2022.1.19－22）新型コロナウィルスによりハイブリッド開催，現地参加

28. 池田佳輝(電気通信大学), 阪田恒晟(電気通信大学), 澤田賢治(電気通信大学), 藤田淳也(日立製作所), 松本典剛(日立製作所)：制御システムにおけるインシデント発生後の状態復帰動作の導出方法，SCIS2022（2022.1.19－22）新型コロナウィルスによりハイブリッド開催，現地参加

29. 阪田恒晟(電気通信大学), 藤田真太郎(電気通信大学), 澤田賢治(電気通信大学), 遠藤 浩通(日立製作所), 松本 典剛(日立製作所)，サイバー攻撃に対するレジリエントな縮退運転システムの設計と実装，SCIS2022（2022.1.19－22）新型コロナウィルスによりハイブリッド開催，現地参加

30. 藤田真太郎，澤田賢治：産業用制御システムのためのマルコフ決定過程を用いたホワイトリスト生成の検討，第64回自動制御連合講演会，(2021.11.13-14) 新型コロナウィルスによりオンライン開催

31. 阪田恒晟，藤田真太郎，澤田賢治：サイバー攻撃に対するレジリエントなスーパーバイザの設計，第64回自動制御連合講演会，(2021.11.13-14) 新型コロナウィルスによりオンライン開催

32. 藤田真太郎，澤田賢治：二重化制御システムにおける異常発生時の制御器引き継ぎ方法，2021年電気学会電子・情報・システム部門大会，583/585（2021.9.15-17）新型コロナウィルスによりオンライン開催

33. 池田佳輝，澤田賢治：複数攻撃に対する有限オートマトンを用いた異常検知と異常箇所判定モデル，2021年電気学会電子・情報・システム部門大会，944/949（2021.9.15-17）新型コロナウィルスによりオンライン開催

34. 澤田賢治，長谷川亮太：予測誤差フィードバックを有するガウス過程回帰による制御システムの異常検知，SCI'21，TS09-01-4（2021.5.26-18）新型コロナウィルスによりオンライン開催

35. 松本典剛，藤田淳也，遠藤浩通，山田勉，澤田賢治，金子修：産業制御システムのセキュリティを強化する資産管理手法，MSCS2021（2021.3.1-4）新型コロナウィルスによりオンライン開催

36. 藤田淳也，小倉貴志，松本典剛，澤田賢治，金子修：産業制御システム向けサイバー攻撃エミュレーション技術の調査，MSCS2021（2021.3.1-4）新型コロナウィルスによりオンライン開催

37. 藤田真太郎，澤田賢治，細川嵩：シーケンス制御のホワイトリスト式異常検知のための並列動作のモデル化，MSCS2021（2021.3.1-4）新型コロナウィルスによりオンライン開催

38. 阪田恒晟，藤田真太郎，澤田賢治：制御システムに対する縮退運転ロジックの設計，MSCS2021（2021.3.1-4）新型コロナウィルスによりオンライン開催

39. 池田佳輝，阪田恒晟，藤田真太郎，澤田賢治：有限オートマトンモデルに基づく複数攻撃に対する異常検知と異常箇所推定，MSCS2021（2021.3.1-4）新型コロナウィルスによりオンライン開催

40. 長谷川亮太，澤田賢治：ガウス過程回帰の信頼区間を利用した制御システムの時系列異常検知，SCIS2021，3E3-1（2021.1.19-22）新型コロナウィルスによりオンライン開催

41. 阪田恒晟，藤田真太郎，澤田賢治：制御システムに対する縮退運転のためのモデル化とシミュレーション解析，SCIS2021，3E3-2（2021.1.19-22）新型コロナウィルスによりオンライン開催

42. 池田佳輝，阪田恒晟，藤田真太郎，澤田賢治：複数攻撃を想定した有限オートマトンモデルによる異常検知と特定，SCIS2021，3E3-3（2021.1.19-22）新型コロナウィルスによりオンライン開催

43. 藤田真太郎，澤田賢治，細川嵩：コントローラホワイトリスト生成のための制御プログラム構造，SCIS2021，3E3-5（2021.1.19-22）新型コロナウィルスによりオンライン開催

44. 阪田恒晟，藤田真太郎，澤田賢治，新誠一：サイバー攻撃に対するレジリエントな第三者監視システ ムのモデル化，第63回自動制御連合講演会（2020.11.21-22）新型コロナウィルスによりオンライン開催

45. 藤田 真太郎, 澤田賢治, 新 誠一, 細川 嵩：制御システムに対する協調型ホワイトリストの検討，SSI2020，171-175（2020.11.15-17）新型コロナウィルスによりオンライン開催

46. 阪田恒晟，藤田真太郎，澤田賢治，新誠一：サイバー攻撃に対するレリジエントな第三者監視システムの構築，第64回システム制御情報学会研究発表講演会 (SCI’20) （2020.5.20-22）新型コロナウィルスによりオンライン開催

47. 澤田賢治，永谷禎基，武田健吾：稼働状態を考慮した縮退機能付きコントローラホワイトリストの検討，MSCS2020（2020.3.5）新型コロナウィルスにより中止

48. 藤田真太郎，澤田賢治，新誠一，細川嵩：協調型ホワイトリストによる制御システムの異常検知手法，MSCS2020（2020.3.3）新型コロナウィルスにより中止

49. 藤田真太郎，澤田賢治，新誠一，細川嵩：通信パケットの順序制約を考慮した制御ネットワークのホワイトリスト，SCIS2020，3D1-5（2020.1.30）

50. 長谷川亮太，澤田賢治，市川幸宏，中井綱人：機械学習による制御システムの運転状態を考慮した異常検知の検証，SCIS2020，3D1-3（2020.1.30）

51. 阪田恒晟，藤田慎太郎，澤田賢治，新誠一：時間オートマトンを用いた第三者監視システムのモデル化，SCIS2020，3D1-1（2020.1.30）

52. 阪田恒晟，藤田真太郎，澤田賢治，新 誠一，前田一平，細川 嵩：サイバー攻撃に対する可用性を考慮した第三者監視システム，システム・情報部門学術講演会(SSI2019) ，270-274（2019.11.25）（SSI 優秀発表賞） 

53. 藤田真太郎，澤田賢治，新誠一，細川嵩：協調型ホワイトリストにおけるPLCの縮退運転システム について，第62回自動制御連合講演会，1M3-04（2019.11.9） 

54. 藤田真太郎，澤田賢治，新 誠一，細川 嵩：グラフ理論に基づく産業用コントローラのためのホワイトリストの検証手法，平成31年電気学会電子・情報・システム部門大会，1248-1251（2019.09.6） 

55. 松崎和賢，澤田賢治：再生可能エネルギーシステムの遠隔制御におけるセキュリティ評価環境の構築，平成31年電気学会電子・情報・システム部門大会，449-452（2019.09.5） 

56. 阪田恒晟，藤田真太郎，澤田賢治，新 誠一，前田一平，細川 嵩：コントローラに対する第三者監視を用いた異常検知技術の提案，平成31年電気学会電子・情報・システム部門大会，1536-1537（2019.09.4） 

57. 岸田貴光，澤田賢治，新誠一：シーケンス制御のプログラム安全更新のための基礎検討，MSCS2019，PS2-11 (2019.3.7) （岸田貴光：制御部門研究奨励賞）

58. 長谷川亮太，秦康祐，藤田真太郎，澤田賢治，新誠一：機械学習による産業用制御システムの運転状態分離と推定，MSCS2019，PS2-6 (2019.3.7) 

59. 藤田慎太郎，秦康祐，澤田賢治，新誠一，細川嵩：産業用コントローラのホワイトリストの網羅テストについて ，SCIS2019，2E4-4（2019.1）

60. 中井綱人，市川幸宏，小林信博，秦康祐，澤田賢治：制御モデルに応じたホワイトリスト型攻撃検知手法の提案，SCIS2019，2E4-2（2019.1）

61. 秦康祐，澤田賢治，中井綱人，市川幸宏，小林信博：ホワイトリスト運用を目的とした産業用制御システムの状態推定に関する検討，SCIS2019，2E4-3（2019.1） 

62. 川上重太，澤田賢治，新誠一：誤り訂正符号を用いた PLC 改ざん検知・修正アルゴリズム，システム・情報部門学術講演会（SSI2018），SS01-10（2018.11，ポスター）

63. 岸田貴光，澤田賢治，新誠一：組み込みシステムの周期性に着目した更新プログラムの安全性検証，システム・情報部門学術講演会（SSI2018），SS01-08（2018.11，ポスター）

64. 藤田真太郎，秦康祐，澤田賢治，新誠一，細川嵩：産業用コントローラに対するホワイトリストの検証方法，第61回自動制御連合講演会（2018.11）

65. 金子修，澤田賢治：連続的に進化する超スマート社会におけるCyber/Physical連携とプラットフォーム，横幹連合／第9回横幹連合コンファレンス（2018.10） 

66. 澤田賢治，細川嵩：産業用制御システムのためのホワイトリスト型振る舞い検知，平成30年電気学会電子・情報・システム部門大会（2018.09）

67. 川上重太，澤田賢治，新誠一：エッジコンピューティングにおける誤り訂正符号を用いた異常検知・修正，平成30年電気学会電子・情報・システム部門大会（2018.9）

68. 秦康祐，望月明典，澤田賢治，新誠一，細川嵩：PLCのためのホワイトリスト式異常検知技術，計測自動制御学会第4回制御部門マルチシンポジウム，Fr32-2（2018.3）

69. 藤田慎太郎，秦康祐，望月明典，澤田賢治，新誠一，細川嵩：産業用コントローラに対するホワイトリストの自動生成手法の検討，SCIS2018（2018.1）

70. 中井綱人，市川幸宏，小林信博，秦康祐，望月明典，澤田賢治：制御システムのテストベッド構築と制御特性に着目した攻撃検知手法の提案，SCIS2018（2018.1）

71. 秦康祐，望月明典，澤田賢治，中井綱人，市川幸宏，小林信博：ホワイトリスト運用を目的とした制御システムの状態分離アルゴリズムの検討，SCIS2018（2018.1） 

72. 川上重太，澤田賢治，新誠一：合意制御における誤り訂正符号を用いた改ざん検知のための検査ビット共有化，システム・情報部門学術講演会（SSI2017），418/421（2017.11，ポスター）

73. 望月明典，澤田賢治，新誠一，細川嵩：PLCに対するホワイトリスト式攻撃検知技術の開発，第60回自動制御連合講演会，FrB2-4（2017.11）

74. 藤田真太郎，秦康祐，望月明典，澤田賢治，新誠一，細川嵩：OpenPLCを用いた制御システムへのホワイトリスト式検知技術の実装と検証，第60回自動制御連合講演会，FrB2-5（2017.11）

75. 細川嵩，茄子川慈苑，木内誠，市川幸宏，澤田賢治：プラントライフサイクルによる協調ホワイトリスト防御の検討，第60回自動制御連合講演会，FrB2-6（2017.11）

76. 藤田真太郎，秦康祐，澤田賢治，新誠一，細川嵩：OpenPLCを用いたロボットアーム制御システムの構築について，電気学会制御研究会，1/4 （2017.6）

77. 秦康祐，望月明典，澤田賢治，中井綱人，山口晃由，小林信博：ホワイトリスト運用のための複数の制御機器情報に基づいた運転状態の推定，DICOMO2017，1145/1151（2017.6）

78. 川上重太, 澤田賢治, 新誠一：誤り訂正符号を用いたリーダー・フォロワー合意におけるビザンチン将軍問題，第61回システム制御情報学会研究発表講演会，講演番号342-2（2017.5）

79. 塚田健人，岸田貴光，澤田賢治，新誠一：Graphillion に基づく制御ソフトウェアの可用性検査，第61回システム制御情報学会研究発表講演会，講演番号342-4（2017.5）

80. 塚田健人，岸田貴光，澤田賢治，新誠一：カルマン正準分解に基づいたソフトウェアのモデル検査について，第4回制御部門マルチシンポジウム，17SY0003//0000-0966（2017.3）

81. 望月明典，澤田賢治，新誠一，細川嵩：PLCのためのホワイトリスト式検知技術に関する検討，第4回制御部門マルチシンポジウム，17SY0003//0000-0465（2017.3）       

82. 佐々木翼，嶋崎亜希，望月明典，澤田賢治，新誠一，細川嵩：運転状態の推定に基づく協調型縮退運転システム，第4回制御部門マルチシンポジウム，17SY0003//0000-0457（2017.3）       

83. 岸田貴光，塚田健人，澤田賢治，新誠一：カルマン正準分解を用いた自律移動ロボットの無瞬断更新に関する研究，第4回制御部門マルチシンポジウム，17SY0003//0000-0274（2017.3）       

84. 中井綱人，山口晃由，清水孝一，小林信博，秦康祐，佐々木翼，澤田賢治：ライフサイクルに応じた産業用制御システム向けホワイトリスト型侵入検知システムのモデル化とシミュレーション評価，SCIS2017（2017.1）  

85. 秦康祐，佐々木翼，澤田賢治，中井綱人，山口晃由，小林信博：プロセス制御システムのライフサイクルに基づいたホワイトリスト，SCIS2017（2017.1）

86. 望月明典，澤田賢治，新誠一，細川嵩：制御システムの第三者監視装置のためのモデルベース解析，第59回自動制御連合講演会，1115/1120（2016.11）

87. 佐々木翼，澤田賢治，新誠一，細川嵩：復帰機能を備えたモデルベース縮退運転システムの実現，第59回自動制御連合講演会，1109/1114（2016.11）（佐々木翼：2017年度計測自動制御学会 学術奨励賞（技術奨励賞））

88. 澤田賢治：制御システムのためのモデルベースセキュリティ技術，平成28年電気学会電子・情報・システム部門大会（2016.9）           

89. 望月明典，澤田賢治，新誠一，細川嵩，奥村剛：ペトリネットに基づく制御システムのモデルベースセキュリティインシデント解析，平成28年電気学会電子・情報・システム部門大会（2016.9）

90. 長澤和哉，小木曽公尚，澤田賢治：暗号化制御則のリアルタイム性に対する実験的考察，第3回制御部門マルチシンポジウム，SY0003/16/0000-0460（2016.3）

91. 佐々木翼，塚田健人，澤田賢治，新誠一：カルマン正準分解に基づくルールベース縮退運転システム，第3回制御部門マルチシンポジウム（2016.3）

92. 佐々木翼，塚田健人，澤田賢治，新誠一，細川嵩：ルールベース縮退運転システムを用いたサイバーインシデント検出，第59回離散事象システム研究会（2016.3）

93. 塚田健人，澤田賢治，新誠一：カルマン正準分解を用いたモデル検査のためのツール連携について，第58回自動制御連合講演会（2015.11）

94. 佐々木翼，澤田賢治，新誠一，細川嵩：ネットワーク化制御系に対する双線形オブザーバを用いたモデルベース縮退運転の実現，第58回自動制御連合講演会（2015.11）（佐々木翼：2015年度優秀発表賞）

95. 佐々木翼，澤田賢治，新誠一，細川嵩：通信制御系に対するモデルベース縮退運転システム， インターネットコンファレンス 2015（2015.10，査読有り）（佐々木翼：インターネットコンファレンス2015年度学生奨励賞）

96. 塚田健人，澤田賢治，新誠一：カルマン正準分解を用いたソフトウェアのモデル検査に関する研究，第59回システム制御情報学会研究発表講演会（2015.5）

97. 佐々木翼，澤田賢治，新誠一，細川嵩：ネットワーク制御系に対するモデルベース縮退運転の実現，第59回システム制御情報学会研究発表講演会（2015.5）

98. 藤田貴大，澤田賢治，小木曽公尚，新誠一：RSA暗号に基づくネットワーク制御系のセキュリティ強化，第57回自動制御連合講演会，1337/1340（2014.11）（共著者，藤田貴大：学生発表奨励賞）