A Trace Logic for Local Security Properties.

Ricardo Corin Sandro Etalle Pieter H. Hartel Antonio Durante

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

security properties
security analysis
formal model
security requirements
security protocols
formal methods
security vulnerabilities
key agreement
cryptographic protocols