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