Formally and Practically Relating the CK, CK-HMQV, and eCK Security Models for Authenticated Key Exchange

Cas J. F. Cremers. Formally and Practically Relating the CK, CK-HMQV, and eCK Security Models for Authenticated Key Exchange. IACR Cryptology ePrint Archive, 2009:253, 2009. [doi]

Abstract

Abstract is missing.