Security Properties of Ring Brackets.

Published in: CSFW (1989)

Keyphrases

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