Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Proof Techniques for Cryptographic Protocols -- Type Structure for Low-Level Programming Languages...”