ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2309.09231
  4. Cited By
ATM: a Logic for Quantitative Security Properties on Attack Trees
v1v2 (latest)

ATM: a Logic for Quantitative Security Properties on Attack Trees

17 September 2023
Stefano M. Nicoletti
Milan Lopuhaä-Zwakenberg
Ernst Moritz Hahn
Marielle Stoelinga
ArXiv (abs)PDFHTML

Papers citing "ATM: a Logic for Quantitative Security Properties on Attack Trees"

1 / 1 papers shown
Title
WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
Stefano M. Nicoletti
Ernst Moritz Hahn
Mattia Fumagalli
Giancarlo Guizzardi
Marielle Stoelinga
85
0
0
18 Dec 2024
1