Semantics for specialising attack trees based on linear logic

DOI10.3233/FI-2017-1531MaRDI QIDQ4599815zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ross Horne, Sjouke Mauw, Alwen Tiu

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

attack treescalculus of structurescausalitylinear logicsemantics

Mathematics Subject Classification ID

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

Recommendations

• Information Security and Cryptology - ICISC 2005
• Attack trees in Isabelle
• Attack-defense trees
• Model Checking Exact Cost for Attack Scenarios
• OWA trees and their role in security modeling using attack trees

Cited in

(8)

• On orderings in security models
• Is my attack tree correct?
• Attack trees in Isabelle
• The sub-additives: a proof theory for probabilistic choice extending linear logic
• Constructing weak simulations from linear implications for processes with private names
• Information Security and Cryptology - ICISC 2005
• Adversarial formal semantics of attack trees and related problems
• Logic programming with multiplicative structures

This page was built for publication: Semantics for specialising attack trees based on linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4599815)