論文 - 小島　英春

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

Model checking techniques for state space reduction in MANET protocol verification

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

2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW)     509 - 516   2016年

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

DOI

組み合わせインタラクションテストにおけるBDDを用いた制約処理法の性能評価

坂野宏樹, 中川博之, 小島英春, 土屋達弘  ( 共著 )

電子情報通信学会論文誌 D   J98-D ( 3 ) 384-395 - 395   2015年03月

研究論文（学術雑誌）  日本語

J-GLOBAL

多数決投票を用いた分散システムの可用性の最大化

松井 佑記, 小島 英春, 土屋 達弘  ( 共著 )

情報処理学会論文誌   55 ( 3 ) 1177 - 1185   2014年03月

研究論文（学術雑誌）  日本語

CiNii

Applying parameter value weighting to a practical application

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

2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW)     130 - 131   2014年

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

DOI

On the Availability of Replicated Data Managed by Hierarchical Voting

Yuuki Ueda, Hideharu Kojima, Tatsuhiro Tsuchiya  ( 共著 )

PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CLOUD COMPUTING COMPANION (ISCC-C)     313 - 316   2014年

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

DOI

Modeling the Interaction of Power Line and SCADA Networks

Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya  ( 共著 )

2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING (HASE)     261 - 262   2014年

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

DOI

Locating a Faulty Interaction in Pair-Wise Testing

Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya  ( 共著 )

2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014)     155 - 156   2014年

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

DOI

Applying Random Testing to Constrained Interaction Testing.

Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya  ( 共著 )

The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013.     193 - 198   2014年

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

A value weighting method for pair-wise testing

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

Proceedings - Asia-Pacific Software Engineering Conference, APSEC   1   99 - 105   2013年

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

DOI

A New Generation Children Tracking System Using Bluetooth MANET Composed of Android Mobile Terminals

Koki Morii, Koji Taketa, Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda  ( 共著 )

2012 9TH INTERNATIONAL CONFERENCE ON UBIQUITOUS INTELLIGENCE & COMPUTING AND 9TH INTERNATIONAL CONFERENCE ON AUTONOMIC & TRUSTED COMPUTING (UIC/ATC)     405 - 407   2012年

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

DOI

Maximizing Availability of Consistent Data in Unreliable Networks

Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya  ( 共著 )

PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012)     117 - 123   2012年

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

DOI

A self-configurable new generation children tracking system based on mobile ad hoc networks consisting of android mobile terminals

Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda, Atsushi Ito  ( 共著 )

Proceedings - 2011 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011     339 - 342   2011年

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

DOI

A transition reduction method for FSM of MANET routing protocol with blacklist

Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda  ( 共著 )

Proceedings - 2011 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011     611 - 616   2011年

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

DOI

Resource management middleware using mobile agents for mobile ad hoc networks

Akihiro Yamanouchi, Takeshi Hashimoto, Tomoyuki Ohta, Hideharu Kojima, Yoshiaki Kakuda  ( 共著 )

Proceedings - International Conference on Distributed Computing Systems     1 - 6   2010年

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

DOI

An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols

Hideharu Kojima, Juichi Takahashi, Tomoyuki Ohta, Yoshiaki Kakuda  ( 共著 )

IEICE TRANSACTIONS ON COMMUNICATIONS   E92B ( 3 ) 794 - 806   2009年03月

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

DOI

A Model for Concurrent States and Its Coverage Criteria

Hideharu Kojima, Juichi Takahashi, Tomoyuki Ohta, Yoshiaki Kakuda  ( 共著 )

ISADS 2009: 2009 INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS     363 - +   2009年

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

DOI

MANETプロトコルの仕様適合性試験のための状態遷移図縮退手法

小島 英春, 大田 知行, 角田 良明, 高橋 寿一  ( 共著 )

電子情報通信学会論文誌. B, 通信 = The transactions of the Institute of Electronics, Information and Communication Engineers. B   91 ( 4 ) 353 - 363   2008年04月

研究論文（学術雑誌）  日本語

CiNii

Coverage Based Testing for Concurrent Software.

Juichi Takahashi, Hideharu Kojima, Zengo Furukawa  ( 単著 )

28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China     533 - 538   2008年

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

DOI

State transition model for test sequence generation of MANET clustering protocols

Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda  ( 共著 )

Proceedings - International Conference on Distributed Computing Systems     55   2007年

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

DOI

Development of testbed framework for ad hoc networks

Shinji Yamashita, Rika Furukawa, Tomoyuki Ohta, Hideharu Kojima, Yoshiaki Kakuda  ( 共著 )

Proc. Wireless Personal Multimedia Communications (WPMC2005)   1   383 - 387   2005年09月

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

CiNii

jShio - A customization language compiler-compiler

H Kojima, R Adams  ( 共著 )

OOIS 2001: 7TH INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS     345 - 354   2001年

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