home
>
book reviews
> David Sinclair
Google >
David Sinclair
author : David Sinclair
Short works
Automatic approximation for the verification of cryptographic protocols. 2003.
(In
Formal Aspects of Security
)