第一章 引言 | 第1-22页 |
·开展本课题研究的意义 | 第14-16页 |
·可信计算是当代计算中重要的研究领域 | 第14-15页 |
·信息安全技术本身的发展需要对可信计算的研究 | 第15页 |
·当前安全保证技术还不能令人满意,促使可信计算研究的发展 | 第15-16页 |
·可信平台模块是可信计算的基石 | 第16页 |
·国内外研究现状分析 | 第16-17页 |
·技术路线 | 第17-18页 |
·本文的贡献 | 第18-19页 |
·论文的组织 | 第19-22页 |
第二章 可信计算 | 第22-34页 |
·可信计算(Trusted Computing) | 第22-23页 |
·可信计算历史 | 第22-23页 |
·可信平台(Trusted Platform) | 第23-24页 |
·可信平台特征 | 第23页 |
·可信平台使用场景 | 第23-24页 |
·可信平台模块(Trusted Platform Module) | 第24-31页 |
·TPM的特征 | 第24-25页 |
·TPM的结构 | 第25-29页 |
·TPM的API | 第29-31页 |
·TPM的密码学协议 | 第31页 |
·本章小结 | 第31-34页 |
第三章 TPM API安全性分析 | 第34-72页 |
·密码学API | 第34-40页 |
·密码学API分析概述 | 第34-35页 |
·密码学API的形式化描述 | 第35-36页 |
·自动推理技术 | 第36-39页 |
·自动推理程序 | 第39页 |
·密码学API分析体验 | 第39-40页 |
·TPM API安全性分析 | 第40-62页 |
·TPM内部状态 | 第42-47页 |
·密钥管理模块 | 第47-53页 |
·密钥迁移模块 | 第53-55页 |
·委托模块 | 第55-57页 |
·其它模块 | 第57页 |
·TPM API形式化模型 | 第57-62页 |
·对TPM API的攻击 | 第62-69页 |
·迁移模块的攻击 | 第62-64页 |
·委托模块的攻击 | 第64-67页 |
·迁移模块的攻击二 | 第67-68页 |
·密钥管理模块的攻击 | 第68-69页 |
·TPM API安全机制讨论 | 第69-70页 |
·本章小结 | 第70-72页 |
第四章 TPM密码学协议分析 | 第72-96页 |
·密码学协议 | 第72-75页 |
·密码学协议的安全性 | 第72-73页 |
·密码学协议的分析 | 第73-74页 |
·SVO逻辑 | 第74-75页 |
·TPM授权协议概述 | 第75-76页 |
·对象无关授权协议(OIAP) | 第76-81页 |
·OIAP协议的逻辑描述 | 第78-79页 |
·OIAP的安全性分析 | 第79-80页 |
·OIAP协议分析结果和讨论 | 第80-81页 |
·特定对象授权协议(OSAP) | 第81-87页 |
·OSAP协议的逻辑描述 | 第84-85页 |
·OSAP的安全性分析 | 第85-86页 |
·对OSAP协议的攻击 | 第86-87页 |
·OSAP协议漏洞修补 | 第87页 |
·特定委托授权协议(DSAP) | 第87-92页 |
·DSAP协议的逻辑描述 | 第89-90页 |
·DSAP的安全性分析 | 第90-91页 |
·对DSAP协议的攻击 | 第91页 |
·DSAP协议漏洞修补 | 第91-92页 |
·其它协议 | 第92-95页 |
·授权数据插入协议(ADIP) | 第92-94页 |
·授权数据更改协议(ADCP) | 第94-95页 |
·非对称授权更改协议(AACP) | 第95页 |
·本章小结 | 第95-96页 |
第五章 TPM实现中的关键算法 | 第96-104页 |
·密钥生成算法 | 第96-99页 |
·素数测试 | 第96-97页 |
·素数寻找 | 第97-98页 |
·密钥生成 | 第98-99页 |
·一种新的求模逆元算法 | 第99-102页 |
·扩展欧拉算法分析 | 第99-100页 |
·改进的求模逆元算法 | 第100-101页 |
·运行结果比较 | 第101-102页 |
·本章小结 | 第102-104页 |
第六章 TPM的应用 | 第104-116页 |
·基于TPM的监控系统 | 第104-107页 |
·应用背景 | 第104页 |
·基于TPM的解决方法 | 第104-107页 |
·结论 | 第107页 |
·基于TPM的CA系统 | 第107-114页 |
·应用背景 | 第107-108页 |
·现有CA方案的分析 | 第108-110页 |
·基于TPM的CA方案 | 第110-113页 |
·安全性分析 | 第113页 |
·结论 | 第113-114页 |
·本章小结 | 第114-116页 |
第七章 总结与展望 | 第116-118页 |
·本文工作总结 | 第116-117页 |
·下一步研究方向 | 第117-118页 |
参考文献 | 第118-122页 |
致谢 | 第122-123页 |
作者简历 | 第123页 |