Hideaki Nishihara

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 11

Top Topics

Risk Assessment

Test Generation

Formal Specification

Deterministic Finite Automaton

Top Venues

SAFECOMP Workshops

ISSRE Workshops

Secur. Commun. Networks

Publications

Yasuyuki Kawanishi, Hideaki Nishihara, Hideki Yamamoto, Hirotaka Yoshida, Hiroyuki Inoue
A Study of The Risk Quantification Method of Cyber-Physical Systems focusing on Direct-Access Attacks to In-Vehicle Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 106 (3) (2023)
Yasuyuki Kawanishi, Hideaki Nishihara, Hirotaka Yoshida, Hideki Yamamoto, Hiroyuki Inoue
A Study on Threat Analysis and Risk Assessment Based on the "Asset Container" Method and CWSS. IEEE Access 11 (2023)
Jun Inoue, Hideaki Nishihara, Akira Mori
Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors. QRS (2022)
Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida
On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory. CoRR (2022)
Yasuyuki Kawanishi, Hideaki Nishihara, Hirotaka Yoshida, Yoichi Hata
A Study of The Risk Quantification Method focusing on Direct-Access Attacks in Cyber-Physical Systems. DASC/PiCom/CBDCom/CyberSciTech (2021)
Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa
Assurance Carrying Code for Software Supply Chain. ISSRE Workshops (2021)
Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida
On Validating Attack Trees with Attack Effects. SAFECOMP (2020)
Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida, Yoichi Hata
A Comparative Study of JASO TP15002-Based Security Risk Assessment Methods for Connected Vehicle System Design. Secur. Commun. Networks 2019 (2019)
Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida, Yoichi Hata
A Study on Quantitative Risk Assessment Methods in Security Design for Industrial Control Systems. DASC/PiCom/DataCom/CyberSciTech (2018)
Hideaki Nishihara, Kenji Taguchi
Comparing Risk Identification in Hazard Analysis and Threat Analysis. SAFECOMP Workshops (2018)
Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida
Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002. SAFECOMP Workshops (2017)
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara
Safe & Sec Case Patterns. SAFECOMP Workshops (2015)
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai
Linking Traceability with GSN. ISSRE Workshops (2014)
Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki
Formal Specification Based Automatic Test Generation for Embedded Network Systems. J. Appl. Math. 2014 (2014)
Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki
Building a Body of Knowledge on Model Checking for Software Development. COMPSAC (2013)
Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno
Model checking education for software engineers in Japan. ACM SIGCSE Bull. 41 (2) (2009)
Saeko Tanigawa, Hideaki Nishihara, Shigeo Kaneda, Hirohide Haga
Detecting mastication by using microwave Doppler sensor. PETRA (2008)