适应性选择密文安全的可公开验证加密方案

doi:10.3724/SP.J.1087.2013.01051

计算机应用 ›› 2013, Vol. 33 ›› Issue (04): 1051-1054.DOI: 10.3724/SP.J.1087.2013.01051

适应性选择密文安全的可公开验证加密方案

杜卫东¹,杨晓元¹,²,张祥火¹,王绪安¹

1. 武警工程大学网络与信息安全武警部队重点实验室，西安 710086
2. 武警工程大学信息安全研究所，西安 710086

收稿日期:2012-10-25 修回日期:2012-12-03 出版日期:2013-04-01 发布日期:2013-04-23
通讯作者: 杜卫东
作者简介:杜卫东(1988-)，男，河北邯郸人，硕士研究生，主要研究方向：信息安全、密码学；杨晓元(1959-)，男，湖南湘潭人，教授，主要研究方向：信息安全、密码学；张祥火(1988-)，男，江西上饶人，硕士研究生，主要研究方向：信息安全、密码学；王绪安(1981-)，男，湖北公安人，讲师，硕士，主要研究方向：信息安全、密码学。
基金资助:
国家自然科学基金资助项目(61103068)

Adaptively-chosen ciphertext secure and publicly verifiable encryption scheme

DU Weidong¹,YANG Xiaoyuan¹,²,ZHANG Xianghuo¹,WANG Xu'an¹

1. Key Laboratory of Network and Information Security under Chinese Armed Police Force, Engineering University of Chinese Armed Police Force, Xi’an Shaanxi 710086, China
2. Institute of Information Security, Engineering University of Chinese Armied Police Force, Xi’an Shaanxi 710086, China

Received:2012-10-25 Revised:2012-12-03 Online:2013-04-01 Published:2013-04-23
Contact: DU Weidong

摘要/Abstract

摘要： 在密钥托管、电子公平交易、可公开分享和安全多方计算中，对可公开验证加密有广泛的应用需求，但是已有的可公开验证加密方案或者是选择明文安全的，或者是在随机预言机模下是选择密文安全的，显然不满足诸多复杂应用环境的安全需求。在对已有可公开验证方案的分析和现实应用需求的基础上，结合CS加密方案，利用非交互性零知识证明协议提出了一个新的可公开验证的加密方案，新方案使得除发送方和接收方外的任何第三方都可以验证密文的有效性，且不会泄露消息的其他任何信息。最后，相对于随机预言机模型，在标准模型下证明了新方案是适应性选择密文安全的。

关键词: 可公开验证, CS方案, 零知识证明协议, 标准模型, 适应性选择密文安全

Abstract: There is a great demand for publicly verifiable encryption in key escrow, optimistic fair exchange, publicly verifiable secret sharing and secure multiparty computation, but the current schemes are either chosen plaintext secure or chosen ciphertext secure in the random oracle model, which obviously are not secure enough to be applied in the complicated circumstances. Based on the analysis of the current schemes and application of the reality, this paper proposed a new publicly verifiable encryption scheme by combining the CS encryption scheme with the non-interactive zero knowledge proof protocol. The new scheme enabled any third party other than the sender and receiver to verify the validity of the ciphertext, but leaked no information about the message. Finally, without using the random oracle, the adaptively chosen ciphertext security of the scheme is proved in the standard model.

Key words: publicly verifiable, CS scheme, zero knowledge proof protocol, standard model, adaptively chosen ciphertext security

中图分类号:

TP391

杜卫东杨晓元张祥火王绪安. 适应性选择密文安全的可公开验证加密方案[J]. 计算机应用, 2013, 33(04): 1051-1054.

DU Weidong YANG Xiaoyuan ZHANG Xianghuo WANG Xu'an. Adaptively-chosen ciphertext secure and publicly verifiable encryption scheme[J]. Journal of Computer Applications, 2013, 33(04): 1051-1054.

参考文献

［1］POUPARD G, STERN J. Fair encryption of RSA keys［C］// ENROCRYPT’00, LNCS 1807. Berlin: Springer-Verlag, 2000:173-189.

［2］YOUNG A, YUNG M. Auto-recoverable auto-certifiable cryptosystems［C］// EUROCRYPT’98, LNCS 1403. Berlin: Springer-Verlag, 1998:17-31.

［3］STADLER M. Publicly verifiable secret sharing［C］// EURO-CRYPT’96, LNCS 1070.Berlin: Springer-Verlag,1996:191-199.

［4］CAMENISHCH J, MAURER U, STADLER M. Digital payment systems with passive anonymity revoking trustees［C］// Computer Security-ESORICS’96, LNCS 1146. Berlin: Springer-Verlag, 1996:33-43.

［5］FRANKEL Y, TSIOUNIS Y, YUNG M. Indirect discourse proofs: achieving efficient fair on-line e-cash［C］// ASIACRYPT’96, LNCS 1163. Berlin: Springer-Verlag, 1996:68-82.

［6］BELLARE M, GOLDWASSER S. Encapsulated key escrow, TR688［R］. Cambridge: MIT Laboratory for Computer Science, 1996.

［7］ASOTAN N, SHOUP V, WAIDNER M. Optimistic fair exchange of digital signatures［J］. IEEE Journal on Selected Areas in Communications, 2000, 18(4): 591-610.

［8］伍前红,王继林，袁素春，等. 可公开验证的ElGama/RSA加密［J］. 电子与信息学报，2005，27(4)：608-611.

［9］CANETTI R, GOLDREICH O, HALEVI S. The random oracle methodology, revisited［J］. Journal of the ACM, 2004, 51(4):557-594.

［10］NIETO J M G, MANULIS M, POETTERING B, et al. Publicly verifiable ciphertexts［C］// SCN'12: Proceedings of the 8th International Conference on Security and Cryptography for Networks, LNCS 7485. Berlin: Springer-Verlag, 2012: 393-410.

［11］CAMENISCH J, SHOUP V. Practical verifiable encryption and decryption of discrete logarithms［C］ CRYPTO’03： 23rd Annual International Cryptology Conference, LNCS 2729. Berlin: Springer-Verlag, 2003:126-144.

［12］CRAMER R, SHOUP V. A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack［C］// CRYPTO’98, LNCS 1462. Berlin: Springer-Verlag, 1998:13-25.

［13］冯登国. 可证明安全性理论与方法研究［J］. 软件学报，2005，16(10)：1743-1756.

［14］FUJISAKE E, OKAMOTO T. Statistical zero knowledge protocols to prove modular polynomial relations［C］// CRYPTO’97, LNCS 1294. Berlin: Springer -Verlag, 1997:1294:16-30.

［15］CHAUM D, WALLET P R. Databases with observers［C］//CRYPTO’92, LNCS 740. Berlin: Springer-Verlag, 1992::89-105.

[1]	苏靖枫, 柳菊霞. 不含双线性对的高效无证书聚合签密方案[J]. 计算机应用, 2018, 38(2): 374-378.
[2]	孙意如, 梁向前, 商玉芳. 理想格上基于身份的环签名方案[J]. 计算机应用, 2016, 36(7): 1861-1865.
[3]	任小康, 陈培林, 曹源, 李亚楠, 杨小东. 基于身份的服务器辅助验证部分盲签名方案[J]. 计算机应用, 2016, 36(11): 3098-3102.
[4]	明洋, 原红平, 孙变, 乔正阳. 标准模型下高效的基于身份匿名广播加密方案[J]. 计算机应用, 2016, 36(10): 2762-2766.
[5]	李作辉, 杨梦梦, 陈性元. 素数阶群上属性可重复的多授权机构基于属性的加密方案[J]. 计算机应用, 2015, 35(8): 2189-2194.
[6]	李少鲲. 标准模型下可证安全的无证书全同态加密体制[J]. 计算机应用, 2015, 35(2): 387-392.
[7]	明洋张琳韩娟周俊. 标准模型下广义指定验证者签密[J]. 计算机应用, 2014, 34(2): 464-468.
[8]	孙华孟坤. 标准模型下可证安全的有效无证书签密方案[J]. 计算机应用, 2013, 33(07): 1846-1850.
[9]	张雪枫魏立线王绪安. 无证书的可公开验证聚合签密方案[J]. 计算机应用, 2013, 33(07): 1858-1860.
[10]	李海峰蓝才会. 可公开验证的代理重加密签密方案[J]. 计算机应用, 2013, 33(04): 1055-1060.
[11]	柳欣雷文庆. 无随机预言的完全匿名多服务订购系统[J]. 计算机应用, 2013, 33(02): 417-429.
[12]	李希合杨小东. 一种改进的双向盲代理重签名方案[J]. 计算机应用, 2013, 33(02): 447-449.
[13]	王泽成. 标准模型下可证明安全的新公钥加密方案[J]. 计算机应用, 2013, 33(02): 441-446.
[14]	石贤芝林昌露张胜元唐飞. 标准模型下高效的门限签名方案[J]. 计算机应用, 2013, 33(01): 15-18.
[15]	余婷赵泽茂任锡沣. 标准模型下基于身份的高效环签名[J]. 计算机应用, 2012, 32(07): 2015-2017.

适应性选择密文安全的可公开验证加密方案

Adaptively-chosen ciphertext secure and publicly verifiable encryption scheme

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics