Login / Signup
ATM: a Logic for Quantitative Security Properties on Attack Trees.
Stefano M. Nicoletti
Milan Lopuhaä-Zwakenberg
Ernst Moritz Hahn
Mariëlle Stoelinga
Published in:
CoRR (2023)
Keyphrases
</>
security properties
security vulnerabilities
key agreement
security analysis
security requirements
formal model
security protocols
diffie hellman
authentication protocol
formal methods
security mechanisms
smart card
knowledge base
dos attacks
cryptographic protocols
lightweight
knowledge acquisition
source code