摘要
基于现有的模指数外包方案中单个服务器验证概率较低,以及2个服务器完全可验证需要多次交互等问题,设计了2个不可信的服务器模型下非交互式可验证的模指数安全外包方案.利用逻辑分割的方式,保护用户数据的隐私性;利用安全外包形式化定义证明了该外包方案是安全的.方案具有以下优势:输入数据具有保密性;服务器与用户不需要交互;服务器计算的每一部分结果都可以验证.相比于其他方案,提出的方案同时具有完全可验证性、输入保密性和非交互性的优势.
In this paper,a non-interactive and verifiable outsourcing computation scheme for modular exponentiation under two untrusted server models was designed,which is based on limitations of the existing modular exponential outsourcing schemes,such as the low probability of single server validation and the need for multiple interactions between two fully verifiable servers.The proposed scheme protects the privacy of user data by logical segmentation,and the formal definition of security outsourcing proves that the outsourcing scheme is secure.The scheme has the following advantages:The input data is confidential.There is no interaction between the server and the user.Each part of the results calculated by the server can be verified.Compared with existing schemes,the proposed scheme has the advantages of complete verifiability,input confidentiality and non-interactivity.
作者
李朝珍
林昌露
黄可可
LI Chaozhen;LIN Changlu;HUANG Keke(College of Mathematics and Informatics,Fujian Normal University,Fuzhou 350117,China;Fujian Provincial Key Lab of Network Security&Cryptology,Fujian Normal University,Fuzhou 350007,China;Chongqing Municipal Key Laboratory of Cyberspace and Information Security,Chongqing 400065,China;Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China)
出处
《福建师范大学学报（自然科学版）》
CAS
2021年第2期31-38,共8页
Journal of Fujian Normal University：Natural Science Edition
基金
国家自然科学基金资助项目(U1705264)
福建省自然科学基金资助项目(2019J01275)
广西可信软件重点实验室研究课题(KX202039)。
关键词
外包计算
可验证计算
模指数
恶意敌手
outsourcing computation
verifiable calculation
modular exponentiation
malicious adversary
