1![Journal of Computer Security–482 IOS Press 423 A derivation system and compositional logic Journal of Computer Security–482 IOS Press 423 A derivation system and compositional logic](https://www.pdfsearch.io/img/94aa83d5b255cdb2375399d0dc2f297c.jpg) | Add to Reading ListSource URL: seclab.stanford.eduLanguage: English - Date: 2010-07-17 01:14:12
|
---|
2![Automatic Event-Stream Notarization Using Digital Signatures Bruce Schneier John Kelsey Automatic Event-Stream Notarization Using Digital Signatures Bruce Schneier John Kelsey](https://www.pdfsearch.io/img/d9250943f4f17954da992e9e02d0c713.jpg) | Add to Reading ListSource URL: www.schneier.comLanguage: English - Date: 2014-03-02 23:18:30
|
---|
3![Microsoft Word - paper-strint-johnston.docx Microsoft Word - paper-strint-johnston.docx](https://www.pdfsearch.io/img/fa6d2338660719d540eaad0d51d4f622.jpg) | Add to Reading ListSource URL: www.w3.orgLanguage: English - Date: 2014-02-07 14:41:45
|
---|
4![ABSTRACT Title of thesis: CHAUM’S PROTOCOL FOR DETECTING MAN-IN-THE-MIDDLE: ABSTRACT Title of thesis: CHAUM’S PROTOCOL FOR DETECTING MAN-IN-THE-MIDDLE:](https://www.pdfsearch.io/img/e5a3e9b99b7bea26cb732333f7bf0bd1.jpg) | Add to Reading ListSource URL: www.cisa.umbc.eduLanguage: English - Date: 2010-12-05 17:18:58
|
---|
5![Cryptanalysis of the Dragon
y Key Exchange Protocol Dylan Clarke, Feng Hao ∗ Cryptanalysis of the Dragon
y Key Exchange Protocol Dylan Clarke, Feng Hao ∗](https://www.pdfsearch.io/img/5d4bb3201213765f6de8e29671c4b5c8.jpg) | Add to Reading ListSource URL: homepages.cs.ncl.ac.ukLanguage: English - Date: 2013-06-26 17:27:57
|
---|
6![Microsoft Word - DEC00029673.doc Microsoft Word - DEC00029673.doc](https://www.pdfsearch.io/img/810ca481465844773db2aead3e5a9d09.jpg) | Add to Reading ListSource URL: sonysuit.comLanguage: English - Date: 2012-05-24 13:45:17
|
---|
7![Microsoft Word - DEC00029673.doc Microsoft Word - DEC00029673.doc](https://www.pdfsearch.io/img/7c071a319af46e58f4e37d3a85a0c68a.jpg) | Add to Reading ListSource URL: www.sonysuit.comLanguage: English - Date: 2012-05-24 13:45:17
|
---|
8![Finite-State Security Analysis of OTR Version 2 Joseph Bonneau Finite-State Security Analysis of OTR Version 2 Joseph Bonneau](https://www.pdfsearch.io/img/d2d37f19de18bb10260a20a6278b80b5.jpg) | Add to Reading ListSource URL: www.jbonneau.comLanguage: English - Date: 2014-05-03 16:10:02
|
---|
9![Finite-State Security Analysis of OTR Version 2 Joseph Bonneau Finite-State Security Analysis of OTR Version 2 Joseph Bonneau](https://www.pdfsearch.io/img/bec87a5ad9cd3274fd261398273e80f9.jpg) | Add to Reading ListSource URL: www.stanford.eduLanguage: English - Date: 2006-03-21 17:10:20
|
---|
10![Finite-State Security Analysis of OTR Version 2 Joseph Bonneau Finite-State Security Analysis of OTR Version 2 Joseph Bonneau](https://www.pdfsearch.io/img/bde45730de7dcfc687e5ca09bd2c5750.jpg) | Add to Reading ListSource URL: seclab.stanford.eduLanguage: English - Date: 2006-03-21 17:10:20
|
---|