Papers 【 display / non-display 】

Papers 【 display / non-display 】

• 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  ( Single Author )

  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

  Research paper (international conference proceedings)  English

  DOI

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

  Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya  ( Multiple Authorship )

  IEEE 19th International Conference on Software Architecture Companion     193 - 196   2022.03

  Research paper (international conference proceedings)  English

  DOI

• Using simulated annealing for locating array construction

  Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya  ( Single Author )

  Information and Software Technology   126   106346 - 106346   2020.10

  Research paper (scientific journal)  English

  DOI arXiv

• Finding Minimum Locating Arrays Using a CSP Solver

  Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya  ( Single Author )

  Fundamenta Informaticae   174 ( 1 ) 27 - 42   2020.05

  Research paper (scientific journal)  English

  DOI

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

  Hideharu Kojima, Naoto Yanai  ( Single Author )

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

  Research paper (international conference proceedings)  English

  DOI

display all >>

Review Papers 【 display / non-display 】

Review Papers 【 display / non-display 】

• An Access Control Method Based on Attribute-Based Encryption for Smart Contracts

  佐伯美緒, 小島英春, 矢内直人, 土屋達弘  ( Single Work )

  情報科学技術フォーラム講演論文集   19th   2020

  Introduction and explanation (bulletin of university, research institution)  Japanese

  J-GLOBAL

• An Implementation of Chain Code Applications with Data Encryption

   ( Single Work )

    ( 2019 ) 577 - 580   2019.10

  Introduction and explanation (bulletin of university, research institution)  Japanese

  CiNii

• Improvement and implementation of a natural language processing based goal classification method for the KAOS goal model

  石丸 将生, 小島 英春, 土屋 達弘  ( Single Work )

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 ( 電子情報通信学会 ) 117 ( 465 ) 13 - 18   2018.03

  Introduction and explanation (bulletin of university, research institution)  Japanese

  CiNii

• On generating locating arrays using simulated annealing

   ( Single Work )

    117 ( 444 ) 31 - 35   2018.02

  Introduction and explanation (bulletin of university, research institution)  Japanese

  CiNii

• A SAT-based method for generating locating arrays

   ( Single Work )

    117 ( 301 ) 147 - 152   2017.11

  Introduction and explanation (bulletin of university, research institution)  Japanese

  CiNii

display all >>