Day-4 学习笔记--可信计算(4)

今天阅读的内容是《可信计算平台中若干关键技术研究》的第五章——可信计算平台直接匿名认证机制研究。这一章的数学基础要求高一点，我只是大略的扫了一遍。
随着可信计算技术的逐步推广，越来越多的个人计算机平台以及其他各种嵌入式终端设备平台（如手机、AP）均将配备TPM（TCM）。其匿名性需求不断增大，为了防止终端平台用户身份信息及其行踪不被一些别有用心的人所掌握，实现可信计算平台匿名认证是可信计算技术必须提供的功能。
零知识证明
从本质上讲，零知识证明是一种协议。当一个协议具有如下特征时，可以被称为具有零知识属性：证明者利用多项式时间算法试图向验证者证明某个论断是正确的，或者证明者拥有某个知识，却不向验证者透漏任何有用的消息
零知识证明的主要体系结构模型如图

当前人们已经提出了多种基于零知识证明体制，其中以Schonorr鉴别协议最为常用。该协议包含了三个部分：系统协议参数选择、用户参数选择和协议消息交互
密码学假设

基于RSA的DAA方案

直接匿名认证方案一般都涉及四个参与方：TPM、TPM所在的主机(Host)、验证者(Verifier)和一个第三方发布机构(Issuer)，通常可以分为初始化设置、加入协议，签名协议和签名验证四个部分。