Unwinding Possibilistic Security Properties.

Published in: ESORICS (2000)

Keyphrases

security properties
formal model
security analysis
security requirements
security protocols
security vulnerabilities
formal methods
key agreement
object oriented
knowledge management
lightweight
smart card