On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory

Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma +1

In security analysis, attack trees are a major tool for showing the structural decomposition of attacks and for supporting the evaluation of the quantitative properties (called att…