基于双服务器模型的可公开验证多元多项式外包计算方案
来源：计算机应用杂志2018年第2期北京时间：
作者：罗小双, 杨晓元, 李聪, 王绪安
单位：1. 武警工程大学 密码工程学院, 西安 710086;2. 网络与信息安全武警部队重点实验室, 西安 710086
摘要：结合云安全外包计算中的隐私保护问题，针对任意多元多项式函数的外包计算，利用同态加密算法和多线性映射，构造了基于双服务器模型的可公开验证外包计算方案。该方案能够保证多项式函数输入与输出的隐私性和安全性，用户或者任意第三方都可以对云服务器计算的结果进行验证，实现了可公开验证性和可用性。云返回给用户的结果处于密文状态，只有拥有解密密钥的用户才能够输出最终的结果，一定程度上保证了计算结果的安全性。分析结果表明，该方案在标准模型下能够达到输入的选择明文攻击（CPA）安全，用户的计算代价远远小于服务器以及直接计算多项式函数的计算代价。
关键词：外包计算,多元多项式,同态加密,多线性映射
基金资助：国家自然科学基金资助项目（U1636114，61572521）；国家密码发展基金资助项目（MMJJ20170112）；国家重点研发计划项目（2017YFB0802002）；陕西省自然科学基金资助项目（2016JQ6037）。
