可验证的凸二次规划安全外包协议
Verifiable and secure outsourcing protocol for convex quadratic programming作者机构:西安电子科技大学数学与统计学院陕西西安710071 桂林电子科技大学广西信息科学实验中心广西桂林541004
出 版 物:《哈尔滨工程大学学报》 (Journal of Harbin Engineering University)
年 卷 期:2016年第37卷第9期
页 面:1307-1312页
核心收录:
学科分类:07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金:国家自然科学基金资助项目(61472470 61100229) 陕西省自然科学基金资助项目(2014JM2-6091 2015JQ1007)
摘 要:为了降低资源受限用户求解凸二次规划问题的计算量,提出了可验证安全的凸二次规划外包计算协议。新协议首次引入置换技术,将原始问题盲化转换成随机问题,然后外包给云服务器求解,最后验证服务器返回结果,减少了用户端的计算量。安全性分析表明,在完全恶意模型下,新协议可以保证输入输出数据的隐私性,且能以最优的概率检测出云服务器的不诚实行为。仿真实验表明,与现有协议相比,新协议中用户在转换和验证阶段所需时间明显降低。