KOJIMA Hideharu 小島英春

… Alternative Names

Hideharu Kojima 小島英春

Less

Researcher Number	90610949
Other IDs	https://orcid.org/0000-0001-5842-8120
Affiliation (Current)	2024: 大阪工業大学, 情報科学部, 准教授
Affiliation (based on the past Project Information) *help	2022 – 2024: 大阪工業大学, 情報科学部, 准教授 2018 – 2021: 大阪大学, 情報科学研究科, 助教 2012 – 2014: 大阪大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60060:Information network-related Except Principal Investigator Basic Section 60070:Information security-related / Computer system/Network
Keywords	Principal Investigator 経路保証プロトコル / 無線マルチホッププロトコル / モデル検査 / 集約署名 / 格子署名 / ルーティングプロトコル / 安全性検証 / 形式検証 / 状態爆発抑制 Except Principal Investigator 暗号実装 … More / インターネットセキュリティ / 暗号 / BGP / 格子暗号 / 暗号技術 / インターネット経路 / 情報セキュリティ / デンシティ / モビリティ / ルーティング / 自律構成 / 見守りシステム / 電力制御 / クラスタリング / MANET / アシュアランス / 自己組織化 / モバイルアドホックネットワーク / アシュアランスネットワーク Less

IDベース格子集約署名を用いた経路保証プロトコルの開発と評価Principal Investigator
- Principal Investigator
  
  小島英春
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  Osaka Institute of Technology
Realizing Internet Routing Security Based on Lattice-Based Cryptography
- Principal Investigator
  
  矢内直人
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Osaka University
経路保証プロトコルの効率的な安全性検証手法の開発Principal Investigator
- Principal Investigator
  
  小島英春
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  Osaka Institute of Technology
  Osaka University
A model checking method for secure routing protocolsPrincipal Investigator
- Principal Investigator
  
  Hideharu Kojima
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  Osaka Institute of Technology
  Osaka University
Assurance Network Design Principle and Its Application
- Principal Investigator
  
  KAKUDA Yoshiaki
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Computer system/Network
- Research Institution
  Hiroshima City University

All 2020 2019 2018 2013 2012

All Journal Article Presentation Book

[Book] ネットワークソフトウェア2013
- Author(s)
  角田良明(編者、5章および11章)、小島英春(5章)
- Publisher
  共立出版(5章:プロトコル設計、11章:ネットワークソフトウェアの将来展望)
- Data Source
  KAKENHI-PROJECT-24300028
[Journal Article] ISDSR+: Improving the Security and Availability of Secure Routing Protocol2019
- Author(s)
  Kojima Hideharu、Yanai Naoto、Cruz Jason Paul
- Journal Title
  
  IEEE Access
  
  Volume: 7 Pages: 74849-74868
- DOI
  10.1109/access.2019.2916318
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11262, KAKENHI-PROJECT-18K18049
[Journal Article] A new generation children tracking system using bluetooth MANET composed of android mobile terminals2012
- Author(s)
  Koki Morii, Koji Taketa, Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, and Yoshiaki Kakuda
- Journal Title
  
  Proc. 2012 9th IEEE International Conference on Autonomic and Trusted Computing (ATC 2012)
  
  Volume: 9 Pages: 405-407
- DOI
  10.1109/uic-atc.2012.86
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500065, KAKENHI-PROJECT-24300028
[Presentation] A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction2020
- Author(s)
  Kojima Hideharu、Yanai Naoto
- Organizer
  2020 IEEE International Parallel and Distributed Processing Symposium Workshops(APDCM2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] アドホックネットワークプロトコルのモデル検査における状態数削減手法2019
- Author(s)
  小島英春, 矢内直人
- Organizer
  第18回電子情報通信学会ネットワークソフトウエア研究会予稿集
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN2019
- Author(s)
  Hideharu Kojima, Naoto Yanai
- Organizer
  Seventh International Symposium on Computing and Networking Workshops, CANDAR 2019 Workshops
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] Implementation and Evaluation of ISDSR in Emulation Environments2019
- Author(s)
  Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya
- Organizer
  2019 IEEE Wireless Communications and Networking Conference, WCNC2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN2019
- Author(s)
  Hideharu Kojima, Naoto Yanai
- Organizer
  IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11262
[Presentation] 経路保証プロトコルを対象にしたSPIN を用いたモデル検査にむけて2018
- Author(s)
  小島英春, 矢内直人
- Organizer
  第16回電子情報通信学会ネットワークソフトウェア研究会,
- Data Source
  KAKENHI-PROJECT-18K11262

1. 矢内直人 (30737896)

# of Collaborated Projects: 3 results

# of Collaborated Products: 7 results
2. KAKUDA Yoshiaki (40233671)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. OHTA Tomoyuki (90347617)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. KOHNO Eitaro (40285432)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
5. INOUE Shinji (50264932)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 岡村真吾 (50423132)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. CRUZ JASON.PAUL (40807731)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KOJIMA Hideharu 小島 英春

Hideharu Kojima 小島 英春

Research Projects

Research Products

Co-Researchers

IDベース格子集約署名を用いた経路保証プロトコルの開発と評価Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Realizing Internet Routing Security Based on Lattice-Based Cryptography

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

経路保証プロトコルの効率的な安全性検証手法の開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A model checking method for secure routing protocolsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Assurance Network Design Principle and Its Application

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] ネットワークソフトウェア2013

Author(s)

Publisher

Data Source

[Journal Article] ISDSR+: Improving the Security and Availability of Secure Routing Protocol2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A new generation children tracking system using bluetooth MANET composed of android mobile terminals2012

Author(s)

Journal Title

DOI

Data Source

[Presentation] A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction2020

Author(s)

Organizer

Data Source

[Presentation] アドホックネットワークプロトコルのモデル検査における状態数削減手法2019

Author(s)

Organizer

Data Source

[Presentation] A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN2019

Author(s)

Organizer

Data Source

[Presentation] Implementation and Evaluation of ISDSR in Emulation Environments2019

Author(s)

Organizer

Data Source

[Presentation] A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN2019

Author(s)

Organizer

Data Source

[Presentation] 経路保証プロトコルを対象にしたSPIN を用いたモデル検査にむけて2018

Author(s)

Organizer

Data Source

KOJIMA Hideharu 小島英春

Hideharu Kojima 小島英春