Finite-State Security Analysis of OTR Version 2 Joseph Bonneau

First Page		Document Content
Date: 2006-03-21 17:10:20 Diffie–Hellman key exchange Public-key cryptography Key exchange Shared secret Man-in-the-middle attack Interlock protocol Cryptography Cryptographic protocols Off-the-Record Messaging		Finite-State Security Analysis of OTR Version 2 Joseph Bonneau Add to Reading List Source URL: seclab.stanford.edu Download Document from Source Website File Size: 104,51 KB Share Document on Facebook

	Journal of Computer Security–482 IOS Press 423 A derivation system and compositional logic DocID: 1kaIs - View Document
	Automatic Event-Stream Notarization Using Digital Signatures Bruce Schneier John Kelsey DocID: 13EQw - View Document
	Microsoft Word - paper-strint-johnston.docx DocID: IJOX - View Document
	ABSTRACT Title of thesis: CHAUM’S PROTOCOL FOR DETECTING MAN-IN-THE-MIDDLE: DocID: vu36 - View Document
	Cryptanalysis of the Dragony Key Exchange Protocol Dylan Clarke, Feng Hao ∗ DocID: e3i6 - View Document