Back to Results
First PageMeta Content
Cryptography / Public-key cryptography / E-commerce / Cryptographic protocols / Internet Standards / Computer security / DolevYao model / Cryptographic primitive / Digital signature / Communications protocol / BurrowsAbadiNeedham logic / XTR


Abstracting Cryptographic Protocols with Tree Automata ? David Monniaux http://www.di.ens.fr/%7Fmonniaux, ´ Laboratoire d’Informatique, Ecole
Add to Reading List

Document Date: 2007-10-18 09:44:59


Open Document

File Size: 284,93 KB

Share Result on Facebook
UPDATE