基于隐私保护的可证明安全委托计算协议

doi:10.19678/j.issn.1000-3428.0058236

计算机工程 ›› 2021, Vol. 47 ›› Issue (5): 131-137. doi: 10.19678/j.issn.1000-3428.0058236

基于隐私保护的可证明安全委托计算协议

李秋贤¹, 周全兴¹, 王振龙¹, 丁红发², 潘齐欣¹

1. 凯里学院大数据工程学院, 贵州凯里 556011;
2. 贵州财经大学信息学院, 贵阳 550025

收稿日期:2020-05-03 修回日期:2020-06-28 发布日期:2021-05-11
作者简介:李秋贤(1992-),女,硕士研究生,主研方向为密码学、委托计算安全协议;周全兴,讲师;王振龙,教授;丁红发、潘齐欣,副教授。
基金资助:
贵州省高等学校教学内容和课程改革项目（2019170）；国家自然科学基金（61772008）；教育部-中国移动科研基金（MCM20170401）；贵州省教育厅科技拔尖人才支持项目（黔教合KY字[2016]060）；贵州省科技重大专项计划（20183001）；贵州省科技计划项目（黔科合平台人才[2017]5788号）；贵州省教育厅高校人文社科项目（2016FDY42）。

Provable Secure Delegation Computing Protocol Based on Privacy Protection

LI Qiuxian¹, ZHOU Quanxing¹, WANG Zhenlong¹, DING Hongfa², PAN Qixin¹

1. College of Big Data Engineering, Kaili University, Kaili, Guizhou 556011, China;
2. School of Information, Guizhou University of Finance and Economics, Guiyang 550025, China

Received:2020-05-03 Revised:2020-06-28 Published:2021-05-11

摘要/Abstract

摘要： 通过云计算提供的委托计算服务能够为委托方节省大量的计算时间和计算成本，但如何保证委托计算的隐私性和可证明安全性是具有挑战性的问题。结合全同态加密和多线性映射技术的优势，提出基于隐私保护的可证明安全多元多项式委托计算协议。根据委托计算的输入输出隐私安全需求设计委托计算安全模型，通过多线性映射方案和全同态加密技术构造任意第三方可公开验证的委托计算协议，并在标准模型下基于多线性Diffie-Hellman困难性问题假设证明协议的安全性与隐私性。实验与性能分析结果表明，该协议可保证安全性，同时能够减少计算成本，满足大数据环境下委托计算模式的应用需求。

关键词: 委托计算, 多线性映射, 全同态加密, 隐私保护, 可证明安全性

Abstract: Cloud-based delegation computing services can provide tremendous savings in time and computation costs for the delegate,but their privacy and provable security problems remain challenging.This paper combines fully homomorphic encryption and multi-linear mapping technology to propose a provable secure multivariate polynomial delegation computing protocol based on privacy protection.According to the input and output privacy security requirements of delegation computing,the delegation computing security model is designed.On this basis,a delegation computing protocol that is publicly verifiable to any third party is constructed by using the multi-linear mapping scheme and fully homomorphic encryption technology.Then the security and privacy of the protocol is verified based on the assumption of Multi-linear Diffie-Hellman(MDH) difficulty under the standard model.The results of the experiment and performance analysis show that this protocol ensures security and reduces the computing cost,meeting the application requirements of the delegation computing mode in big data environment.

Key words: delegation computing, multi-linear mapping, fully homomorphic encryption, privacy protection, provable security

中图分类号:

TP309

李秋贤, 周全兴, 王振龙, 丁红发, 潘齐欣. 基于隐私保护的可证明安全委托计算协议[J]. 计算机工程, 2021, 47(5): 131-137.

LI Qiuxian, ZHOU Quanxing, WANG Zhenlong, DING Hongfa, PAN Qixin. Provable Secure Delegation Computing Protocol Based on Privacy Protection[J]. Computer Engineering, 2021, 47(5): 131-137.

https://www.ecice06.com/CN/Y2021/V47/I5/131

参考文献

[1] ABO-ALIAN A,BADR N L,TOLBA M F.Data storage security service in cloud computing:challenges and solutions[M]//HASSANIEN A E,MOSTAFA F,MANAF M,et al.Multimedia forensics and security.Berlin,Germany:Springer,2017.
[2] ZHANG Yuqing,WANG Xiaofei,LIU Xuefeng,et al.Survey on cloud computing security[J].Journal of Software,2016,27(6):1328-1348.(in Chinese)张玉清,王晓菲,刘雪峰,等.云计算环境安全综述[J].软件学报,2016,27(6):1328-1348.
[3] PARNO B,RAYKOVA M,et al.How to delegate and verify in public:verifiable computation from attribute-based encryption[C]//Proceedings of TCC'12.New York,USA:ACM Press,2012:422-439.
[4] APPLEBAUM B,ISHAI Y,KUSHILEVITZ E.From secrecy to soundness:efficient verification via secure computation[C]//Proceedings of International Colloquium Conference on Automata,Languages and Programming.Berlin,Germany:Springer,2010:152-163.
[5] CHOI S,KATZ J,KUMARESAN R,et al.Multi-client non-interactive verifiable computation[C]//Proceedings of TCC'13.New York,USA:ACM Press,2013:499-518.
[6] ZHANG Y,BLANTON M.Efficient secure and verifiable outsourcing of matrix multiplications[C]//Proceedings of International Conference on Information Security.Berlin,Germany:Springer,2014:158-178.
[7] SUN Jiameng,ZHU Binrui,QIN Jing,et al.Confidentiality-preserving publicly verifiable computation[J].International Journal of Foundations of Computer Science,2018,28(6):799-818.
[8] HOHENBERGER S,LYSYANSKAYA A.How to securely outsource cryptographic computations[C]//Proceedings of TCC'05.New York,USA:ACM Press,2005:264-282.
[9] CHEN Xiaofeng,LI Jin,MA Jianfeng,et al.New algorithms for secure outsourcing of modular exponentiations[C]//Proceedings of ESORICS'12.Berlin,Germany:Springer,2012:541-556.
[10] GENNARO R,GENTRY C,PARNO B.Non-interactive verifiable computing:outsourcing computation to untrusted workers[C]//Proceedings of CRYPTO'10.Berlin,Germany:Springer,2010:465-482.
[11] BENABBAS S,GENNARO R,VAHLIS Y.Verifiable delegation of computation over large datasets[C]//Proceedings of CRYPTO'11.Berlin,Germany:Springer,2011:111-131.
[12] JIN Fangyuan,ZHU Yanqin,LUO Xizhao.Delegation of computation scheme based on verifiable fully homomorphic encryption[J].Computer Engineering,2012,38(23):150-153.(in Chinese)靳方元,朱艳琴,罗喜召.基于可验全同态加密的委托计算方案[J].计算机工程,2012,38(23):150-153.
[13] HALPEN J,TEAGUE V.Rational secret sharing and multiparty computation:extended abstract[C]//Proceedings of the 36th Annual ACM Symposium on Theory of Computing.New York,USA:ACM Press,2004:623-632.
[14] TIAN Youliang,PENG Changgen,LIN Dongdai,et al.Bayesian mechanism for rational secret sharing scheme[J].Science China Information Sciences,2015,58(5):1-13.
[15] ZHAO Qingsong,XU Huanliang.Delegation computation based on re-randomizable garbled circuit[J].Computer Engineering,2013,39(12):136-140.(in Chinese)赵青松,徐焕良.基于随机化混淆电路的委托计算[J]. 计算机工程,2013,39(12):136-140.
[16] LI Qiuxian,TIAN Youliang,WANG Zuan.Rational delegation computation protocol based on fully homomorphic encryption[J].Acta Electronica Sinica,2019,47(2):216-220.(in Chinese)李秋贤,田有亮,王缵.基于全同态加密的理性委托计算协议[J].电子学报,2019,47(2):216-220.
[17] TIAN Youliang,LI Qiuxian,ZHANG Duo,et al.Provably secure rational delegation computation protocol[J].Journal on Communications,2019,40(7):135-143.(in Chinese)田有亮,李秋贤,张铎,等.可证明安全的理性委托计算协议[J].通信学报,2019,40(7):135-143.
[18] WANG Ding,WANG Peng.Two birds with one stone:two-factor authentication with security beyond conventional bound[J].IEEE Transactions on Dependable and Secure Computing,2018,15(4):708-722.
[19] CHUANG P J,LIAO Y P.Efficient and secure cross-realm client-to-client password-authenticated key exchange[C]//Proceedings of the 26th International Conference on Advanced Information Networking and Applications.Washington D.C.,USA:IEEE Press,2012:1-5.
[20] WANG Ding,WANG Ping,WANG Chengyu.Efficient multi-factor user authentication protocol with forward secrecy for real-time data access in WSNs[J].ACM Transactions on Cyber-Physical Systems,2019,4(3):1-5.
[21] HE D B,KUMAR N,KHAN M K.Efficient privacy-aware authentication scheme for mobile cloud computing services[J].IEEE Systems Journal,2016,12(2):1621-1631.
[22] GENTRY C.Fully homomorphic encryption using ideal lattice[C]//Proceedings of STOC'09.New York,ACM Press,2009:169-178.
[23] KUPCU A.Incentivized outsourced computation resistant to malicious contractors[J].IEEE Transactions on Dependable & Secure Computing,2017,14(6):633-649.
[24] CHEN X F,LI J,SUSILO W.Efficient fair conditional payments for outsourcing computations[J].IEEE Transactions on Information Forensics & Security,2012,7(6):1687-1694.
[25] GENNARO R,GENTRY C,PARNO B.Non-interactive verifiable computing:outsourcing computation to untrusted workers[C]//Proceedings of CRYPTO'10.Berlin,Germany:Springer,2010:465-482.

选择文件类型/文献管理软件名称

选择包含的内容

基于隐私保护的可证明安全委托计算协议

Provable Secure Delegation Computing Protocol Based on Privacy Protection

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

[1]	郑清安, 董建成, 陈亮, 阮英清, 李锦松, 许林彬. 分布式可信数据管理与隐私保护技术研究[J]. 计算机工程, 2024, 50(7): 174-186.
[2]	熊世强, 何道敬, 王振东, 杜润萌. 联邦学习及其安全与隐私保护研究综述[J]. 计算机工程, 2024, 50(5): 1-15.
[3]	王栋, 王合建, 玄佳兴, 郑尚卓, 陈炳聪. 面向电力调度指令的区块链隐私可追踪存证方案[J]. 计算机工程, 2024, 50(5): 158-166.
[4]	卢晓天, 朴春慧, 杨兴雨, 白英杰. 基于贝叶斯网络的差分隐私高维数据发布技术研究[J]. 计算机工程, 2024, 50(5): 167-181.
[5]	张晓均, 李兴鹏, 唐伟, 郝云溥, 薛婧婷. 云-边融合的可验证隐私保护跨域联邦学习方案[J]. 计算机工程, 2024, 50(3): 148-155.
[6]	叶晓东, 赵迎迎, 孙永奇, 赵思聪, 刘真. 基于非定长编码和滑动窗口的隐私保护记录链接方法[J]. 计算机工程, 2024, 50(2): 154-164.
[7]	于莹莹, 丁红发, 蒋合领. 图数据精确最短距离的隐私保护外包计算方案[J]. 计算机工程, 2023, 49(9): 158-171.
[8]	邱天晨, 郑小盈, 祝永新, 封松林. 面向非独立同分布数据的联邦学习架构[J]. 计算机工程, 2023, 49(7): 110-117.
[9]	陈福安, 柳毅. 基于区块链的V2G无证书环签密隐私保护方案[J]. 计算机工程, 2023, 49(6): 34-41,52.
[10]	王群, 李馥娟, 倪雪莉, 夏玲玲, 梁广俊. 区块链隐私保护机制研究[J]. 计算机工程, 2023, 49(4): 1-13.
[11]	杨越佳, 华蓓, 钟志威, 高咪. 基于同态加密的隐私保护逻辑回归协同计算[J]. 计算机工程, 2023, 49(4): 23-31.
[12]	唐敏, 张宇浩, 邓国强. 一种高效的非交互式隐私保护逻辑回归模型[J]. 计算机工程, 2023, 49(4): 32-42,51.
[13]	张晓均, 刘庆, 郑爽, 王鑫, 薛婧婷, 王世雄. 支持隐私保护的可验证云端数据分享方案[J]. 计算机工程, 2023, 49(3): 49-57.
[14]	王静怡, 刘百祥, 方宁, 彭凌祺. 基于区块链与属性密码体制的匿名数据共享访问控制[J]. 计算机工程, 2023, 49(10): 41-52.
[15]	李尤慧子, 俞海涛, 殷昱煜, 高洪皓. 基于超级账本的集群联邦优化模型[J]. 计算机工程, 2023, 49(1): 22-30.

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

基于隐私保护的可证明安全委托计算协议

Provable Secure Delegation Computing Protocol Based on Privacy Protection

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价