| 摘要 | 第1-7页 |
| Abstract | 第7-15页 |
| 第一章 绪论 | 第15-33页 |
| ·移动代码技术 | 第15-17页 |
| ·移动代码计算范型 | 第15页 |
| ·移动代码的语言层次 | 第15-16页 |
| ·移动代码的优点 | 第16页 |
| ·移动代码的应用领域 | 第16-17页 |
| ·移动代码的安全问题 | 第17-19页 |
| ·机密性 | 第17-18页 |
| ·完整性 | 第18页 |
| ·可用性拒绝 | 第18-19页 |
| ·验证风险 | 第19页 |
| ·移动代码安全技术的国内外研究现状 | 第19-27页 |
| ·基于信任的计算技术 | 第19-20页 |
| ·基于传统密码学的技术 | 第20-21页 |
| ·基于记录与追踪的技术 | 第21-22页 |
| ·基于时间限制的技术 | 第22-23页 |
| ·移动代码加密变换技术 | 第23-25页 |
| ·基于同态加密的移动密码学技术 | 第25-26页 |
| ·移动代码的安全威胁和相应的解决方案汇总 | 第26-27页 |
| ·研究的目的和意义 | 第27-28页 |
| ·本文的主要贡献 | 第28-29页 |
| ·论文导读与论文组织 | 第29-32页 |
| ·本章小结 | 第32-33页 |
| 第二章 同态加密 | 第33-43页 |
| ·基本概念 | 第33-34页 |
| ·私密同态 | 第33页 |
| ·代数同态与算术同态 | 第33-34页 |
| ·幂同态 | 第34页 |
| ·公钥加密算法及其同态加密特性与安全性 | 第34-36页 |
| ·RSA | 第34-35页 |
| ·RSA算法 | 第34页 |
| ·RSA的安全性 | 第34页 |
| ·RSA的同态加密特性 | 第34-35页 |
| ·ElGamal | 第35-36页 |
| ·ElGamal算法 | 第35页 |
| ·ElGamal的同态加密特性 | 第35页 |
| ·ElGamal及其同态加密的安全性 | 第35页 |
| ·变体ElGamal的加法同态加密特性 | 第35-36页 |
| ·同态加密不能抵抗自适应选择密文攻击 | 第36页 |
| ·公钥加密算法的安全性评估 | 第36-42页 |
| ·安全目标 | 第37-39页 |
| ·语义安全（SS，semantic security） | 第37页 |
| ·不可识别（IND，Indistinguishability） | 第37-38页 |
| ·非柔韧性（NM，Non-malleability） | 第38-39页 |
| ·攻击模型 | 第39-40页 |
| ·唯密文攻击(Ciphertext-only Attack) | 第39页 |
| ·已知明文攻击(Known-Plaintext Attack) | 第39页 |
| ·选择明文攻击(Chosen Plaintext Attack) | 第39-40页 |
| ·选择密文攻击(Chosen Ciphertext Attack) | 第40页 |
| ·自适应选择密文攻击(Adaptive Chosen Ciphertext Attack) | 第40页 |
| ·安全等级及其转换关系 | 第40-42页 |
| ·选择明文攻击下的不可识别(IND-CPA) | 第40-41页 |
| ·选择密文攻击/自适应选择密文攻击下不可识别 | 第41-42页 |
| ·安全级别间的等价和蕴含关系 | 第42页 |
| ·同态加密的应用领域 | 第42页 |
| ·本章小结 | 第42-43页 |
| 第三章 非交互初等运算的保密计算 | 第43-67页 |
| ·基于修改的ElGamal(M-ElGamal)的实数域上的公钥算术同态 | 第44-59页 |
| ·实数的整数表示 | 第46-47页 |
| ·修改的ElGamal(M-ElGamal)算法 | 第47-51页 |
| ·基于M-ElGamal的公钥算术同态(PHME) | 第51-56页 |
| ·基于M-ElGamal的乘法公钥同态(M-PHME) | 第51-53页 |
| ·基于M-ElGamal的除法公钥同态(D-PHME) | 第53页 |
| ·基于M-ElGamal的加法公钥同态(A-PHME) | 第53-56页 |
| ·基于M-ElGamal的减法公钥同态(S-PHME) | 第56页 |
| ·安全性 | 第56页 |
| ·基于M-ElGamal公钥算术同态的非交互初等运算的保密计算 | 第56-59页 |
| ·基于费马小定理的实数域上的算术同态 | 第59-65页 |
| ·实数的表示 | 第60-62页 |
| ·基于费马小定理的实数域上的算术同态加密算法 | 第62-64页 |
| ·实例 | 第64-65页 |
| ·本章小结 | 第65-67页 |
| 第四章 非交互保密函数计算 | 第67-85页 |
| ·非交互有理多项式保密计算 | 第68-77页 |
| ·New ElGamal算法及其正整数域上的代数同态 | 第68-75页 |
| ·New ElGamal算法 | 第68-69页 |
| ·New ElGamal算法的代数同态(HNE)特性与例子 | 第69-73页 |
| ·New ElGamal的加法同态抵抗密文字典攻击 | 第73页 |
| ·基于New ElGamal代数同态的非交互有理多项式保密计算 | 第73-75页 |
| ·基于RSA的整数域上的幂同态 | 第75-77页 |
| ·基于RSA的整数域上的幂同态 | 第75-76页 |
| ·基于RSA幂同态的非交互有理多项式保密计算 | 第76-77页 |
| ·非交互初等函数保密计算 | 第77-83页 |
| ·实数定义域的初等函数的泰勒级数 | 第77-79页 |
| ·基于M-ElGamal实数域上的代数同态 | 第79页 |
| ·实数定义域的非交互初等函数保密计算 | 第79-80页 |
| ·实数定义域的非交互初等函数保密计算实例 | 第80-83页 |
| ·本章小结 | 第83-85页 |
| 第五章 公平高效的两方安全比较协议 | 第85-113页 |
| ·姚氏百万富翁问题 | 第85-86页 |
| ·姚氏百万富翁问题 | 第85页 |
| ·相关工作 | 第85-86页 |
| ·相关概念 | 第86页 |
| ·简化的ElGamal算法(SEA)及其同态加密特性 | 第86-90页 |
| ·简化的ElGamal算法(SEA) | 第86-88页 |
| ·SEA的同态加密特性 | 第88-90页 |
| ·半诚实模型下公平高效的两方安全比较协议(FEPSTC) | 第90-99页 |
| ·半诚实模型下公平高效的安全两方比较协议 | 第90-93页 |
| ·FEPSTC协议分析 | 第93-95页 |
| ·不同协议的比较 | 第95-96页 |
| ·协议实例 | 第96-99页 |
| ·基于保密函数计算的两方安全比较协议(STCP) | 第99-111页 |
| ·基于保密函数计算的两方安全比较协议 | 第99-102页 |
| ·协议分析 | 第102-105页 |
| ·不同协议的比较 | 第105-106页 |
| ·协议实例 | 第106-111页 |
| ·本章小结 | 第111-113页 |
| 第六章 计算完整性检测 | 第113-123页 |
| ·数据完整性与计算完整性 | 第113-114页 |
| ·函数嵌入算法(FEA) | 第114-116页 |
| ·代数同态加密算法与加密的函数嵌入算法 | 第116-118页 |
| ·代数同态加密算法(AHEA) | 第116-118页 |
| ·加密的函数嵌入算法 | 第118页 |
| ·计算完整性检测协议 | 第118-122页 |
| ·计算完整性问题与检测原理 | 第118-119页 |
| ·计算完整性检测协议 | 第119页 |
| ·计算完整性检测的两类错误的概率 | 第119-120页 |
| ·计算完整性检测的例子 | 第120-122页 |
| ·本章小结 | 第122-123页 |
| 结论与展望 | 第123-125页 |
| 一、全文工作总结 | 第123-124页 |
| 二、下一步的研究工作 | 第124-125页 |
| 参考文献 | 第125-133页 |
| 攻读博士期间取得的研究成果 | 第133-134页 |
| 致谢 | 第134页 |
