Operational Semantics and Verification of Security Protocols
-
inbunden
,
Engelska, 2012