dc.contributor.author | BRESCIANI, RICCARDO | |
dc.date.accessioned | 2012-06-27T15:40:08Z | |
dc.date.available | 2012-06-27T15:40:08Z | |
dc.date.created | June | en |
dc.date.issued | 2009 | |
dc.date.submitted | 2009 | en |
dc.identifier.citation | Riccardo Bresciani, The ZRTP Protocol - Analysis on the Diffie-Hellman mode, June, 2009 | en |
dc.identifier.other | N | |
dc.description | PUBLISHED | en |
dc.description.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. | en |
dc.description.sponsorship | Science Foundation Ireland (grant 08/RFP/CMS1277) | en |
dc.language.iso | en | en |
dc.rights | Y | en |
dc.subject | Protocol Verification | en |
dc.subject | ZRTP | en |
dc.title | The ZRTP Protocol - Analysis on the Diffie-Hellman mode | en |
dc.type | Report | en |
dc.type.supercollection | scholarly_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/bresciar | |
dc.identifier.peoplefinderurl | http://people.tcd.ie/bresciar | |
dc.identifier.rssinternalid | 74560 | |
dc.identifier.rssuri | https://www.cs.tcd.ie/publications/tech-reports/reports.09/TCD-CS-2009-13.pdf | en |
dc.contributor.sponsor | Science Foundation Ireland | en |
dc.contributor.sponsorGrantNumber | 08/RFP/CMS1277 | en |
dc.identifier.uri | http://hdl.handle.net/2262/64061 | |