A Trace Logic for Local Security Properties

Ricardo Corin Antonio Durante Sandro Etalle Pieter H. Hartel

Published in: CoRR (2004)

Keyphrases

security properties
formal model
security analysis
security requirements
security protocols
cryptographic protocols
security vulnerabilities
formal methods
key agreement
real time
knowledge base
case study
low cost