The ZRTP Protocol - Analysis on the Diffie-Hellman mode
Citation:Riccardo Bresciani, The ZRTP Protocol - Analysis on the Diffie-Hellman mode, June, 2009
TCD-CS-2009-13.pdf (Published (publisher's copy)) 971.9Kb
ZRTP is a key agreement protocol by Philip Zimmermann, Alan Johnston and Jon Callas, which relies on a Di e-Hellman exchange to generate SRTP session parameters, providing con dentiality and protecting against Man-in-the-Middle attacks even without a public key infrastructure or endpoint certi cates. This is an analysis of the protocol performed with ProVerif, which tests security properties of ZRTP; in order to perform the analysis, the protocol has been modeled in the applied pi -calculus.
Science Foundation Ireland
Author: BRESCIANI, RICCARDO
Type of material:Report
Availability:Full text available