Cover Image

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Soltani, Reza, Nicoletti, Stefano M., Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Querying Fault and Attack Trees: Property Specification on a Water Network
by: Nicoletti, Stefano M., et al.
Published: (2024)

PFL: a Probabilistic Logic for Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)

ATM: a Logic for Quantitative Security Properties on Attack Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
by: Soltani, Reza, et al.
Published: (2025)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
by: Nicoletti, Stefano M., et al.
Published: (2024)

Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix)
by: Copae, Danut-Valentin, et al.
Published: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
by: Nicoletti, Stefano M., et al.
Published: (2025)

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
by: Nicoletti, Stefano M., et al.
Published: (2024)

Fuzzy Fault Trees Formalized
by: Dang, Thi Kim Nhung, et al.
Published: (2024)

Fuzzy Fault Trees: the Fast and the Formal
by: Dang, Thi Kim Nhung, et al.
Published: (2025)

CTMCs with Imprecisely Timed Observations
by: Badings, Thom, et al.
Published: (2024)

Fuzzy quantitative attack tree analysis
by: Dang, Thi Kim Nhung, et al.
Published: (2024)

Attack tree metrics are operad algebras
by: Lopuhaä-Zwakenberg, Milan
Published: (2024)

A Unified Compositional View of Attack Tree Metrics
by: Peterseim, Benedikt, et al.
Published: (2025)

Fault Tree Synthesis from Knowledge Graphs
by: Ntagengerwa, Manzi Aimé, et al.
Published: (2025)

Safe and Reliable Training of Learning-Based Aerospace Controllers
by: Mandal, Udayan, et al.
Published: (2024)

BFL: a Logic to Reason about Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2022)

Quantitative analysis of attack-fault trees via Markov decision processes
by: Lopuhaä-Zwakenberg, Milan
Published: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
by: Bombardelli, Alberto, et al.
Published: (2023)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
by: Andriushchenko, Roman, et al.
Published: (2025)

Policies Grow on Trees: Model Checking Families of MDPs
by: Andriushchenko, Roman, et al.
Published: (2024)

Weakening Goals in Logical Specifications
by: Andrew, Ben M.
Published: (2025)

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)

Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)

FTMPST: Fault-Tolerant Multiparty Session Types
by: Peters, Kirstin, et al.
Published: (2022)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

Tighter Bounds for Query Answering with Guarded TGDs
by: Amarilli, Antoine, et al.
Published: (2022)

Query Answering in Lattice-based Description Logic
by: Manoorkar, Krishna, et al.
Published: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
by: Lyon, Tim S.
Published: (2023)

Verifying SQL Queries using Theories of Tables and Relations
by: Mohamed, Mudathir, et al.
Published: (2024)

RoboCertProb: Property Specification for Probabilistic RoboChart Models
by: Ye, Kangfeng, et al.
Published: (2024)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
by: Daggitt, Matthew L., et al.
Published: (2024)

Case Study: Saturations as Explicit Models in Equational Theories
by: Janota, Mikoláš, et al.
Published: (2026)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
by: Cate, Balder ten, et al.
Published: (2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
by: Chen, Zhiyang, et al.
Published: (2024)

The Importance of Parameters in Database Queries
by: Gilad, Amir, et al.
Published: (2024)