Rchr
J-GLOBAL ID：201101002708257086
Update date: Sep. 28, 2023
Nishihara Hideaki
Nishihara Hideaki
Affiliation and department：
Research field (3)：
Information security
, Geometry
, Software
Research keywords (5)：
Safety
, Formal approach
, Security
, Software
, 形式手法
Research theme for competitive and other funds (1)：
- 2023 - 2026 Developing a programming language for automatic synthesis of assurance cases
Papers (19)：
-
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. 2023. 106. 3. 341-349
-
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. 2023. 11. 18148-18156
-
Jun Inoue 0001, Hideaki Nishihara, Akira Mori. Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors. QRS. 2022. 1057-1068
-
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. abs/2204.06223
-
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. 298-305
ｍore...
MISC (7)：
-
川西 康之, 西原 秀明, 吉田 博隆, 山本 秀樹. サイバーフィジカルシステムの効率の良いセキュリティ設計のためのリスク分析手順の検討. 2022年暗号と情報セキュリティシンポジウム概要集. 2022
-
川西 康之, 西原 秀明, 吉田 博隆, 畑 洋一. 自動車システムにおける「物理アクセス」脅威に着目したリスク数値化手法の検討. 2021年暗号と情報セキュリティシンポジウム概要集. 2021
-
Kawanishi Yasuyuki, Nishihara Hideaki, Yoshida Hirotaka, Hata Yoichi. A study on selection of security functional requirements in common criteria using morphological analysis for security design methodology. 2020 Symposium on Cryptography and Information Security. 2020
-
Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hideki Yamamoto. On the tree decomposition of threats and the security analysis based on JASO TP15002. 2019
-
川西康之, 畑洋一, 西原秀明, 相馬大輔, 吉田博隆. A Study on Quantification of Risk Assessment in Security Design. SEIテクニカルレビュー. 2018. 193. 20-25
ｍore...
Professional career (1)：
Work history (4)：
- 2014/04 - 現在 産業技術総合研究所 主任研究員
- 2013/04 - 2014/03 産業技術総合研究所 主幹
- 2006/04 - 2013/03 産業技術総合研究所 研究員
- 2003/04 - 2006/03 産業技術総合研究所 特別研究員
Return to Previous Page
