Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2309.09231
Cited By
v1
v2 (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
Re-assign community
ArXiv (abs)
PDF
HTML
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
Stefano M. Nicoletti
Ernst Moritz Hahn
Mattia Fumagalli
Giancarlo Guizzardi
Marielle Stoelinga
87
0
0
18 Dec 2024
1
