论文部分内容阅读
在可信环境下，我们对密钥协商协议的形式化方法-Canetti—Krawczyk（CK）模型进行研究，对该模型中定义的攻击者三种攻击能力重新进行分析．发现在可信环境下，如果用户的签名／验证公私钥对是由TPM生成的，则CK模型中的攻击者只有一种攻击能力：会话密钥查询（session-key query）；否则攻击者有两种攻击能力：会话密钥查询和一种新的攻击能力-长期私钥攻陷攻击（long-term private key corruption）．另外，TPM克服了CK模型中基于加密算法认证器的安全缺陷．在此基