Daisuke Souma

11 papers B 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory.
CoRR
Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida
2020 B conf
On Validating Attack Trees with Attack Effects.
SAFECOMP
Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida
2019 J jnl
A Comparative Study of JASO TP15002-Based Security Risk Assessment Methods for Connected Vehicle System Design.
Secur. Commun. Networks
Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida, Yoichi Hata
2018 — conf
A Study on Quantitative Risk Assessment Methods in Security Design for Industrial Control Systems.
DASC/PiCom/DataCom/CyberSciTech
Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida, Yoichi Hata
2018 — conf
Counter Attacks for Bus-off Attacks.
SAFECOMP Workshops
Daisuke Souma, Akira Mori, Hideki Yamamoto, Yoichi Hata
2017 — conf
Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002.
SAFECOMP Workshops
Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida
2015 — conf
Safe & Sec Case Patterns.
SAFECOMP Workshops
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara
2014 — conf
Linking Traceability with GSN.
ISSRE Workshops
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai
2012 — conf
Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++.
VSTTE
Nguyen Van Tang, Daisuke Souma, Goro Hatayama, Hitoshi Ohsaki
2011 J jnl
Minimal subvarieties of involutive residuated lattices.
Reports Math. Log.
Daisuke Souma
2007 J jnl
An Algebraic Approach to the Disjunction Property of Substructural Logics.
Notre Dame J. Formal Log.
Daisuke Souma