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

Documenti analoghi

• Querying Fault and Attack Trees: Property Specification on a Water Network
  di: Nicoletti, Stefano M., et al.
  Pubblicazione: (2024)
• PFL: a Probabilistic Logic for Fault Trees
  di: Nicoletti, Stefano M., et al.
  Pubblicazione: (2023)
• ATM: a Logic for Quantitative Security Properties on Attack Trees
  di: Nicoletti, Stefano M., et al.
  Pubblicazione: (2023)
• Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
  di: Soltani, Reza, et al.
  Pubblicazione: (2025)
• How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
  di: Nicoletti, Stefano M., et al.
  Pubblicazione: (2024)