Daisuke Souma

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.

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

Hirotaka Yoshida, Hideaki Nishihara, Yasuyuki Kawanishi, 2017, SAFECOMP Workshops.

1A22 Security Evaluation for Communication Based Train Control System Using Attack Tree Method(Electrical-Power)

Hidenori Kuwakado, Kenji Taguchi, Shunsuke Yatabe, 2015 .

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

Hirotaka Yoshida, Hideaki Nishihara, Yasuyuki Kawanishi, 2018, 2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech).

Linking Traceability with GSN

Kenji Taguchi, Toshinori Takai, Hideaki Nishihara, 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

Minimal subvarieties of involutive residuated lattices

Daisuke Souma, 2011, Reports Math. Log..

Counter Attacks for Bus-off Attacks

Hideki Yamamoto, Akira Mori, Daisuke Souma, 2018, SAFECOMP Workshops.

Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++

Hitoshi Ohsaki, Daisuke Souma, Nguyen Van Tang, 2012, VSTTE.

An Algebraic Approach to the Disjunction Property of Substructural Logics

Daisuke Souma, 2007, Notre Dame J. Formal Log..

On Validating Attack Trees with Attack Effects

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

Safe & Sec Case Patterns

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