Show simple item record

dc.contributor.authorBRESCIANI, RICCARDO
dc.date.accessioned2012-06-27T15:40:08Z
dc.date.available2012-06-27T15:40:08Z
dc.date.createdJuneen
dc.date.issued2009
dc.date.submitted2009en
dc.identifier.citationRiccardo Bresciani, The ZRTP Protocol - Analysis on the Diffie-Hellman mode, June, 2009en
dc.identifier.otherN
dc.identifier.urihttp://hdl.handle.net/2262/64061
dc.descriptionPUBLISHEDen
dc.description.abstractZRTP 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.en
dc.description.sponsorshipScience Foundation Ireland (grant 08/RFP/CMS1277)en
dc.language.isoenen
dc.rightsYen
dc.subjectProtocol Verificationen
dc.subjectZRTPen
dc.titleThe ZRTP Protocol - Analysis on the Diffie-Hellman modeen
dc.typeReporten
dc.contributor.sponsorScience Foundation Irelanden
dc.type.supercollectionscholarly_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/bresciar
dc.identifier.peoplefinderurlhttp://people.tcd.ie/bresciar
dc.identifier.rssinternalid74560
dc.contributor.sponsorGrantNumber08/RFP/CMS1277en
dc.identifier.rssurihttps://www.cs.tcd.ie/publications/tech-reports/reports.09/TCD-CS-2009-13.pdfen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record