可信计算平台的匿名认证研究

论文摘要

随着信息技术的迅猛发展,信息安全问题日趋复杂。可信计算平台作为解决信息安全隐患的计算机软硬件实体,引起了人们越来越多的关注。匿名认证是可信计算平台的重要功能,旨在解决个人隐私的保密问题。论文深入研究了可信计算平台的匿名认证,主要工作如下:深入了解了可信计算平台的结构及其功能,重点研究了典型的可信计算平台匿名认证方案中的方法、假设条件、认证模型以及安全性等方面,分析了各种方案的优缺点。利用知识签名提出了一个简单有效的可信计算平台匿名认证方案,并解决了He Ge2005年所提方案的不足。方案可看作不具有揭开能力的群签名方案,但它可以鉴别无效的可信平台模块。方案在强RSA假设和判定性Diffie-Hellman假设下满足不可伪造性,匿名性和撤销性。通过研究匿名认证相关理论知识和分布式系统,构造了可应用于星型分布式系统中的可信计算平台匿名认证方案。方案将授权服务请求与无效可信平台模块检测分开,从而极大的提高了匿名认证效率。如果无效可信平台模块检测者与可信平台模块勾结,授权服务请求验证者可通过他提供的匿名认证信息和签名证明其违法行为。最后分析了方案的安全性。

论文目录

• 摘要
• Abstract
• 1 绪论
• 1.1 引言
• 1.2 可信计算平台简介
• 1.2.1 可信计算概念
• 1.2.2 可信计算平台概念
• 1.2.3 可信计算平台结构
• 1.2.4 可信计算平台的特点
• 1.2.5 可信计算平台的主要功能
• 1.3 研究背景和科学意义
• 1.4 匿名认证研究
• 1.5 主要研究内容
• 1.6 本论文的章节安排
• 2 基本概念和基本理论
• 2.1 数学知识
• 2.1.1 整数因子分解问题
• 2.1.2 安全RSA模数
• n'>2.1.3 二次剩余群QR_n
• 2.1.4 离散对数问题
• 2.2 数论假设
• 2.2.1 强RSA假设
• 2.2.2 判定性Diffie-Hellman假设
• 2.3 哈希函数
• n上的离散对数零知识证明'>2.4 二次剩余群QR_n上的离散对数零知识证明
• 2.5 数字签名
• 2.5.1 群签名
• 2.5.2 环签名
• 2.5.3 代理签名
• 2.5.4 知识签名
• 2.6 分布式系统
• 2.6.1 分布式系统的定义
• 2.6.2 分布式系统模型
• 3 典型的可信计算平台匿名认证方案分析
• 3.1 TPM v1.1采用的匿名认证方案
• 3.2 TPM v1.2采用的匿名认证方案
• 3.3 一个用于可信计算平台的匿名认证方案（HE GE）
• 3.4 一个实现直接匿名证实的方法（HE GE）
• 4 简单高效的可信计算平台匿名认证方案
• 4.1 系统参数
• 4.2 匿名认证密钥AAK的生成—JOIN协议
• 4.3 匿名认证协议
• 4.4 方案的安全性
• 4.4.1 匿名认证密钥AAK的有效性
• 4.4.2 不可伪造性
• 4.4.3 匿名性
• 4.4.4 撤消性
• 4.5 方案特点
• 5 应用于星型分布式系统的可信计算平台匿名认证方案
• 5.1 系统参数
• 5.2 匿名认证密钥AAK的生成—JOIN协议
• 5.3 总体匿名认证协议
• 5.4 可控匿名认证协议
• 5.5 方案的安全性
• 5.5.1 匿名认证密钥AAK的有效性
• 5.5.2 不可伪造性
• 5.5.3 匿名性
• 5.5.4 撤消性
• 5.6 方案特点
• 6 结论
• 致谢
• 参考文献
• 附录