云环境下基于运算电路的同态认证方案

doi:10.11772/j.issn.1001-9081.2018020454

计算机应用 ›› 2018, Vol. 38 ›› Issue (9): 2543-2548.DOI: 10.11772/j.issn.1001-9081.2018020454

云环境下基于运算电路的同态认证方案

白平¹, 张薇^1,2, 王绪安^1,2

1. 武警工程大学密码工程学院, 西安 710086;
2. 武警工程大学信息安全保密重点实验室, 西安 710086

收稿日期:2018-03-07 修回日期:2018-05-17 出版日期:2018-09-10 发布日期:2018-09-06
通讯作者: 白平
作者简介:白平(1990—),男,内蒙古乌兰察布人,硕士研究生,主要研究方向:密码学;张薇(1976—),女,陕西西安人,教授,博士,主要研究方向:密码学、信息安全;王绪安(1981—),男,湖北公安人,副教授,博士,主要研究方向:密码学、信息安全。
基金资助:
国家密码发展基金资助项目（MMJJ20170112）。

Homomorphic MACs for arithmetic circuits on cloud environment

BAI Ping¹, ZHANG Wei^1,2, WANG Xu'an^1,2

1. College of cryptographic Engineering, Engineering University of the Chinese Armed Police Force, Xi'an Shaanxi 710086, China;
2. Key Laboratory of Network and Information Security, Engineering University of the Chinese Armed Police Force, Xi'an Shaanxi 710086, China

Received:2018-03-07 Revised:2018-05-17 Online:2018-09-10 Published:2018-09-06
Contact: 白平
Supported by:
This work is partially supported by the National Cryptography Development Fund of China (MMJJ20170112).

摘要/Abstract

摘要： 针对云服务器上数据验证效率低的问题，为能够在正确执行用户指令的情况下依然保持对数据的高效验证，构造了一种支持云环境下基于运算电路的同态认证方案。首先，利用标签生成算法对验证标签进行多项式表示；其次，调用转化算法对验证标签进行转化以达到满足同态验证的形式，同时利用同态解密算法对验证标签的大小进行降维处理；最后，运用验证算法对检索结果进行验证。结果表明，所提方案能够支持任意次乘法同态而不会增加验证标签维数，克服了验证标签增长缺陷，提高了验证效率，但其计算复杂度会随着增强电路输入位的增加而增加。

关键词: 同态认证, 运算电路, 同态解密, 数据完整性

Abstract: Focused on the low efficiency of verifying data on the cloud servers, to ensure correct execution of user's commands and high-efficient validation, a method supporting homomorphic MAC for arithmetic circuits on cloud environment was provided. Precise search was obtained through the following ways. Firstly, a label generation algorithm was used to represent a validation label with a polynomial. Secondly, a transformation algorithm was used to transform the validation label to satisfy homomorphic form, meanwhile, homomorphic decryption was used reduce the dimensionality of the label. Finally, a verification algorithm was used to verify the search result. Moreover, the scheme carries out infinite multiplicative homomorphism without increasing the size of verification labels, and is efficient. The drawback of the scheme is that the computational complexity increases with the increase of the input bits of enhancement circuit.

Key words: homomorphic MAC (Message AuthentiCator), arithmetic circuit, homomorphic decryption, data integrity

中图分类号:

TP309.7

白平, 张薇, 王绪安. 云环境下基于运算电路的同态认证方案[J]. 计算机应用, 2018, 38(9): 2543-2548.

BAI Ping, ZHANG Wei, WANG Xu'an. Homomorphic MACs for arithmetic circuits on cloud environment[J]. Journal of Computer Applications, 2018, 38(9): 2543-2548.

参考文献

[1] MEZGHANI K, AYADI F. Factors explaining IS managers attitudes toward cloud computing adoption[J]. International Journal of Technology and Human Interaction, 2016, 12(1):1-20.
[2] GENTRY C. Fully homomorphic encryption using ideal lattices[C]//STOC'09:Proceedings of the 41st Annual ACM Symposium on Theory of Computing. New York:ACM, 2009:169-178.
[3] APPLEBAUM B, ISHAI Y, KUSHILEVITZ E. From secrecy to soundness:efficient verification via secure computation[C]//Proceedings of the 2010 International Colloquium on Automata, Languages, and Programming, LNCS 6198. Berlin:Springer, 2010:152-163.
[4] CHUNG K M, KALAI Y, VADHAN S. Improved delegation of computation using fully homomorphic encryption[C]//Proceedings of the 2010 Annual Cryptology Conference, LNCS 6223. Berlin:Springer, 2010:483-501.
[5] GENNARO R, GENTRY C, PARNO B. Non-interactive verifiable computing:outsourcing computation to untrusted workers[C]//Proceedings of the 2010 Annual Cryptology Conference, LNCS 6223. Berlin:Springer, 2010:465-482.
[6] GENNARO R, WICHS D. Fully homomorphic message authenticators[C]//Proceedings of the 2013 International Conference on the Theory and Application of Cryptology and Information Security, LNCS 8270. Berlin:Springer, 2013:301-320.
[7] DAN B, LYNN B, SHACHAM H. Short signatures from the Weil pairing[C]//Proceedings of the 2001 International Conference on the Theory and Application of Cryptology and Information Security, LNCS 2248. Berlin:Springer, 2001:514-532.
[8] CATALANO D, FIORE D, GENNARO R, et al. Practical homomorphic MACs for arithmetic circuits[C]//Proceedings of the 2013 Annual International Conference on the Theory and Applications of Cryptographic Techniques, LNCS 7881. Berlin:Springer, 2013:336-352.
[9] BENABBAS S, GENNARO R, VAHLIS Y. Verifiable delegation of computation over large datasets[C]//CRYPTO'11:Proceedings of the 31st Annual Conference on Advances in Cryptology. Berlin:Springer, 2011:111-131.
[10] FIORE D, GENNARO R. Publicly verifiable delegation of large polynomials and matrix computations, with applications[C]//CCS'12:Proceedings of the 2012 ACM Conference on Computer and Communications Security. New York:ACM, 2012:501-512.
[11] PARNO B, RAYKOVA M, VAIKUNTANATHAN V. How to delegate and verify in public:verifiable computation from attribute-based encryption[C]//Proceedings of the 2012 Theory of Cryptography Conference, LNCS 7194. Berlin:Springer, 2012:422-439.
[12] SCHWARTZ J T. Fast probabilistic algorithms for verification of polynomial identities[J]. Journal of the ACM, 1980, 27(4):701-717.
[13] CATALANO D, FIORE D, GENNARO R, et al. Generalizing homomorphic MACs for arithmetic circuit[EB/OL].[2018-01-09]. https://www.iacr.org/archive/pkc2014/83830238/83830238.pdf.

云环境下基于运算电路的同态认证方案

Homomorphic MACs for arithmetic circuits on cloud environment

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics

[1]	卿欣艺, 陈玉玲, 周正强, 涂园超, 李涛. 基于中国剩余定理的区块链存储扩展模型[J]. 计算机应用, 2021, 41(7): 1977-1982.
[2]	李秀艳, 刘明曦, 史闻博, 董国芳. 面向资源受限用户的高效动态数据审计方案[J]. 计算机应用, 2021, 41(2): 422-432.
[3]	李兆斌, 刘泽一, 魏占祯, 韩禹. 基于哈希链的软件定义网络路径安全[J]. 计算机应用, 2019, 39(5): 1368-1373.
[4]	白平, 张薇, 李聪, 王绪安. 支持用户撤销的可验证密文检索方案[J]. 计算机应用, 2018, 38(6): 1640-1643.
[5]	王漫漫, 束永安. 多移动汇聚节点的无线传感网中基于服务质量的能耗[J]. 计算机应用, 2018, 38(3): 758-762.
[6]	郑奇斌, 刁兴春, 曹建军, 周星, 许永平. 结合局部敏感哈希的k近邻数据填补算法[J]. 计算机应用, 2016, 36(2): 397-401.
[7]	杨文文马春光黄予洛. 基于分布式认证的完整性保护数据融合方案[J]. 计算机应用, 2014, 34(3): 714-719.
[8]	贾磊王灵矫郭华许亚伟李娟. 基于主机标识协议的增强型分布式移动管理[J]. 计算机应用, 2014, 34(2): 341-345.
[9]	余星胡德敏黄超. 细粒度云存储数据完整性检测方法[J]. 计算机应用, 2014, 34(1): 27-30.
[10]	曹夕许力陈兰香. 云存储系统中数据完整性验证协议[J]. 计算机应用, 2012, 32(01): 8-12.
[11]	陈宏兵刘志军李千目许满武 . 可更新数据的数据完整性保护方法[J]. 计算机应用, 2006, 26(9): 2105-2108.