Back to Results
First PageMeta Content
Cryptography / Protocol composition logic / Authentication protocols / BurrowsAbadiNeedham logic / Communications protocol / Kerberos / Public-key cryptography / Cryptographic protocol


A. Datta et al. / Protocol Composition Logic 1 Protocol Composition Logic Anupam DATTA a , John C. MITCHELL b , Arnab ROY b and
Add to Reading List

Document Date: 2010-07-17 01:14:08

Open Document

File Size: 265,60 KB

Share Result on Facebook
UPDATE