Semantics for Specialising Attack Trees based on Linear Logic
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...
Saved in:
Main Authors: | Horne, Ross, Mauw, Sjouke, Tiu, Alwen |
---|---|
Other Authors: | School of Computer Science and Engineering |
Format: | Article |
Language: | English |
Published: |
2017
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/83503 http://hdl.handle.net/10220/42718 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
Using a hybrid convolution tree kernel for semantic role labeling
by: Che, W., et al.
Published: (2013) -
Integrating semantic templates with decision tree for image semantic learning
by: LIU, Ying, et al.
Published: (2007) -
Semantic role labeling using a grammar-driven convolution tree kernel
by: Zhang, M., et al.
Published: (2013) -
PlantXML: A DATA EXCHANGE FORMAT FOR TREE INFORMATION
by: Lin E.S, et al.
Published: (2023) -
CoTree: a side-channel collision tool to push the limits of conquerable space
by: Ou, Changhai, et al.
Published: (2023)