Operational Semantics of Security Protocols.

Cas Cremers Sjouke Mauw

Published in: Scenarios: Models, Transformations and Tools (2003)

Keyphrases

operational semantics
security protocols
formal semantics
automated design
security properties
security mechanisms
security services
artificial immune algorithm
key management
mental states
data model
security requirements
rfid tags
computational intelligence
resource constrained
activity diagrams