Provided by: Ruhlman Enterprises, Inc.
Date Added: Jan 2014
The most widely accepted models in the security proofs of Authenticated Key Exchange protocols are the Canetti-Krawczyk model and the extended Canetti-Krawczyk model that admit different adversarial queries with ambiguities and incomparable strength. It is desirable to incorporate specific and powerful adversarial queries into a single unified security model and establish a stronger security notion. Concerning the security of one-round implicitly authenticated Diffie-Hellman key exchange protocols, the authors present a unified security model that has many advantages over the previous ones.