Semantics for Specialising Attack Trees based on Linear Logic

• المؤلفون الرئيسيون: Horne, Ross, Mauw, Sjouke, Tiu, Alwen
• مؤلفون آخرون: School of Computer Science and Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2017
• الموضوعات: Semantics; Attack trees
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/83503; http://hdl.handle.net/10220/42718

Attack trees profile the sub-goals of the proponent of an attack. Attack trees have a variety of semantics depending on the kind of question posed about the attack, where questions are captured by an attribute domain. We observe that one of the most general semantics for attack trees, the multiset s...