Yamaguchi Shingo 山口真悟

… Alternative Names

YAMAGUCHI Shingo 山口真悟

山口真吾ヤマグチシンゴ

Less

Researcher Number	00294653
Other IDs
Affiliation (Current)	2025: 山口大学, 大学院創成科学研究科, 教授
Affiliation (based on the past Project Information) *help	2019 – 2023: 山口大学, 大学院創成科学研究科, 教授 2011 – 2013: 山口大学, 理工学研究科, 准教授 2007 – 2008: 山口大学, 大学院・理工学研究科, 准教授 2006: 山口大学, 大学院理工学研究科, 助手 2002 – 2005: 山口大学, 工学部, 助手
Review Section/Research Field	Principal Investigator Basic Section 60070:Information security-related / Control engineering Except Principal Investigator Communication/Network engineering / 情報通信工学
Keywords	Principal Investigator ペトリネット / シミュレーション / IoT / マルチエージェント / ワーム / マルウェア / セキュリティ / ボットネット / エージェント / 獲得免疫 … More / 自然免疫 / 生体免疫系 / セキュリティ技術 / モデリング / 実装 / Mirai / アルゴリズム / 解析・評価 / 制御工学 / 群管理 / 数理計画問題 / モデル検査 / モデル化 / 形式手法 / エレベータ … More Except Principal Investigator 多段的暗号方式 / 公開鍵暗号 / NP-困難 / 逆ハッシュ関数 / ハッシュ関数 / 初等T-invariant / ペトリネット / 多段的暗合方式 / 公開鍵暗合 / 特性ベクトル / MEPKC Less

攻撃と対策のいたちごっこを断ち切る免疫型ボットネット防衛システムの開発Principal Investigator
- Principal Investigator
  
  山口真悟
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Yamaguchi University
Development of a White Hat Botnet System for Defending Against IoT Malware CyberattacksPrincipal Investigator
- Principal Investigator
  
  Yamaguchi Shingo
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Yamaguchi University
Realization of Multi-Car Elevator Group Controller Development System Based on Formal MethodsPrincipal Investigator
- Principal Investigator
  
  YAMAGUCHI Shingo
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering
- Research Institution
  Yamaguchi University
Development of a public-key cryptography MEPKC
- Principal Investigator
  
  QI-WEI Ge
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Communication/Network engineering
- Research Institution
  Yamaguchi University
ネット理論に基づいた次世代の公開鍵暗号技術の開発に関する研究
- Principal Investigator
  
  QI-WEI Ge
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  情報通信工学
- Research Institution
  Yamaguchi University

[Book] Malware - Handbook of Prevention and Detection, (Advances in Information Security)2024
- Author(s)
  Shingo Yamaguchi
- Total Pages
  200
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-19K11965
[Book] Advances in Malware and Data-Driven Network Security2021
- Author(s)
  Shingo Yamaguchi, Brij Gupta
- Total Pages
  304
- Publisher
  IGI Global
- ISBN
  9781799877905
- Data Source
  KAKENHI-PROJECT-19K11965
[Book] Security, Privacy, and Forensics Issues in Big Data2020
- Author(s)
  Shingo Yamaguchi, Brij Gupta
- Total Pages
  16
- Publisher
  Information Science Reference
- ISBN
  9781522597421
- Data Source
  KAKENHI-PROJECT-19K11965
[Book] Prime Archives in Sensors2020
- Author(s)
  Shingo Yamaguchi
- Total Pages
  18
- Publisher
  Vide Leaf
- ISBN
  9788194517573
- Data Source
  KAKENHI-PROJECT-19K11965
[Journal Article] Diffusion of White-Hat Botnet Using Lifespan with Controllable Ripple Effect for Malware Removal in IoT Networks2023
- Author(s)
  Bin Ahmadon Mohd Anuaruddin、Yamaguchi Shingo
- Journal Title
  
  Sensors
  
  Volume: 23 Issue: 2 Pages: 1018-1018
- DOI
  10.3390/s23021018
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11965, KAKENHI-PROJECT-22K12028
[Journal Article] Machine Learning White-Hat Worm Launcher for Tactical Response by Zoning in Botnet Defense System2022
- Author(s)
  Pan Xiangnan、Yamaguchi Shingo
- Journal Title
  
  Sensors
  
  Volume: 22 Issue: 13 Pages: 4666-4666
- DOI
  10.3390/s22134666
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11965, KAKENHI-PROJECT-22K12028
[Journal Article] Machine-Learning-Based White-Hat Worm Launcher in Botnet Defense2022
- Author(s)
  Xiangnan Pan, Shingo Yamaguchi, Taku Kageyama, Mohd Hafizuddin Bin Kamilin
- Journal Title
  
  International Journal of Software Science and Computational Intelligence
  
  Volume: 14(1) Issue: 1 Pages: 1-14
- DOI
  10.4018/ijssci.291713
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11965
[Journal Article] Botnet Defense System: Observability, Controllability, and Basic Command and Control Strategy2022
- Author(s)
  Yamaguchi Shingo
- Journal Title
  
  Sensors
  
  Volume: 22 Issue: 23 Pages: 9423-9423
- DOI
  10.3390/s22239423
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11965, KAKENHI-PROJECT-22K12028
[Journal Article] White-Hat Worm to Fight Malware and Its Evaluation by Agent-Oriented Petri Nets2020
- Author(s)
  Shingo Yamaguchi
- Journal Title
  
  SENSORS
  
  Volume: 20(2) Issue: 2 Pages: 556-556
- DOI
  10.3390/s20020556
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11965
[Journal Article] Botnet Defense System: Concept, Design, and Basic Strategy2020
- Author(s)
  Yamaguchi Shingo
- Journal Title
  
  Information
  
  Volume: 11 Issue: 11 Pages: 516-516
- DOI
  10.3390/info11110516
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11965
[Journal Article] Modeling and Evaluation of Mitigation Methods against IoT Malware Mirai with Agent-Oriented Petri Net PN22019
- Author(s)
  Shingo Yamaguchi, Hiroaki Tanaka, Mohd Anuaruddin Bin Ahmadon
- Journal Title
  
  International Journal of Internet of Things and Cyber-Assurance
  
  Volume: - Issue: 1 Pages: 1-1
- DOI
  10.1504/ijitca.2019.10021463
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11965
[Journal Article] Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets2014
- Author(s)
  Shingo Yamaguchi
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E97.A Issue: 2 Pages: 468-475
- DOI
  10.1587/transfun.E97.A.468
- NAID
  130003394736
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560532
[Journal Article] Polynomial Time Verification of Protocol Inheritance between Acyclic Extended Free-Choice Workflow Nets and Their Subnets2013
- Author(s)
  Shingo Yamaguchi
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E96.A Issue: 2 Pages: 505-513
- DOI
  10.1587/transfun.E96.A.505
- NAID
  10031167149
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560532
[Journal Article] Refactoring Problem of Acyclic Extended Free-Choice Workflow Nets to Acyclic Well-Structured Workflow Nets2012
- Author(s)
  Shingo Yamaguchi
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E95.D Issue: 5 Pages: 1375-1379
- DOI
  10.1587/transinf.E95.D.1375
- NAID
  10030942858
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560532
[Journal Article] An Efficient Translation Method from Timed Petri Nets to Timed Automata2012
- Author(s)
  Shota Nakano
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E95.A Issue: 8 Pages: 1402-1411
- DOI
  10.1587/transfun.E95.A.1402
- NAID
  10031126658
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560532
[Journal Article] Construction of Petri Nets and Calculation of Elementary T-invariants for Multi-stage- Encryptions Public-Key Cryptography : MEPKC2008
- Author(s)
  R. Yamaguchi, Q.W.Ge, M. Nakata
- Journal Title
  
  Proc. ITC-CSCC2008
  
  Pages: 977-980
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] Construction of Petri Nets and Calculation of Elementary T-invariants for Multi-Stage-Encryptions Public-Key Cryptography : MEPKC2008
- Author(s)
  R. Yamaguchi, et al
- Journal Title
  
  Proc. ITC-CSCC2008
  
  Pages: 977-980
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] WF-Net Based Modeling and Soundness Verification of Interworkflows2007
- Author(s)
  S. Yamaguchi, 他
- Journal Title
  
  EICE Trans.Fundamentals E90-A
  
  Pages: 829-835
- NAID
  110007519141
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] WF-Net Based Modeling and Soundness Verification of Interworkflows2007
- Author(s)
  S. Yamaguchi, H. Matsuo, T. Watanabe, Q.W.Ge, and M. Tanaka
- Journal Title
  
  IEICE Trans. Fundamentals Vol.E90-A No.4
  
  Pages: 829-835
- NAID
  110007519141
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] 古自動生成されたペトリネットの初等T-invariantの列挙アルゴリズム2007
- Author(s)
  山口, 他
- Journal Title
  
  電子情報通信学会信学技報 107
  
  Pages: 15-20
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] ワークフローネットの健全性と並列度について2006
- Author(s)
  金子, 山口, 葛, 田中
- Journal Title
  
  電子情報通信学会信学技報 Vol.105, No.573
  
  Pages: 13-18
- NAID
  110004075511
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] Complexity and a Heuristic Algorithm of Computing Parallel Degree for Program Nets with SWITCH-Nodes2006
- Author(s)
  S. Yamaguchi, T. Takai, T. Watanabe, Q.W.Ge, and M. Tanaka
- Journal Title
  
  IEICE Trans. Fundamentals Vol.E89-A No.11
  
  Pages: 3207-3215
- NAID
  110007537813
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] Performance Evaluation on Worst Change Time of Flush and SCO Dynamic Changes of State Machine WF-Nets2006
- Author(s)
  S.Yamaguchi
- Journal Title
  
  IEICE Trans.Fundamentals Vol.E89-A No.6
  
  Pages: 1701-1704
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] インターワークフローネットモデルとその健全性について2006
- Author(s)
  山口
- Journal Title
  
  第19回回路とシステム軽井沢ワークショップ
  
  Pages: 289-294
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] Evaluation of PARAdeg of Acyclic Structured Program Nets2006
- Author(s)
  S.Yamaguchi
- Journal Title
  
  Proc.ITC-CSCC2006 vol.3
  
  Pages: 453-456
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] Dead Problem of Program Nets2006
- Author(s)
  S.Yamaguchi
- Journal Title
  
  IEICE Trans.Fundamentals Vol.E89-A No.4
  
  Pages: 887-894
- NAID
  110007502788
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] Dead Problem of Program Nets2006
- Author(s)
  S.Yamaguchi, K.Yamada, Q.W.Ge and M.Tanaka
- Journal Title
  
  IEICE Trans. Fundamentals Vol.E89-A No.4
  
  Pages: 887-894
- NAID
  110007502788
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] On Parallel Degree of Sounc Workflow Nets2006
- Author(s)
  S.Yamaguchi
- Journal Title
  
  Proc.ITC-CSCC2006 vol.3
  
  Pages: 457-460
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] Evaluation of PARAdeg of Acyclic Structured Program Nets2006
- Author(s)
  S.Yamaguchi, T.Takai, Q.W.Ge, M.Tanaka
- Journal Title
  
  Proc. TC-CSCC2006 vol.3
  
  Pages: 453-456
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] On Computation of PARAdeg of Data-Flow Program Nets with SWITCH-nodes2005
- Author(s)
  T.Watanabe, S.Yamaguchi, Q.W.Ge, M.Tanaka
- Journal Title
  
  Technical Report of IEICE CST2004-40
  
  Pages: 7-12
- NAID
  110003300244
- Data Source
  KAKENHI-PROJECT-14655143
[Journal Article] On Approximate Computation of MaxPARAdeg for Acyclic Well-Structured Data-Flow Program Nets2005
- Author(s)
  T.Takai, S.Yamaguchi, Q.W.Ge, M.Tanaka
- Journal Title
  
  Technical Report of IEICE Vol.105, No.237
  
  Pages: 1-6
- NAID
  110003300283
- Data Source
  KAKENHI-PROJECT-17560342
[Journal Article] 競合なしリソース付きwell-structuredワークフローネットにおける最大スループットの計算について2004
- Author(s)
  山口, 国吉, 葛, 田中
- Journal Title
  
  電子情報通院学会信学技法 CST2004-33
  
  Pages: 71-76
- Data Source
  KAKENHI-PROJECT-14655143
[Journal Article] プログラムネットの不活性について2004
- Author(s)
  山田, 山口, 葛, 田中
- Journal Title
  
  電子情報通院学会信学技法 CST2004-32
  
  Pages: 65-70
- NAID
  110003300236
- Data Source
  KAKENHI-PROJECT-14655143
[Journal Article] Multi-Car Multi-Shaft Elevator System Design Problem and a Solution Method Using CPN Tools
- Author(s)
  Shingo Yamaguchi, Norihide Ishida
- Journal Title
  
  International Interdisciplinary Journal INFORMATION
  
  Volume: (掲載決定)
- NAID
  40022664029
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] On Building a Firewall with White Hat Bots in the Neighborhood of Malicious Bots in Large-Scale Networks2024
- Author(s)
  Ryutaro Matsumoto, Shingo Yamaguchi
- Organizer
  ETTIS 2024
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] Mesa-Based Simulator of Botnet Defense System and Impact Evaluation of Botnet Infection Rates2024
- Author(s)
  Shingo Yamaguchi
- Organizer
  ICEIC 2024
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] Mesa-Based Simulator of Botnet Defense System and Impact Evaluation of Botnet Infection Rates2024
- Author(s)
  Shingo Yamaguchi
- Organizer
  ICEIC 2024
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Implementation of Infection Environment for White-hat Worm and Malicious Botnet Using Mirai Source Code2024
- Author(s)
  Aoi Fukushima, Yudai Yamamoto, Shingo Yamaguchi
- Organizer
  ICIET 2024
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Implementation of Infection Environment for White-hat Worm and Malicious Botnet Using Mirai Source Code2024
- Author(s)
  Aoi Fukushima, Yudai Yamamoto, Shingo Yamaguchi
- Organizer
  ICIET 2024
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] On Building a Firewall with White Hat Bots in the Neighborhood of Malicious Bots in Large-Scale Networks2024
- Author(s)
  Ryutaro Matsumoto, Shingo Yamaguchi
- Organizer
  ETTIS 2024
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] On Building Firewall with White-Hat Bots to Prevent the Infection Spread of Malicious Botnets2023
- Author(s)
  Ryutaro Matsumoto, Shingo Yamaguchi
- Organizer
  ICIET 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Estimating the Infection Spread Rate of Malicious Botnets Using Reconnaissance Worms in Botnet Defense System2023
- Author(s)
  Ryo Yamashita, Shingo Yamaguchi
- Organizer
  IEEE ICCE-Asia 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Estimating the Infection Spread Rate of Malicious Botnets Using Reconnaissance Worms in Botnet Defense System2023
- Author(s)
  Ryo Yamashita, Shingo Yamaguchi
- Organizer
  IEEE ICCE-Asia 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] Smallest Botnet Firewall Building Problem and a Girvan-Newman Algorithm-Based Heuristic Solution2023
- Author(s)
  Shingo Yamaguchi, Ryutaro Matsumoto
- Organizer
  IEEE ICCE-TW 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Botnet Defense Systemにおける善玉ワームによる悪玉ボットネットの探索について2023
- Author(s)
  山下諒・山口真悟
- Organizer
  電子情報通信学会技術研究報告
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Botnet Defense Systemにおける善玉ワームによる悪玉ボットネットの探索について2023
- Author(s)
  山下諒，山口真悟
- Organizer
  電子情報通信学会技術研究報告
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] Smallest Botnet Firewall Building Problem and a Girvan-Newman Algorithm-Based Heuristic Solution2023
- Author(s)
  Shingo Yamaguchi, Ryutaro Matsumoto
- Organizer
  IEEE ICCE-TW 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] On Countermeasure Against Repeatedly Occurring Botnets by Collective Reboot2023
- Author(s)
  Yuji Katsura, Shingo Yamaguchi
- Organizer
  ITC-CSCC 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] On Building Firewall with White-Hat Bots to Prevent the Infection Spread of Malicious Botnets2023
- Author(s)
  Ryutaro Matsumoto, Shingo Yamaguchi
- Organizer
  ICIET 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] On Countermeasure Against Repeatedly Occurring Botnets by Collective Reboot2023
- Author(s)
  Yuji Katsura, Shingo Yamaguchi
- Organizer
  ITC-CSCC 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] 領域リブートによるボットネット対策について2023
- Author(s)
  桂雄治, 山口真悟
- Organizer
  電子情報通信学会技術研究報告
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] 領域リブートによるボットネット対策について2023
- Author(s)
  桂雄治, 山口真悟
- Organizer
  電子情報通信学会技術研究報告
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Evaluation on White-Hat Worm Diffusion Method Based on the Evolution of Its Lifespan in Wireless Networks2022
- Author(s)
  Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi
- Organizer
  IEEE ICCE 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Research and Development of Botnet Defense System2022
- Author(s)
  Yamaguchi Shingo
- Organizer
  HCII 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] 善玉ボットによる悪玉ボットネットの感染拡大防止について2022
- Author(s)
  松本隆太郎, 山口真悟
- Organizer
  電子情報通信学会技術研究報告
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] 善玉ボットによる悪玉ボットネットの感染拡大防止について2022
- Author(s)
  松本隆太郎, 山口真悟
- Organizer
  電子情報通信学会技術研究報告
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] A DBSCAN-based White-Hat Worm Launcher for Botnet Defense System2022
- Author(s)
  Xiangnan Pan, Shingo Yamaguchi
- Organizer
  IEEE LifeTech 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] On Resident Strategy for White-Hat Botnet in Botnet Defense System2022
- Author(s)
  Shingo Yamaguchi, Daisuke Makihara
- Organizer
  IEEE ICCE-TW 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Mathematical Modeling and Analysis of the Dictionary Attack Mechanism in IoT Malware Mirai2022
- Author(s)
  Gaku Tatebatake, Shingo Yamaguchi
- Organizer
  IEEE ICCE-Asia 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] A Method to Prevent Known Attacks and Their Variants by Combining Honeypots and IPS2022
- Author(s)
  Yudai Yamamoto, Shingo Yamaguchi
- Organizer
  IEEE GCCE 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] Research and Development of Botnet Defense System2022
- Author(s)
  Yamaguchi Shingo
- Organizer
  HCII 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] On Application of Botnet Defense System to IoT Systems Including Private Networks2022
- Author(s)
  Shingo Yamaguchi, Daisuke Makihara
- Organizer
  IEEE ICCE-TW 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] On Directional Spread of White-hat Botnet by Heterogeneous Use in Botnet Defence System2022
- Author(s)
  Kazuki Ohsaki, Shingo Yamaguchi
- Organizer
  IEEE ICCE-Asia 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K12028
[Presentation] On Directional Spread of White-hat Botnet by Heterogeneous Use in Botnet Defence System2022
- Author(s)
  Kazuki Ohsaki, Shingo Yamaguchi
- Organizer
  IEEE ICCE-Asia 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Mathematical Modeling and Analysis of the Dictionary Attack Mechanism in IoT Malware Mirai2022
- Author(s)
  Gaku Tatebatake, Shingo Yamaguchi
- Organizer
  IEEE ICCE-Asia 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] A Method to Prevent Known Attacks and Their Variants by Combining Honeypots and IPS2022
- Author(s)
  Yudai Yamamoto, Shingo Yamaguchi
- Organizer
  IEEE GCCE 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Mitigating Botnet Based DDoS Attacks by Selecting Incentivized Cooperating ISPs for Risk Transfer2021
- Author(s)
  Amrita Dahiya, B.B. Gupta, Shingo Yamaguchi, Kostas Psannis
- Organizer
  IEEE ICCE 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] On Application of Botnet Defense System to IoT Systems Including Private Networks2021
- Author(s)
  Shingo Yamaguchi
- Organizer
  IEEE ICCE-TW 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] A Basic Command and Control Strategy in Botnet Defense System2021
- Author(s)
  Shingo Yamaguchi
- Organizer
  IEEE ICCE 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] A Proposal of Heterogeneous White-Hat Botnet in Botnet Defense System2021
- Author(s)
  Kazuki Ohsaki, Shingo Yamaguchi
- Organizer
  IEEE ICCE-Asia 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] On Tactics to Deploy White-Hat Worms in Botnet Defense System2021
- Author(s)
  Taku Kageyama, Shingo Yamaguchi
- Organizer
  IEEE GCCE 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] A Proposal of Patrol Function by White-Hat Worm in Botnet Defense System2021
- Author(s)
  Daisuke Makihara, Shingo Yamaguchi
- Organizer
  IEEE ICCE-Asia 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] ボットネット防衛システムの研究開発2021
- Author(s)
  山口真悟
- Organizer
  第34回回路とシステムワークショップ
- Invited
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Machine-Learning-Based White-Hat Worm Launcher Adaptable to Large-Scale IoT Network2021
- Author(s)
  Xiangnan Pan, Shingo Yamaguchi, Taku Kageyama
- Organizer
  IEEE GCCE 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] An End-To-End Security Framework for Smart Healthcare Information Sharing Against Botnet-Based Cyber-Attacks2021
- Author(s)
  Megha Quamara, B. B. Gupta, Shingo Yamaguchi
- Organizer
  IEEE ICCE 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Botnet Defense System and Its Basic Strategy Against Malicious Botnet2020
- Author(s)
  Shingo Yamaguchi
- Organizer
  IEEE ICCE-TW 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Botnet Defense System: Concept and Basic Strategy2020
- Author(s)
  Shingo Yamaguchi
- Organizer
  IEEE ICCE 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] White-Hat Worm Launcher Based on Deep Learning in Botnet Defense System2020
- Author(s)
  Mohd Hafizuddin Bin Kamilin, Shingo Yamaguchi
- Organizer
  IEEE ICCE-Asia 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Influence Analysis of Network Density on White-Hat Worm and Basic Strategy for Botnet Defense System2020
- Author(s)
  Shingo Yamaguchi
- Organizer
  ECTI-CON 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] ボットネット防衛システムの提案と基本戦略について2020
- Author(s)
  山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Formal modeling and analysis of battle between IoT malware Mirai and IoT worm Hajime2019
- Author(s)
  Shingo Yamaguchi
- Organizer
  ECTI-CON 2019
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Modeling and Evaluation of IoT Worm with Lifespan and Secondary Infectivity by Agent-Oriented Petri Net PN22019
- Author(s)
  Shingo Yamaguchi
- Organizer
  IEEE ICCE-TW 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] Quantitative Evaluation of Hajime with Secondary Infectivity in Response to Mirai's Infection Situation2019
- Author(s)
  Hiroaki Tanaka, Shingo Yamaguchi, Monika Mikami
- Organizer
  IEEE GCCE 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11965
[Presentation] マルチカーマルチ昇降路エレベータシステムの設置問題に対するCPN Toolsを用いた解法と考察2014
- Author(s)
  石田憲秀,山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  愛媛大学(松山市)
- Year and Date
  2014-03-06
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] マルチカーシングルシャフトエレベータの群管理制御アルゴリズムを性能評価するための簡易的な数理モデルの提案2014
- Author(s)
  石丸隼也, 山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  愛媛大学工学部（松山市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] S-ringとSPINに基づくエレベータ群管理制御器モデル検査システムEclairの実現と検査能力について2014
- Author(s)
  長藤和也, 山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  愛媛大学工学部（松山市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] マルチカーシングル昇降路エレベータの群管理制御アルゴリズムを性能評価するための簡易的な数理モデルの提案2014
- Author(s)
  石丸隼也,山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  愛媛大学(松山市)
- Year and Date
  2014-03-06
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] マルチカーマルチシャフトエレベータシステムの設置問題に対するCPN Toolsを用いた解法と考察2014
- Author(s)
  石田憲秀, 山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  愛媛大学工学部（松山市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] S-ringとSPINに基づくエレベータ群管理制御器モデル検査システムE^´ clairの実現と検査能力について2014
- Author(s)
  長藤和也,山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  愛媛大学(松山市)
- Year and Date
  2014-03-06
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] Multi-car multi-shaft elevator system design problem and a solution method based on CPN Tools2013
- Author(s)
  Ishida Norihide, Shingo Yamaguchi
- Organizer
  IEEE GCCE 2013
- Place of Presentation
  幕張メッセ（千葉市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] Multi-car multi-shaft elevator system design problem and a solution method based on CPN Tools2013
- Author(s)
  Ishida Norihide, Shingo Yamaguchi
- Organizer
  Proc. of IEEE GCCE 2013
- Place of Presentation
  幕張メッセ(千葉市)
- Year and Date
  2013-10-04
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] S-ring と SPINに基づくエレベータ群管理制御器開発支援システムEclairの開発2013
- Author(s)
  長藤和也, 山口真悟, 洲崎武史
- Organizer
  第22回計測自動制御学会中国支部学術講演会論文集
- Place of Presentation
  山口大学工学部（宇部市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] A verification method of soundizability under protocol inheritance for acyclic free choice workflow nets2013
- Author(s)
  Huan Wu, Shingo Yamaguchi
- Organizer
  IEEE TENCON 2013
- Place of Presentation
  西安市（中国）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] A formal method of developing eleva- tor group controllers based on S-ring and SPIN2013
- Author(s)
  Shingo Yamaguchi, Kazuya Nagafuji
- Organizer
  Proc. of IEEE GCCE 2013
- Place of Presentation
  幕張メッセ(千葉市,査読有)
- Year and Date
  2013-10-04
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] Reachability analysis for sound extended free-choice workflow nets2013
- Author(s)
  Shingo Yamaguchi, Daiki Kanoh
- Organizer
  International Conference on Information 2013
- Place of Presentation
  ホテルアルカディア市ヶ谷（東京）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] A formal method of developing elevator group controllers based on S-ring and SPIN2013
- Author(s)
  Shingo Yamaguchi, Kazuya Nagafuji
- Organizer
  IEEE GCCE 2013
- Place of Presentation
  幕張メッセ（千葉市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法とその応用2012
- Author(s)
  石田憲秀, 山口真悟, 上田滝平
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  JAIST東京キャンパス（東京）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] On Projection Inheritance Between Acyclic Extended Free-Choice Workflow Net and Its Subnet2012
- Author(s)
  Shingo Yamaguchi
- Organizer
  IEEE TENCON 2012
- Place of Presentation
  フィリピン・セブ
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] Modeling and Model Checking of Single-Car Multi-Shaft Elevator Systems on CPN Tools2012
- Author(s)
  Shingo Yamaguchi
- Organizer
  ITC-CSCC 2012
- Place of Presentation
  札幌コンベンションセンター
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] Modeling and Model Checking of Single-Car Multi-Shaft Elevator Systems on CPN Tools2012
- Author(s)
  Shingo Yamaguchi, Norihide Ishida, Ryohei Ueda
- Organizer
  Proc. of ITC-CSCC 2012
- Place of Presentation
  北海道大学(札幌市,査読有)
- Year and Date
  2012-07-18
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] エレベータシステムのCPN Toolsを用いた省エネルギーに関する一考察2011
- Author(s)
  上田滝平, 石田憲秀, 山口真悟
- Organizer
  平成23年度電気・情報関連学会中国支部連合大会
- Place of Presentation
  広島工業大学（広島市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] 単純Well-Structuredワークフローネットの諸性質2011
- Author(s)
  孫伯仲, 山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  山口大学（山口市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] ワークフローネットの解析問題と解析能力2011
- Author(s)
  山口真悟
- Organizer
  2011年電子情報通信学会ソサイエティ大会
- Place of Presentation
  北海道大学（札幌市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] Acyclic Well-Structuredワークフローネットの可達性判定について2011
- Author(s)
  濱野慎司, 山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  山口大学（山口市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] Acyclic拡張自由選択ワークフローネットからAcyclic Well-Structuredワークフローネットへリファクタリングするための条件について2011
- Author(s)
  孫伯仲, 山口真悟
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  沖縄県青年会館（那覇市）
- Data Source
  KAKENHI-PROJECT-23560532
[Presentation] 公開鍵暗号MEPKCのためのペトリネットの生成法およびその初等T-invariantの計算法2009
- Author(s)
  山口, 他
- Organizer
  電子情報通信学会信学技法
- Place of Presentation
  神奈川県産業振興センター
- Year and Date
  2009-01-29
- Data Source
  KAKENHI-PROJECT-17560342
[Presentation] 公開鍵暗号MEPKC のためのペトリネットの生成法およびその初等T-invariant の計算法2009
- Author(s)
  山口, 葛, 中田
- Organizer
  電子情報通信学会信学技法
- Place of Presentation
  神奈川県産業振興センター(Vol.108)
- Year and Date
  2009-01-29
- Data Source
  KAKENHI-PROJECT-17560342
[Presentation] 公開鍵暗号MEPKCの鍵生成器として利用するぺとりねっとの自動生成およびその複雑化2008
- Author(s)
  村上, 山口, 葛, 中田
- Organizer
  電子情報通信学会信学技法
- Place of Presentation
  徳島大学(Vol.107)
- Year and Date
  2008-01-29
- Data Source
  KAKENHI-PROJECT-17560342
[Presentation] 自動生成されたペトリネットの初等T-invariant の列挙アルゴリズム2007
- Author(s)
  山口, 村上, 中田, 葛
- Organizer
  電子情報通信学会信学技報
- Place of Presentation
  那覇簡易保険レクセンター(Vol.107, No.119)
- Year and Date
  2007-06-29
- Data Source
  KAKENHI-PROJECT-17560342
[Presentation] On Evaluation and Application of PARAdeg of Acyclic Structured Program Nets2006
- Author(s)
  T. Takai, S. Yamaguchi, Q.W.Ge, and M. Tanaka
- Organizer
  IEICE Technical Report
- Place of Presentation
  長崎大学(Vol.106, No.367)
- Year and Date
  2006-11-20
- Data Source
  KAKENHI-PROJECT-17560342

1. QI-WEI Ge (30263750)

# of Collaborated Projects: 2 results

# of Collaborated Products: 14 results
2. TANAKA Minoru (40112023)

# of Collaborated Projects: 2 results

# of Collaborated Products: 10 results
3. ANUARUDDIN MOHD (80804492)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
4. MIYAMOTO Toshiyuki (00294041)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Yamaguchi Shingo 山口 真悟

YAMAGUCHI Shingo 山口 真悟

山口 真吾 ヤマグチ シンゴ

Research Projects

Research Products

Co-Researchers

攻撃と対策のいたちごっこを断ち切る免疫型ボットネット防衛システムの開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of a White Hat Botnet System for Defending Against IoT Malware CyberattacksPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Realization of Multi-Car Elevator Group Controller Development System Based on Formal MethodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of a public-key cryptography MEPKC

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ネット理論に基づいた次世代の公開鍵暗号技術の開発に関する研究

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Malware - Handbook of Prevention and Detection, (Advances in Information Security)2024

Author(s)

Total Pages

Publisher

Data Source

[Book] Advances in Malware and Data-Driven Network Security2021

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] Security, Privacy, and Forensics Issues in Big Data2020

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] Prime Archives in Sensors2020

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Diffusion of White-Hat Botnet Using Lifespan with Controllable Ripple Effect for Malware Removal in IoT Networks2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Machine Learning White-Hat Worm Launcher for Tactical Response by Zoning in Botnet Defense System2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Machine-Learning-Based White-Hat Worm Launcher in Botnet Defense2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Botnet Defense System: Observability, Controllability, and Basic Command and Control Strategy2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] White-Hat Worm to Fight Malware and Its Evaluation by Agent-Oriented Petri Nets2020

Yamaguchi Shingo 山口真悟

YAMAGUCHI Shingo 山口真悟

山口真吾ヤマグチシンゴ