葛伟伦， 葛晓滨， 陈小芳

（安徽财贸职业学院，安徽 合肥 230601）

对可信计算接入认证过程的一种改进方案

葛伟伦， 葛晓滨， 陈小芳

（安徽财贸职业学院，安徽 合肥 230601）

可信计算中的一般认证过程完全依赖平台的系统配置，因此，在平台软件和系统频繁变动的情况下协议会软化。为解决上述问题，对基本的认证协议进行改进，结合零知识证明和盲签名体制，使改进方案具有更高的安全性。分析结果证明，改进方案可以避免原认证过程的安全隐患，安全性得到提高，开销有所增加。

认证协议；零知识证明；可信计算

1 概述

在认证协议中，挑战者要求平台向其证明平台配置是可信的，平台和挑战者需要进行交互式认证，证明平台所拥有的计算机配置是安全的。在可信计算中，认证协议包括一般认证协议和基于属性的认证协议。

基本的认证协议是指遵循TCG标准的认证机制，使用平台配置S0作为基础来判断平台是否可信。但是这样的协议存在以下不足：

（1）如果挑战者，如数字内容提供者想要强制实现对一个平台的访问控制规则，则在实际情况下很难验证每个平台配置的可信性。

（2）基本认证协议的接收者或观察者可以从特定平台的配置中获取额外信息，而攻击者不需要很复杂的计算就能进行平台分析，使得对平台的攻击更加容易。

（3）基本认证协议为了保证在系统升级和备份后协议能够继续成功执行，需要把秘密信息包括内容、文档等都封装到系统配置中，这样秘密信息就不可访问了。……