基于对的群体密码学研究
| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 第一章 绪论 | 第12-28页 |
| ·基于对的密钥协商 | 第12-15页 |
| ·非交互式密钥分发方案(NIKDS) | 第13页 |
| ·基于身份的密钥协商 | 第13-14页 |
| ·多方认证密钥协商协议 | 第14-15页 |
| ·使用对的基于身份加密(IBE) | 第15-18页 |
| ·单级IBE | 第15-16页 |
| ·分级IBE | 第16-18页 |
| ·基于对的签字方案 | 第18-22页 |
| ·短签字 | 第18-19页 |
| ·基于身份签字(IBS) | 第19页 |
| ·签密 | 第19-20页 |
| ·群签字 | 第20-21页 |
| ·其它类型签字 | 第21-22页 |
| ·基于对的新公钥基础设施 | 第22-24页 |
| ·无证书密码体制 | 第23页 |
| ·基于证书的密码体制 | 第23-24页 |
| ·应用与实现 | 第24-25页 |
| ·本文主要贡献与章节安排 | 第25-28页 |
| 第二章 数学背景知识 | 第28-58页 |
| ·预备知识 | 第29-35页 |
| ·椭圆曲线 | 第29-30页 |
| ·椭圆曲线上的函数 | 第30-31页 |
| ·零点和极点的重数 | 第31-32页 |
| ·除子理论 | 第32-33页 |
| ·计算主除子的函数 | 第33-35页 |
| ·Weil对 | 第35-42页 |
| ·定义 | 第35-36页 |
| ·性质 | 第36-38页 |
| ·另一个定义 | 第38-40页 |
| ·计算Weil对的Miller算法 | 第40-41页 |
| ·例子 | 第41-42页 |
| ·嵌入阶 | 第42-45页 |
| ·一个下界 | 第43-44页 |
| ·额外条件 | 第44-45页 |
| ·低嵌入阶的曲线 | 第45-49页 |
| ·超奇异曲线 | 第45-47页 |
| ·MNT曲线 | 第47-49页 |
| ·扭射 | 第49-50页 |
| ·扭射的定义 | 第49页 |
| ·非超奇异曲线 | 第49-50页 |
| ·超奇异曲线 | 第50页 |
| ·改进双线性对 | 第50-51页 |
| ·密码学用途 | 第51-56页 |
| ·非对称的双线性对 | 第51-52页 |
| ·对称的双线性对 | 第52页 |
| ·椭圆曲线上的离散对数 | 第52-53页 |
| ·椭圆曲线的使用 | 第53页 |
| ·归约到其它群 | 第53-55页 |
| ·安全考虑 | 第55-56页 |
| ·小结 | 第56-58页 |
| 第三章 基于对的短群签字 | 第58-82页 |
| ·群签字的研究进展 | 第58-59页 |
| ·群签字的安全定义 | 第59-61页 |
| ·复杂性假设 | 第61-62页 |
| ·无随机预言机的短签字 | 第62-64页 |
| ·无随机预言机的短群签字 | 第64-65页 |
| ·方案的变型 | 第65-66页 |
| ·效率比较 | 第66-67页 |
| ·群签字方案安全性证明 | 第67-75页 |
| ·新假设的安全性 | 第75-81页 |
| ·小结 | 第81-82页 |
| 第四章 基于对的群解密 | 第82-98页 |
| ·提出群解密的背景 | 第82-83页 |
| ·群解密模型 | 第83-84页 |
| ·群解密的攻击者模型 | 第84-85页 |
| ·群解密的安全性定义 | 第85-86页 |
| ·计算假设 | 第86-87页 |
| ·组成模块 | 第87-91页 |
| ·承诺 | 第88页 |
| ·Σ-协议 | 第88-89页 |
| ·对群中承诺元素的知识证明 | 第89-90页 |
| ·对群中所承诺元素的相等性证明 | 第90页 |
| ·对群中Pedersen 承诺的知识证明 | 第90-91页 |
| ·对群中Pedersen承诺的离散对数知识证明 | 第91页 |
| ·群解密方案 | 第91-97页 |
| ·小结 | 第97-98页 |
| 第五章 基于对的单轮非对称群密钥交换协议 | 第98-122页 |
| ·密钥交换协议研究进展 | 第98-102页 |
| ·重新思考群密钥交换定义 | 第102-105页 |
| ·协议变量和伙伴关系 | 第102-103页 |
| ·攻击者模型 | 第103-104页 |
| ·安全定义 | 第104-105页 |
| ·ASGKE的一般构造 | 第105-109页 |
| ·具有密钥同态性和累进性的基于签字加密体制 | 第105-107页 |
| ·单轮ASGKE协议的一般构造 | 第107-109页 |
| ·源于ElGamal加密的短签字 | 第109-113页 |
| ·从加密到签字的转化——条件与方法 | 第110-111页 |
| ·计算性假设 | 第111-112页 |
| ·从ElGamal加密到标准模型下的短签字 | 第112-113页 |
| ·单轮ASGKE协议的具体实现 | 第113-120页 |
| ·具有密钥同态性和累进性的基于签字加密方案 | 第113-114页 |
| ·单轮ASGKE协议实现 | 第114-115页 |
| ·讨论 | 第115-116页 |
| ·安全性分析 | 第116-120页 |
| ·小结 | 第120-122页 |
| 结束语 | 第122-124页 |
| 致谢 | 第124-126页 |
| 参考文献 | 第126-138页 |
| 研究成果 | 第138-140页 |
