计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
35期
115-118
,共4页
王海燕%吴振强%种慧芳%蒋李
王海燕%吳振彊%種慧芳%蔣李
왕해연%오진강%충혜방%장리
可信计算%密钥协商协议%认证密钥协商%Canetti-Krawczyk模型
可信計算%密鑰協商協議%認證密鑰協商%Canetti-Krawczyk模型
가신계산%밀약협상협의%인증밀약협상%Canetti-Krawczyk모형
基于身份的认证密钥协商协议存在密钥托管、ID管理、ID唯一性和私钥的安全分发等问题,目前的可信计算技术为此提供了很好的解决方案.利用TPM平台中EK和tpmproof唯一性的特点,结合McCullagh-Barreto认证密钥协商协议思想,提出了一个在可信计算环境下基于TPM的认证密钥协商协议,该协议较好地解决了上述基于身份的密钥协商协议所存在的问题.用CK模型对所提协议进行了安全性分析,结果表明该协议具备已知密钥安全性,完善前向保密性及密钥泄露安全性等CK安全模型下相应的安全属性.
基于身份的認證密鑰協商協議存在密鑰託管、ID管理、ID唯一性和私鑰的安全分髮等問題,目前的可信計算技術為此提供瞭很好的解決方案.利用TPM平檯中EK和tpmproof唯一性的特點,結閤McCullagh-Barreto認證密鑰協商協議思想,提齣瞭一箇在可信計算環境下基于TPM的認證密鑰協商協議,該協議較好地解決瞭上述基于身份的密鑰協商協議所存在的問題.用CK模型對所提協議進行瞭安全性分析,結果錶明該協議具備已知密鑰安全性,完善前嚮保密性及密鑰洩露安全性等CK安全模型下相應的安全屬性.
기우신빈적인증밀약협상협의존재밀약탁관、ID관리、ID유일성화사약적안전분발등문제,목전적가신계산기술위차제공료흔호적해결방안.이용TPM평태중EK화tpmproof유일성적특점,결합McCullagh-Barreto인증밀약협상협의사상,제출료일개재가신계산배경하기우TPM적인증밀약협상협의,해협의교호지해결료상술기우신빈적밀약협상협의소존재적문제.용CK모형대소제협의진행료안전성분석,결과표명해협의구비이지밀약안전성,완선전향보밀성급밀약설로안전성등CK안전모형하상응적안전속성.
