| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 主要符号对照表 | 第11-12页 |
| 第一章 绪论 | 第12-20页 |
| ·公钥密码学的研究现状 | 第12-16页 |
| ·可证明安全 | 第12-13页 |
| ·随机预言机模型(Random Oracle Model) | 第12-13页 |
| ·标准模型(Standard Model) | 第13页 |
| ·基于身份的的公钥密码学 | 第13-14页 |
| ·基于身份的加密(IBE) | 第13-14页 |
| ·基于身份的签名(IBS) | 第14页 |
| ·无证书的公钥密码学 | 第14页 |
| ·基于属性的公钥密码学 | 第14-15页 |
| ·基于属性的加密(ABE) | 第14-15页 |
| ·基于属性的签名(ABS) | 第15页 |
| ·签密 | 第15-16页 |
| ·密钥隔离密码学 | 第16-18页 |
| ·密钥隔离加密 | 第17-18页 |
| ·密钥隔离签名 | 第18页 |
| ·研究内容和主要成果 | 第18-19页 |
| ·论文章节安排 | 第19-20页 |
| 第二章 预备知识 | 第20-23页 |
| ·双线性映射 | 第20页 |
| ·复杂性假设 | 第20-21页 |
| ·伪随机函数(Pseudorandom Function,PRF) | 第21页 |
| ·双射(bijection) | 第21页 |
| ·Shamir门限秘密分享技术 | 第21-22页 |
| ·小结 | 第22-23页 |
| 第三章 基于身份的密钥隔离签密 | 第23-43页 |
| ·简介 | 第23页 |
| ·IBKISC的形式化定义及其安全模型 | 第23-26页 |
| ·语法定义 | 第23-24页 |
| ·安全概念 | 第24-26页 |
| ·密钥隔离安全性 | 第24-25页 |
| ·强密钥隔离安全性 | 第25-26页 |
| ·IBKISC方案设计 | 第26-42页 |
| ·方案描述 | 第26-30页 |
| ·正确性 | 第30页 |
| ·安全证明 | 第30-42页 |
| ·方案比较 | 第42页 |
| ·小结 | 第42-43页 |
| 第四章 基于身份的密钥隔离代理签名 | 第43-61页 |
| ·简介 | 第43页 |
| ·IBKIPS的形式化定义及其安全模型 | 第43-46页 |
| ·语法定义 | 第43-44页 |
| ·安全概念 | 第44-46页 |
| ·密钥隔离安全性 | 第44-45页 |
| ·强密钥隔离安全性 | 第45-46页 |
| ·IBKIPS方案设计 | 第46-58页 |
| ·方案描述 | 第46-50页 |
| ·正确性 | 第50-51页 |
| ·安全证明 | 第51-57页 |
| ·方案比较 | 第57-58页 |
| ·原始签名人与代理签名人之间频繁交互的应对 | 第58-60页 |
| ·小结 | 第60-61页 |
| 第五章 基于身份的门限密钥隔离签名 | 第61-74页 |
| ·简介 | 第61页 |
| ·IBTKIS形式化定义及其安全模型 | 第61-63页 |
| ·语法定义 | 第61-62页 |
| ·安全概念 | 第62-63页 |
| ·密钥隔离安全性 | 第62-63页 |
| ·强密钥隔离安全性 | 第63页 |
| ·IBTKIS方案设计 | 第63-73页 |
| ·方案描述 | 第63-67页 |
| ·正确性 | 第67-68页 |
| ·安全证明 | 第68-73页 |
| ·方案比较 | 第73页 |
| ·不诚实协助器的应对 | 第73页 |
| ·小结 | 第73-74页 |
| 第六章 门限结构的基于属性的密钥隔离加密 | 第74-87页 |
| ·简介 | 第74页 |
| ·TABKIE的形式化定义及其安全模型 | 第74-76页 |
| ·语法定义 | 第74-75页 |
| ·安全概念 | 第75-76页 |
| ·密钥隔离安全性 | 第75-76页 |
| ·强密钥隔离安全性 | 第76页 |
| ·TABKIE方案设计 | 第76-86页 |
| ·方案描述 | 第76-79页 |
| ·安全证明 | 第79-85页 |
| ·方案比较 | 第85-86页 |
| ·选择密文安全 | 第86页 |
| ·小结 | 第86-87页 |
| 第七章 密文策略的基于属性的并行密钥隔离加密 | 第87-100页 |
| ·简介 | 第87页 |
| ·CPABPKIE的形式化定义及其安全模型 | 第87-90页 |
| ·语法定义 | 第87-88页 |
| ·安全概念 | 第88-90页 |
| ·密钥隔离安全性 | 第88-89页 |
| ·强密钥隔离安全性 | 第89-90页 |
| ·CPABPKIE方案设计 | 第90-99页 |
| ·方案描述 | 第90-93页 |
| ·安全证明 | 第93-99页 |
| ·方案比较 | 第99页 |
| ·选择密文安全 | 第99页 |
| ·小结 | 第99-100页 |
| 第八章 签名者匿名的基于属性的密钥隔离签名 | 第100-117页 |
| ·简介 | 第100页 |
| ·HABKIS的形式化定义及其安全模型 | 第100-103页 |
| ·语法定义 | 第100-101页 |
| ·安全概念 | 第101-103页 |
| ·密钥隔离安全性 | 第101-102页 |
| ·强密钥隔离安全性 | 第102页 |
| ·匿名性 | 第102-103页 |
| ·HABKIS方案设计 | 第103-116页 |
| ·方案描述 | 第103-106页 |
| ·方案正确性 | 第106页 |
| ·安全证明 | 第106-116页 |
| ·方案比较 | 第116页 |
| ·小结 | 第116-117页 |
| 第九章 总结与展望 | 第117-119页 |
| ·总结 | 第117页 |
| ·展望 | 第117-119页 |
| 参考文献 | 第119-127页 |
| 致谢 | 第127-128页 |
| 攻读博士学位期间的论文 | 第128-129页 |
| 上海交通大学博士学位论文答辩决议书 | 第129-131页 |