6 works on record
Semantics And Verification Of Security Protocols
CONCOUR9 9, concurrency theory
Security and Trust Management
Trust Management X
Graphical Models for Security
CONCUR'99. Concurrency Theory
