Semantics for Specialising Attack Trees based on Linear Logic

DOI10.3233/FI-2017-1531zbMath1382.68140OpenAlexW2623597181WikidataQ60692763 ScholiaQ60692763MaRDI QIDQ4599815

Alwen Tiu, Ross Horne, Sjouke Mauw

Publication date: 5 January 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2017-1531

zbMATH Keywords

causalitylinear logicsemanticsattack treescalculus of structures

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

On orderings in security models ⋮ Is my attack tree correct? ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Constructing weak simulations from linear implications for processes with private names

This page was built for publication: Semantics for Specialising Attack Trees based on Linear Logic