Hideaki Nishihara

According to our database, Hideaki Nishihara authored at least 17 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Study of The Risk Quantification Method of Cyber-Physical Systems focusing on Direct-Access Attacks to In-Vehicle Networks.

Yasuyuki Kawanishi, Hideaki Nishihara, Hideki Yamamoto, Hirotaka Yoshida, Hiroyuki Inoue

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., March, 2023

A Study on Threat Analysis and Risk Assessment Based on the "Asset Container" Method and CWSS.

Yasuyuki Kawanishi, Hideaki Nishihara, Hirotaka Yoshida, Hideki Yamamoto, Hiroyuki Inoue

IEEE Access, 2023

2022

On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory.

Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida

CoRR, 2022

Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors.

Jun Inoue, Hideaki Nishihara, Akira Mori

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

Assurance Carrying Code for Software Supply Chain.

Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

A Study of The Risk Quantification Method focusing on Direct-Access Attacks in Cyber-Physical Systems.

Yasuyuki Kawanishi, Hideaki Nishihara, Hirotaka Yoshida, Yoichi Hata

Proceedings of the IEEE Intl Conf on Dependable, 2021

2020

On Validating Attack Trees with Attack Effects.

Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida

Proceedings of the Computer Safety, Reliability, and Security, 2020

2019

A Comparative Study of JASO TP15002-Based Security Risk Assessment Methods for Connected Vehicle System Design.

Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida, Yoichi Hata

Secur. Commun. Networks, 2019

2018

Comparing Risk Identification in Hazard Analysis and Threat Analysis.

Hideaki Nishihara, Kenji Taguchi

Proceedings of the Computer Safety, Reliability, and Security, 2018

A Study on Quantitative Risk Assessment Methods in Security Design for Industrial Control Systems.

Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida, Yoichi Hata

Proceedings of the 2018 IEEE 16th Intl Conf on Dependable, 2018

2017

Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002.

Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida

Proceedings of the Computer Safety, Reliability, and Security, 2017

2015

Safe & Sec Case Patterns.

Kenji Taguchi, Daisuke Souma, Hideaki Nishihara

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Formal Specification Based Automatic Test Generation for Embedded Network Systems.

Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki

J. Appl. Math., 2014

Linking Traceability with GSN.

Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Building a Body of Knowledge on Model Checking for Software Development.

Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2009

Model checking education for software engineers in Japan.

Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno

ACM SIGCSE Bull., 2009

2008

Detecting mastication by using microwave Doppler sensor.

Saeko Tanigawa, Hideaki Nishihara, Shigeo Kaneda, Hirohide Haga

Proceedings of the 1st ACM International Conference on Pervasive Technologies Related to Assistive Environments, 2008