Cover Image

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Soltani, Reza, Diale, Pablo, Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Computer Science and Game Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
by: Soltani, Reza, et al.
Published: (2025)

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

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

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

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

Orbital Escalation: Modeling Satellite Ransomware Attacks Using Game Theory
by: López-Morales, Efrén
Published: (2026)

Game Theory for Adversarial Attacks and Defenses
by: Sharma, Shorya
Published: (2021)

Optimal Attack and Defense for Reinforcement Learning
by: McMahan, Jeremy, et al.
Published: (2023)

Zero-determinant Strategy for Moving Target Defense: Existence, Performance, and Computation
by: Cheng, Zhaoyang, et al.
Published: (2026)

Game-Theoretic Modeling of Stealthy Intrusion Defense against MDP-Based Attackers
by: Kouam, Willie, et al.
Published: (2026)

Blockchain Bribing Attacks and the Efficacy of Counterincentives
by: Karakostas, Dimitris, et al.
Published: (2024)

Identity Chain
by: Darabi, Mahdi, et al.
Published: (2024)

Optimal Security Response to Network Intrusions in IT Systems
by: Hammar, Kim
Published: (2025)

A Game-Theoretic Approach for Security Control Selection
by: Léveillé, Dylan, et al.
Published: (2024)

Game-Theoretically Secure Distributed Protocols for Fair Allocation in Coalitional Games
by: Chan, T-H. Hubert, et al.
Published: (2024)

Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines
by: Shang, Zhenhang, et al.
Published: (2026)

Steganography and Probabilistic Risk Analysis: A Game Theoretical Framework for Quantifying Adversary Advantage and Impact
by: Omego, Obinna, et al.
Published: (2024)

Credible, Optimal Auctions via Public Broadcast
by: Chitra, Tarun, et al.
Published: (2023)

Optimal Reward Allocation via Proportional Splitting
by: Aumayr, Lukas, et al.
Published: (2025)

Optimizing Preventive and Reactive Defense Resource Allocation with Uncertain Sensor Signals
by: Shojaeighadikolaei, Faezeh, et al.
Published: (2025)

A Theoretical Approach to Stablecoin Design via Price Windows
by: Molinet, Katherine, et al.
Published: (2026)

Trustless Provenance Trees: A Game-Theoretic Framework for Operator-Gated Blockchain Registries
by: Moore, Ian C.
Published: (2026)

Safety Analysis in the NGAC Model
by: Tan, Brian, et al.
Published: (2025)

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

Cyber Deception for Mission Surveillance via Hypergame-Theoretic Deep Reinforcement Learning
by: Wan, Zelin, et al.
Published: (2026)

Inception: Efficiently Computable Misinformation Attacks on Markov Games
by: McMahan, Jeremy, et al.
Published: (2024)

A Quantal Response Analysis of Defender-Attacker Sequential Security Games
by: Azim, Md Reya Shad, et al.
Published: (2024)

With a little help from your friends: semi-cooperative games via Joker moves
by: Bos, Petra van den, et al.
Published: (2023)

Learning-Enabled Adaptive Voltage Protection Against Load Alteration Attacks On Smart Grids
by: B., Anjana, et al.
Published: (2024)

Meta Stackelberg Game: Robust Federated Learning against Adaptive and Mixed Poisoning Attacks
by: Li, Tao, et al.
Published: (2024)

CyGym: A Simulation-Based Game-Theoretic Analysis Framework for Cybersecurity
by: Lanier, Michael, et al.
Published: (2025)

A First Order Meta Stackelberg Method for Robust Federated Learning (Technical Report)
by: Li, Henger, et al.
Published: (2023)

Credit Limits beyond Full Collateralization in Decentralized Micropayments: Incentive Conditions
by: Chen, Chien-Chih, et al.
Published: (2026)

Data Sharing with Endogenous Choices over Differential Privacy Levels
by: Bassily, Raef, et al.
Published: (2026)

Strategic Liquidity Provision in Uniswap v3
by: Fan, Zhou, et al.
Published: (2021)

A Game-Theoretic Approach to the Study of Blockchain's Robustness
by: Pavloff, Ulysse
Published: (2024)

Timestamp Manipulation: Timestamp-based Nakamoto-style Blockchains are Vulnerable
by: Hu, Junjie, et al.
Published: (2025)