Back to Results
First PageMeta Content
Cryptography / Public-key cryptography / Authentication protocols / Symmetric-key cryptography / NeedhamSchroeder protocol / Cryptographic nonce / XTR / Digital signature / Subtyping / Security protocol notation


Types and Effects for Asymmetric Cryptographic Protocols Andrew D. Gordon Microsoft Research Cambridge, UK Alan Jeffrey
Add to Reading List

Document Date: 2010-12-15 21:36:15


Open Document

File Size: 182,33 KB

Share Result on Facebook