Back to Results
First PageMeta Content
Ciphertext indistinguishability / Public-key cryptography / Internet Key Exchange / Whitfield Diffie / Index of cryptography articles / Station-to-Station protocol / Cryptography / Cryptographic protocols / Diffie–Hellman key exchange


Formal Proofs of Cryptographic Security of Diffie-Hellman-based Protocols Arnab Roy1 , Anupam Datta2 , John C. Mitchell1 1 2
Add to Reading List

Document Date: 2007-10-07 02:05:31

Open Document

File Size: 300,08 KB

Share Result on Facebook

City

Hellman / /

Company

computational PCL / Microsoft / /

/

Event

Product Issues / FDA Phase / /

Facility

Carnegie Mellon University / Stanford University / /

IndustryTerm

network security protocols / virtual private networks / probabilistic polynomial-time algorithm / intermediate protocol / revised standard key management protocol / proof systems / standardized protocols / Internet Key Exchange / network protocols / secretive protocol / secretive protocols / /

OperatingSystem

Microsoft Windows / /

Organization

Stanford University / Carnegie Mellon University / Pittsburgh / /

Position

IND-CPA / MS-IND-CPA / /

Product

Internet Key Exchange / DHKE / A0 / IKEv2 / CTX0 / DH0 / /

SportsLeague

Stanford University / /

Technology

encryption / Diffie-Hellman-based key exchange protocols / cryptography / public key / Modelling protocols / Hellman-based Protocols / example protocol / secretive protocol / network security protocols / intermediate protocol / 3.2 Secretive Protocols / private key / two protocols / secret key / probabilistic polynomial-time algorithm / simulation / key management protocol / network protocols / /

SocialTag