Daisuke Souma

According to our database, Daisuke Souma authored at least 11 papers between 2007 and 2022.

Collaborative distances:

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

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

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

Counter Attacks for Bus-off Attacks.

Daisuke Souma, Akira Mori, Hideki Yamamoto, Yoichi Hata

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

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

2012

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

Nguyen Van Tang, Daisuke Souma, Goro Hatayama, Hitoshi Ohsaki

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011

Minimal subvarieties of involutive residuated lattices.

Daisuke Souma

Reports Math. Log., 2011

2007

An Algebraic Approach to the Disjunction Property of Substructural Logics.

Daisuke Souma

Notre Dame J. Formal Log., 2007