@misc{indiciaeac1d861ae0d4,
  title = {On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory},
  author = {Hideaki Nishihara and Yasuyuki Kawanishi and Daisuke Souma and Hirotaka Yoshida},
  year = {2022},
  url = {https://arxiv.org/abs/2204.06223},
  note = {Source identifier: 2204.06223}
}