可信计算环境下的CanettiKrawczyk模型.pdf

第1期 电 子 学 报 V01．37No．1 2009年1月 ACrAEU：CTRONICASINICA Jan．2009 可信计算环境下的 C 模型 anetti--Krawczyk 李兴华1，马建峰1，一，马 卓1 (1．西安电子科技大学计算机网络与信息安全教育部重点实验室，陕西西安710071； 2．天津工业大学计算机技术与自动化学院，天津300160) 定义的攻击者三种攻击能力重新进行分析．发现在可信环境下，如果用户的签名／验证公私钥对是由TPM生成的，则 cK模型中的攻击者只有一种攻击能力：会话密钥查询(session-keyquery)；否则攻击者有两种攻击能力：会话密钥查询 和一种新的攻击能力一长期私钥攻陷攻击(10ng-termprivatekey 认证器的安全缺陷．在此基础上，我们提出了可信环境下的CK模型一cⅪ℃．之后，通过一个使用CKTC模型进行密钥 协商的例子可以看出该模型简化了可信环境下密钥协商协议的设计与分析．另外，通过分析我们发现：为了提高密钥 协商协议的安全性，不同国家应该根据各自的需要在TPM内部增加对称加解密模块；用户的签名／验证公私钥对也尽 可能由TPM来生成． 关键词： 可信计算；Canetti．Krawczyk模型 中图分类号：TP309．2文献标识码： A 文章编号： 0372．2112(2009)01．0007．06 the The ModelUnderTrusted Canetti-Krawczyk Computation LI Zhu01 Xing．hual，MAJian．fen91”，MA Networksand Education，Xidian 710071，Ch／na； of h!】formationSecurity，Ministryof University，Shaanxi，X／’an (1．研LaboratoryComputer and 300160，China) 2．College矽ComputerTechnologyAutomation，TianfinPolytechnicUniversity，Tianjin Underthetrusted rethinkthethreeattackabilitiesdefinedinthe ／№straet： environment，we for and of findthatunderthetrustedenvironmentifthe whichisaformalmethodthe designanalysiskeyagreementprotocols．We is attackerintheCKmodelhas oneattack byTPM，the only abili