基于身份加密的新型设计与形式化分析

基于身份加密（Identity-Based Encryption, IBE）是一种新兴的密码技术，因其公钥管理简单、计算和通信成本低的特点而具有重要的科学意义和研究价值。而格环境下的IBE近年来成为了国内外学者研究的热点，理想格环境下的IBE方案是一个具有挑战性的研究课题，目前这方面的研究刚刚起步，现有的研究成果在安全性和效率上尚有不足，对于指导实际的安全应用还有很大的局限性。本项目拟在多项核心技术的基础上，从基本的格基规约理论入手，建立基于理想格的适应性安全模型，将问题抽象到模型空间，之后提出一个适应性安全的IBE方案，并进一步拓展到适应性安全的层次化IBE方案，最后提出一个适应性安全的对偶层次化IBE方案，为设计安全高效的IBE系统提供理论支持。

基于身份的密码是一种新兴的密码技术，因其公钥管理简单、计算和通信成本低的特点而具有重要的科学意义和研究价值。本项目首先基于格设计了一些基于身份的密码方案，如基于整数格的加密方案和基于整数格的签密方案。之后我们在具体的应用场景如智能电网、云计算、航空网络等领域探索基于身份密码的应用，我们先后设计了航空网络中的广播认证、异构系统中的签密、自组织网络中的可否认认证、云计算环境下的可搜索加密、智能电网中的区间查询，智能电网中的访问控制和智能电网中的轻量级认证等方案。综上所述，本项目既有充分的理论意义，也有丰富的实践价值。