論文 - 小島　英春

Performance Evaluation of ID-Based Aggregate Signature Scheme Based on Lattice for Wireless Multi-hop Secure Routing Protocols.

Seiya Ookura, Hideharu Kojima, Naoto Yanai  ( 共著 )

International Conference on Information and Computer Technology     462 - 467   2024年03月

研究論文（国際会議プロシーディングス）  英語

DOI

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

大倉 聖也, 小島 英春  ( 共著 )

第33回電子情報通信学会ネットワークソフトウェア研究会予稿集     53 - 54   2024年01月

研究論文（研究会，シンポジウム資料等）  日本語

ライトニングネットワークにおけるシミュレータの開発に向けて

金丸 剛, 小島 英春, 土田 真也  ( 単著 )

第33回電子情報通信学会ネットワークソフトウェア研究会予稿集     56 - 56   2024年01月

研究論文（研究会，シンポジウム資料等）  日本語

経路保証プロトコルへのIDベース格子集約署名の適用へ向けて

小島英春, 矢内直人  ( 共著 )

第32回電子情報通信学会ネットワークソフトウェア研究会予稿集     2023年10月

研究論文（研究会，シンポジウム資料等）  日本語

ライトニングネットワークにおける利益を向上するノード配置に関する研究

小島英春, 土田真也  ( 単著 )

信学技報   122 ( 130 ) 76 - 81   2022年12月

研究論文（研究会，シンポジウム資料等）  日本語

Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment

Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya  ( 共著 )

2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)     1 - 6   2022年09月

研究論文（国際会議プロシーディングス）  英語

DOI

Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption.

Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya  ( 共著 )

IEEE 19th International Conference on Software Architecture Companion     193 - 196   2022年03月

研究論文（国際会議プロシーディングス）  英語

DOI

Using simulated annealing for locating array construction

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya  ( 共著 )

Information and Software Technology   126   106346 - 106346   2020年10月

研究論文（学術雑誌）  英語

DOI arXiv

Finding Minimum Locating Arrays Using a CSP Solver

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya  ( 共著 )

Fundamenta Informaticae   174 ( 1 ) 27 - 42   2020年05月

研究論文（学術雑誌）  英語

DOI

A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction

Hideharu Kojima, Naoto Yanai  ( 共著 )

Proc. of 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)     627 - 635   2020年05月

研究論文（国際会議プロシーディングス）  英語

DOI

A Chain Code Mechanism with Data Encryption on Hyperledger Fabric

Hideharu Kojima, Naoto Yanai  ( 単著 )

The 24th European Symposium on Research in Computer Security (ESORICS 2019) poster     2019年09月

研究論文（その他学術会議資料等）  英語

A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies.

Hideharu Kojima, Naoto Yanai  ( 共著 )

Seventh International Symposium on Computing and Networking Workshops, CANDAR 2019 Workshops     14 - 20   2019年

研究論文（国際会議プロシーディングス）  英語

DOI

ISDSR+: Improving the Security and Availability of Secure Routing Protocol.

Hideharu Kojima, Naoto Yanai, Jason Paul Cruz  ( 共著 )

IEEE Access   7   74849 - 74868   2019年

研究論文（学術雑誌）  英語

DOI

Implementation and Evaluation of ISDSR in Emulation Environments.

Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya  ( 共著 )

Proc. of IEEE Wireless Communications and Networking Conference (WCNC2019)     1 - 6   2019年

研究論文（国際会議プロシーディングス）  英語

DOI

A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN.

Hideharu Kojima, Naoto Yanai  ( 共著 )

Proc. of IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019     124 - 125   2019年

研究論文（国際会議プロシーディングス）  英語

DOI

Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing

Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya  ( 共著 )

International Journal of Software Engineering and Knowledge Engineering   28 ( 7 ) 983 - 1000   2018年07月

研究論文（学術雑誌）  英語

DOI

The Aggregation Point Placement Problem for Power Distribution Systems.

Hideharu Kojima, Tatsuhiro Tsuchiya, Yasumasa Fujisaki  ( 共著 )

IEICE Transactions   101-A ( 7 ) 1074 - 1082   2018年

研究論文（学術雑誌）  英語

Finding Minimum Locating Arrays Using a SAT Solver

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya  ( 共著 )

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)     2017年03月

研究論文（国際会議プロシーディングス）  英語

DOI arXiv

Performance Evaluation for the Signature Algorithm of ISDSR on Raspberry Pi.

Hideharu Kojima, Naoto Yanai  ( 共著 )

Fifth International Symposium on Computing and Networking, CANDAR 2017, Aomori, Japan, November 19-22, 2017     230 - 236   2017年

研究論文（国際会議プロシーディングス）  英語

DOI

State space reduction techniques for model checking of MANET protocols.

Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya  ( 共著 )

IJNC   7 ( 1 ) 29 - 49   2017年

研究論文（学術雑誌）  英語

DOI