Composing Security Properties.

Published in: Security Protocols Workshop (1999)

Keyphrases

security properties
formal model
security analysis
security requirements
security protocols
cryptographic protocols
security vulnerabilities
formal methods
smart card
key agreement
software engineering