TY  - RPRT
TI  - On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory
AU  - Hideaki Nishihara
AU  - Yasuyuki Kawanishi
AU  - Daisuke Souma
AU  - Hirotaka Yoshida
PY  - 2022
UR  - https://arxiv.org/abs/2204.06223
ID  - 2204.06223
ER  -