一个可溯源的车联网群签名批量验证协议

车联网是物联网的重要应用之一,对推动智能交通的发展起到了重要作用。但由于车联网的开放性,其很容易遭到各种攻击,导致车辆隐私信息的泄露与重要交通信息被篡改。因此,提出一种基于零知识证明的车联网可溯源群签名批量验证协议,以此保证车辆进行交通信息共享时数据的完整性和可靠性。车辆通过其真实身份向可信机构进行注册,可信机构为其生成一个公私钥对,并保存其真实身份以便在发现车辆违法行为或者交通事故时对车辆的真实身份进行溯源追责。进行安全分析后,该方案的匿名性、消息不可伪造性等安全性得到验证。通过实验对比,表明此方案在进行批量验证的时候能够满足高效快速的要求。

实用的强不可分割多重息票方案

当前,多重息票方案设计中的主要困难是如何设计能自由设置兑换次数上界的息票发布协议且所得协议的复杂性并不依赖于这个上界,以及如何为兑换协议提供高效、灵活的兑换机制.为此,提出两个具备改进的效率与功能的方案.新方案分别利用Chaabouni等人的离散对数区间证明技术和Canard等人的关于被承诺元素的知识证明技术实现了对息票兑换次数上界的灵活设置,并且利用Peng等人的批量零知识证明与验证技术对兑换协议的运算复杂度进行了优化.新方案在Nguyen的形式化模型下满足可证安全,而且首次实现了实际应用中的全部理想特性,即并发发布、紧凑存储、批量兑换以及支持设置息票对象和过期日期.性能分析表明,新方案的通信与运算耗费显著低于已有的两个满足强不可分割性质的方案.