@article{HMT17, author = {Ross Horne and Sjouke Mauw and Alwen Tiu}, title = {Semantics for Specialising Attack Trees based on Linear Logic}, journal = {Fundamenta Informaticae}, volume = {153}, number = {1-2}, pages = {57--86}, year = {2017}, publisher = {IOS Press}, url = {http://satoss.uni.lu/sjouke/papers/HMT17.pdf} }