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