Hideaki Nishihara

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

Hirotaka Yoshida, Hideki Yamamoto, Yasuyuki Kawanishi, 2022, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences.

Safe & Sec Case Patterns

Kenji Taguchi, Hideaki Nishihara, Daisuke Souma, 2014, SAFECOMP Workshops.

Model checking education for software engineers in Japan

Toshiaki Aoki, Kenji Taguchi, Hideaki Nishihara, 2009, SGCS.

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

Hirotaka Yoshida, Hideaki Nishihara, Yasuyuki Kawanishi, 2019, Secur. Commun. Networks.

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

Hirotaka Yoshida, Yasuyuki Kawanishi, Hideaki Nishihara, 2022, ArXiv.

On Validating Attack Trees with Attack Effects

Hirotaka Yoshida, Hideaki Nishihara, Yasuyuki Kawanishi, 2020, SAFECOMP.

Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors

A. Mori, Hideaki Nishihara, Jun Inoue, 2022, 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS).