Formal Correctness of Security Protocols
-
inbunden
,
Engelska, 2007