eCK模型下認(rèn)證密鑰交換協(xié)議及其證明.pdf

1、隨著信息技術(shù)的不斷發(fā)展，安全越來越受得人們的關(guān)注。密碼學(xué)的主要任務(wù)就是在不安全的環(huán)境下確保安全的通信，而密鑰交換協(xié)議是一個(gè)重要的密碼學(xué)原語(yǔ)，可以讓兩方或者多方在不安全的信道上協(xié)商一個(gè)會(huì)話密鑰，從而建立一個(gè)安全的通信信道，在信息安全領(lǐng)域中通?？蓺w結(jié)為認(rèn)證密鑰交換協(xié)議問題。
　　AKE協(xié)議因其具有實(shí)現(xiàn)通信各方生成共享會(huì)話密鑰和完成相互身份認(rèn)證兩大目標(biāo)的優(yōu)點(diǎn)，得到了人們的廣泛關(guān)注。本文主要研究eCK模型下的認(rèn)證密鑰交換協(xié)議及其可證明安全

2、性。首先提出一個(gè)CK模型下安全的SIG-2AKE協(xié)議，詳細(xì)描述了協(xié)議的過程，并給出了形式化的證明，但該協(xié)議在eCK模型下是不安全的。在此基礎(chǔ)上提出了一個(gè)eCK模型下基于CDH假設(shè)的三方的認(rèn)證密鑰交換協(xié)議，該協(xié)議主要思想是基于計(jì)算性假設(shè)和兩方認(rèn)證密鑰交換協(xié)議的基礎(chǔ)上，增加了一輪的信息交互，利用參與者之間生成的量?jī)傻臅?huì)話密鑰來加密信息，從而生成三方共有的會(huì)話密鑰。并運(yùn)用陷門測(cè)試定理給出了形式化的證明該協(xié)議在eCK模型下是安全的。論文還提出一