Login / Signup
sfATM: A Logic for Quantitative Security Properties on Attack Trees.
Stefano M. Nicoletti
Milan Lopuhaä-Zwakenberg
Ernst Moritz Hahn
Mariëlle Stoelinga
Published in:
SEFM (2023)
Keyphrases
</>
security properties
security vulnerabilities
key agreement
formal model
security requirements
security analysis
security protocols
diffie hellman
cryptographic protocols
formal methods
authentication protocol
tree structure