Daisuke Souma

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 7

Top Topics

Malicious Attacks

Risk Assessment

Abstract Argumentation

Chosen Plaintext

Top Venues

SAFECOMP Workshops

Secur. Commun. Networks

ISSRE Workshops

Publications

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)
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)
Daisuke Souma, Akira Mori, Hideki Yamamoto, Yoichi Hata
Counter Attacks for Bus-off Attacks. 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)
Nguyen Van Tang, Daisuke Souma, Goro Hatayama, Hitoshi Ohsaki
Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++. VSTTE (2012)
Daisuke Souma
Minimal subvarieties of involutive residuated lattices. Reports Math. Log. 46 (2011)
Daisuke Souma
An Algebraic Approach to the Disjunction Property of Substructural Logics. Notre Dame J. Formal Log. 48 (4) (2007)