小島 英春

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

International Conference on Information and Computer Technology, ICICT 462-467 2024年  査読有り

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

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) 2022年9月12日  査読有り責任著者

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

IEEE 19th International Conference on Software Architecture Companion 193-196 2022年3月  査読有り責任著者

Using simulated annealing for locating array construction 

Information and Software Technology 126 106346-106346 2020年10月  査読有り

Finding Minimum Locating Arrays Using a CSP Solver 

Fundamenta Informaticae 174(1) 27-42 2020年5月12日  査読有り

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

Proc. of 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) 627-635 2020年5月  査読有り筆頭著者

A Chain Code Mechanism with Data Encryption on Hyperledger Fabric 

2019年9月  査読有り筆頭著者

Implementation and Evaluation of ISDSR in Emulation Environments. 

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

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

Proc. of IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019 124-125 2019年  査読有り筆頭著者

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

Seventh International Symposium on Computing and Networking Workshops, CANDAR 2019 Workshops 14-20 2019年  査読有り筆頭著者

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

IEEE Access 7 74849-74868 2019年  査読有り

Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing 

International Journal of Software Engineering and Knowledge Engineering 28(7) 983-1000 2018年7月  査読有り

The Aggregation Point Placement Problem for Power Distribution Systems. 

IEICE Transactions 101-A(7) 1074-1082 2018年  査読有り

Finding Minimum Locating Arrays Using a SAT Solver 

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017年3月  査読有り

State space reduction techniques for model checking of MANET protocols. 

IJNC 7(1) 29-49 2017年  査読有り

Model checking techniques for state space reduction in MANET protocol verification 

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

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

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