The ZRTP Protocol - Analysis on the Diffie-Hellman mode
Citation:
Riccardo Bresciani, The ZRTP Protocol - Analysis on the Diffie-Hellman mode, June, 2009Download Item:
Abstract:
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.
Sponsor
Grant Number
Science Foundation Ireland
08/RFP/CMS1277
Author's Homepage:
http://people.tcd.ie/bresciarhttp://people.tcd.ie/bresciar
Description:
PUBLISHED
Author: BRESCIANI, RICCARDO
Sponsor:
Science Foundation IrelandType of material:
ReportCollections
Availability:
Full text availableKeywords:
Protocol Verification, ZRTPMetadata
Show full item recordLicences: