An Intuitionistic Linear Logical Semantics of SAND Attack Trees
Logic in Computer Science
2018-01-23 v1
Abstract
In this paper we introduce a new logical foundation of SAND attack trees in intuitionistic linear logic. This new foundation is based on a new logic called the Attack Tree Linear Logic (ATLL). Before introducing ATLL we given several new logical models of attack trees, the first, is a very basic model based in truth tables. Then we lift this semantics into a semantics of attack trees based on lineales which introduces implication, but this can be further lifted into a dialectica model which ATLL is based. One important feature of ATLL is that it supports full distributivity of sequential conjunction over choice.
Keywords
Cite
@article{arxiv.1801.06886,
title = {An Intuitionistic Linear Logical Semantics of SAND Attack Trees},
author = {Harley Eades},
journal= {arXiv preprint arXiv:1801.06886},
year = {2018}
}