摘要 | 第1-4页 |
Abstract | 第4-10页 |
第一章 绪论 | 第10-20页 |
·相关技术背景 | 第10-16页 |
·可信计算 | 第10-13页 |
·PKI技术 | 第13-14页 |
·PKI智能卡互操作性体系发展概况 | 第14-15页 |
·PK卡应用平台发展概况 | 第15-16页 |
·相关应用需求背景 | 第16-18页 |
·学生信息共享的发展需求 | 第16-17页 |
·射频IC卡与智能卡互操作需求 | 第17-18页 |
·相关科研工作背景 | 第18页 |
·科研项目 | 第18页 |
·科研成果 | 第18页 |
·本文主要工作与结构 | 第18-20页 |
第二章 可信计算的信息安全算法与优化 | 第20-44页 |
·TPM体系结构对密码算法的要求 | 第20-21页 |
·AES算法及优化 | 第21-30页 |
·AES算法概述 | 第21页 |
·轮变换 | 第21-25页 |
·AES加密算法 | 第25-26页 |
·Rijndael的解密算法 | 第26-27页 |
·AES算法的优化 | 第27-30页 |
·解密算法的优化 | 第28-29页 |
·列混合变换的优化 | 第29-30页 |
·RSA公钥加密体制及数论基础 | 第30-33页 |
·RSA公开密钥密码算法的原理 | 第30页 |
·模运算 | 第30-31页 |
·模幂算法 | 第31-33页 |
·模幂二进制算法 | 第31-32页 |
·M-ary算法 | 第32-33页 |
·模乘和模幂算法的优化 | 第33-36页 |
·Montgomery算法 | 第33-35页 |
·基于M-ary算法与Montgomery算法的模幂运算 | 第35页 |
·Dusse和Kaliski计算Montgomery乘积的方法 | 第35-36页 |
·剩余类环中乘法逆算法与优化 | 第36-40页 |
·剩余类环中乘法逆的概念 | 第36-37页 |
·Euclid算法 | 第37-38页 |
·扩展的Euclid算法 | 第38-40页 |
·基于Euler定理的乘法逆算法 | 第40页 |
·中国剩余定理及对RSA算法的加速 | 第40-42页 |
·本章小结 | 第42-44页 |
第三章 可信平台模块设计 | 第44-62页 |
·TPM结构和功能 | 第44-46页 |
·TPM的结构 | 第44页 |
·TPM身份 | 第44-45页 |
·可信的报告能力 | 第45-46页 |
·可信的存储能力 | 第46页 |
·AES加密芯片的FPGA优化设计与仿真 | 第46-51页 |
·加/解密模块的设计与仿真 | 第46-48页 |
·S盒的设计 | 第48页 |
·密钥扩展的设计与仿真 | 第48-49页 |
·控制模块的设计与仿真 | 第49-50页 |
·输入输出模块的设计 | 第50页 |
·仿真结果 | 第50-51页 |
·基于Galois域乘法器的有限域乘法逆元优化算法 | 第51-54页 |
·有限域乘法逆元算法 | 第51-52页 |
·C64x系列DSPs的Galois域乘法器 | 第52页 |
·用GMPY4指令求乘法逆元 | 第52-53页 |
·流水线功能加速设计 | 第53-54页 |
·小结 | 第54页 |
·基于FPGA的Montgomery改进算法模乘器结构及优化 | 第54-58页 |
·Montgomery改进算法 | 第54-55页 |
·Montgomery改进算法的模乘器结构 | 第55-56页 |
·多路复用/加法体系结构 | 第56-57页 |
·流水线多路复用/加法体系结构 | 第57-58页 |
·基于DSP的Montgomery算法优化 | 第58-59页 |
·实验结果分析 | 第59-61页 |
·本章小结 | 第61-62页 |
第四章 主机可信计算模型与节点重配置 | 第62-81页 |
·基于PKCS#11的主机可信计算模型 | 第62-68页 |
·主机可信计算环境 | 第62-64页 |
·主机可信计算环境的逻辑抽象 | 第64-66页 |
·可信计算的功能模型 | 第66-68页 |
·可信计算模型节点重配置的研究与实现 | 第68-71页 |
·主机可信计算的节点重配置和互操作性 | 第68页 |
·设备功能节点重配置的实现方法 | 第68-71页 |
·非接触卡支付认证等价模型设计与分析 | 第71-76页 |
·Mifarel卡的安全机制 | 第71-72页 |
·RC500的安全机制 | 第72-73页 |
·基于RC500和M1卡的常规安全模式 | 第73-74页 |
·基于安全读写模块的安全体系设计 | 第74-75页 |
·小结 | 第75-76页 |
·非接触卡签约认证等价模型设计与分析 | 第76-81页 |
·引言 | 第76页 |
·基于签约认证协议的CPU卡有效计算模型 | 第76-77页 |
·基于射频卡和中间件的签约应用有效等价模型 | 第77-78页 |
·安全等价性分析 | 第78-80页 |
·小结 | 第80-81页 |
第五章 可信学生信息(ASI)服务系统 | 第81-95页 |
·引言 | 第81-82页 |
·系统需求 | 第82-83页 |
·总体目标 | 第82页 |
·设计原则 | 第82-83页 |
·系统总体方案设计 | 第83-85页 |
·开发环境 | 第83页 |
·系统结构 | 第83-84页 |
·功能模块 | 第84-85页 |
·技术难点和关键技术实现 | 第85-92页 |
·技术难点 | 第85-87页 |
·关键技术实现 | 第87-92页 |
·分布式应用系统 | 第92-94页 |
·学生就业网 | 第92页 |
·教育信息数据中心 | 第92-94页 |
·本章小结 | 第94-95页 |
第六章 基于可信计算组件的教育CA证书申请体系 | 第95-115页 |
·引言 | 第95页 |
·系统需求 | 第95-98页 |
·证书申请的双重主体模式 | 第95-96页 |
·CA证书和签名私钥采用TPM组件处理 | 第96页 |
·教育CA技术方案:简单结构的双重主体模式 | 第96-98页 |
·证书申请体系分析 | 第98-102页 |
·原理与思路分析 | 第98页 |
·“在线的证书申请”用况分析 | 第98-100页 |
·分析阶段模型 | 第100-102页 |
·“证书申请”用况的系统设计 | 第102-107页 |
·构架设计 | 第102-104页 |
·用况设计 | 第104-107页 |
·证书申请信息的安全处理 | 第107-110页 |
·证书申请环节安全问题提出 | 第107-108页 |
·证书申请信息的结构设计 | 第108-109页 |
·证书申请信息产生与验证流程 | 第109-110页 |
·PKI智能卡DCOM组件设计与CA证书申请实现 | 第110-114页 |
·DCOM(distributed component object model)组件技术 | 第110-111页 |
·系统结构模型 | 第111页 |
·实现过程 | 第111-112页 |
·DCOM组件的创建与配置 | 第112-113页 |
·客户端应用程序中使用DCOM接口函数 | 第113-114页 |
·本章小结 | 第114-115页 |
第七章 可信计算体系在变电站自动化领域的应用研究 | 第115-127页 |
·引言 | 第115页 |
·变电站综合自动化信息交换体系结构 | 第115-116页 |
·IEC TC57无缝通信系统体系结构 | 第115-116页 |
·变电站综合自动化系统的层次结构 | 第116页 |
·证书分发和安全消息交换 | 第116-118页 |
·开放式通信体系的安全问题 | 第116-117页 |
·信息交换主体及证书分发 | 第117页 |
·安全消息交换 | 第117-118页 |
·信息交换主体的密码计算功能 | 第118页 |
·基于代理多重签名体制的信息交换认证机制 | 第118-121页 |
·代理多重签名体制的概念与性质 | 第119页 |
·基于代理多重签名体制的安全认证体系结构 | 第119-120页 |
·代理多重签名设计 | 第120-121页 |
·密码计算模块的设计与签名方法 | 第121-123页 |
·密码计算模块设计 | 第121页 |
·数字签名实现方法 | 第121-123页 |
·安全模型设计 | 第123-124页 |
·加密LN | 第123-124页 |
·解密LN | 第124页 |
·变电站自动化组件与功能组合 | 第124-125页 |
·本章小结 | 第125-127页 |
总结与展望 | 第127-129页 |
致谢 | 第129-130页 |
参考文献 | 第130-135页 |
附录Ⅰ 作者攻读博士学位期间已完成和发表的论文 | 第135-136页 |
附录Ⅱ 作者攻读博士学位期间承担的科研项目 | 第136页 |