论文部分内容阅读
数字签名是互联网上不可或缺的安全处理技术,能够提供消息的完整性、可认证性和不可否认性,是公钥密码体制重要的组成部分。可净化数字签名是一种具有特殊性质的数字签名,该签名中允许一个半可信的净化者(或审查者)在无需与原始签名者进行交互的情况下对原消息的特定部分进行修改,同时保证经过修改后消息-签名对仍然有效。可净化数字签名解决了签名过程中敏感信息的隐藏问题,广泛应用于政府或军事部门中隐私文件的发布、医疗隐私数据发布和安全路由等。基于身份公钥密码学解决了传统公钥密码学中数字证书保存、撤销、发布和验证占用资源较多,且管理复杂的问题。标准模型能够解决随机预言机模型中将哈希函数作为一个完全随机的理想模型,在现实中无法实现和构造的问题。本文系统研究标准模型下基于身份可净化签名方案的设计和可证明安全性,具体包括:(1)利用双线性对,基于Waters签名和Li签名的技术,提出了一个高效的标准模型下可证安全的基于身份可净化签名方案。本文首先给出基于身份可净化签名的形式化定义和安全性模型,然后给出具体构建,最后基于计算性Diffie-Hellman假设下在标准模型中证明该方案的安全性。分析表明,所提方案能够满足不可伪造性、不可区分性和不可变性。和已有方案相比,通过双线性对的预运算,减少了方案中对运算和指数运算的运算量,提高效率。(2)结合可净化签名与代理签名的思想,基于Waters签名技术,提出了一个标准模型下基于身份可净化代理签名方案。本文首先给出可净化代理签名的形式化定义和安全模型,然后给出可净化代理签名方案的具体构建,最后基于基于计算Diffie-Hellman困难问题在标准模型中证明所提方案的安全性。安全性分析表明所提方案满足所有基于身份可净化代理签名方案的安全性需求,具有较强的实用价值。