位置密码学的组合安全理论和协议设计

本项目研究位置密码学的组合安全理论和协议设计方法。首先，建立基于位置密码协议的通用可组合安全模型，给出基于位置密码协议组合理论，确保基于位置密码协议的通用可组合安全。其次，在新的前提假设下设计通用可组合安全的基于位置的密码协议。再次，建立带有位置状态密码协议的通用可组合安全模型，并设计通用可组合安全的带有位置状态的密码协议。最后，研究带有位置状态的WLAN认证协议的可组合安全理论，设计通用可组合安全的带有位置状态的EAP接入认证协议、快速切换以及安全漫游协议。本项目设计的位置密码协议可应用于物联网、传感网、车辆网络等无线网络，具有广阔的应用前景和推广价值。

项目组围绕项目任务书中制定的研究计划要点，在基于位置密码学以及相关安全技术的组合安全理论和协议设计方法等方面进行了系统深入的研究工作。在组合安全理论方面，项目组以基于计算复杂性的通用可组合框架（UC框架）和基于逻辑的协议生成系统（PDS）以及协议组合逻辑（PCL）两种协议组合安全理论为基础，分别对安全定位协议、基于位置密钥交换协议、群组安全通信等建立了UC安全模型，并针对Needham-Schroeder协议族对PDS和PCL进行了扩展。所提出的模型为位置密码学和相关密码协议的通用可组合安全提供理论支撑。在协议设计方面，项目组以基于位置密码协议为核心，结合无线网络安全和隐私等应用需求，分别对安全定位协议、基于位置密钥交换协议、无线网络接入认证协议、隐私保护认证协议和秘密共享等展开研究，提出了一系列基于位置密码协议及相关安全协议。所提出的协议在安全性方面满足通用可组合安全，可应用于物联网、传感网、车辆网络等无线网络,具有广阔的应用前景和推广价值。