可验证的安全矩阵行列式计算云外包协议

doi:10.3969/j.issn.1006-2475.2015.05.022

计算机与现代化

可验证的安全矩阵行列式计算云外包协议

(北京工业大学计算机学院，北京 100124)

收稿日期:2015-01-21 出版日期:2015-05-18 发布日期:2015-05-18
作者简介:申银杰(1989-)，男，江苏泰州人，北京工业大学计算机学院硕士研究生，研究方向：安全协议，密码学。
基金资助:
国家自然科学基金资助项目(61272044)

Verifiable and Secure Protocol for Outsourcing Matrix Determinant Computation to Malicious Cloud

(College of Computer Science, Beijing University of Technology, Beijing 100124, China)

Received:2015-01-21 Online:2015-05-18 Published:2015-05-18

摘要/Abstract

摘要： 云计算外包越来越流行的同时也带来了新的安全问题和挑战：输入/输出数据的隐私性和结果的可验证性。本文围绕云计算环境下的安全矩阵行列式计算外包展开研究，构建一个适用于大矩阵行列式计算的可验证的安全云外包协议，在客户端将原始矩阵盲化加密后传送到云服务器端执行计算，云服务器将计算结果和验证值返回给客户端进行解密和验证。理论分析表明，在恶意云的安全模型下协议满足正确性、输入/输出私密性、高效性和结果可验证性。

关键词: 云计算, 安全计算外包, 行列式计算

Abstract: Computation outsourcing to the cloud has become a popular application. This computing paradigm brings in some new security concerns and challenges, such as input/output privacy and result verifiability. A protocol is designed to enable secure, robust cheating resistant, and efficient outsourcing of matrix determinant computation to a malicious cloud. Client encrypts the original matrix and then transfers it to cloud server to compute. Analysis shows that the proposed protocol is correct, secure, and robust cheating resistant. Extensive theoretical analysis also shows its high-efficiency.

Key words: cloud computation, secure computation outsource, determinant computation

中图分类号:

TP309

申银杰. 可验证的安全矩阵行列式计算云外包协议[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2015.05.022.

SHEN Yin-jie. Verifiable and Secure Protocol for Outsourcing Matrix Determinant Computation to Malicious Cloud[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2015.05.022.

参考文献

[1] Martinez Gregorio, Zeadally Sherali, Chao Han-Chieh. Editorial: Cloud computing service and architecture models[J]. Information Sciences, 2014,258:353-354.

[2] Lloret Jaime, Garcia Miguel, Tomas Jesus, et al. Architecture and protocol for intercloud communication[J]. Information Sciences, 2014,258:434-451.

[3] Armbrust Michael, Fox Armando, Griffith Rean, et al. A view of cloud computing[J]. Communications of the ACM, 2010,53(4):50-58.

[4] Vera-del Campo Juan, Pegueroles Josep, Hernández-Serrano Juan, et al. DocCloud: A document recommender system on cloud computing with plausible deniability[J]. Information Sciences, 2014,258:387-402.

[5] Hohenberger S, Lysyanskaya A. How to securely outsource cryptographic computations[C]// Proceedings of the 2nd Theory of Cryptography Conference. 2005:264-282.

[6] Atallah M J, Pantazopoulos K N, Rice J R, et al. Secure outsourcing of scientific computations[J]. Advances in Computers, 2002,54:215-272.

[7] Atallah M J, Li Jiangtao. Secure outsourcing of sequence comparisons[J]. International Journal of Information Security, 2005,4(4):277-287.

[8] Benjamin D, Atallah M J. Private and cheating-free outsourcing of algebraic computations[C]// Proceedings of the 6th Annual Conference on Privacy, Security and Trust (PST’08). 2008:240-245.

[9] Paillier P. Public-key cryptosystems based on composite degree residuosity classes[C]// Proceedings of the EUROCRYPT’99. 1999:223-238.

[10] Even S, Goldreich O, Lempel A. A randomized protocol for signing contracts[J]. Communications of the ACM, 1985,28(6):637-647.

[11] Atallah M J, Frikken K B. Securely outsourcing linear algebra computations[C]// Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security. 2010:48-59.

[12] Shamir A. How to share a secret[J]. Communications of the ACM, 1979,22(11):612-613.

[13] Mohassel Payman. Efficient and Secure Delegation of Linear Algebra[DB/OL]. http://eprint.iacr.org/2011/605.pdf, 2012-08-18.

[14] 任晓霞,黄宏宇. 安全高效的大矩阵行列式计算云外包协议[J]. 计算机工程与应用, 2014,50(10):82-86.

[15] Lei Xinyu, Liao Xiaofeng, Huang Tingwen, et al. Achieving security, robust cheating resistance, and high-efficiency for outsourcing large matrix multiplication computation to a malicious cloud[J]. Information Sciences, 2014,280:205-217.

[16] 胡杏,裴定一,唐春明,等. 可验证安全外包矩阵计算及其应用[J]. 中国科学:信息科学, 2013,43(7):842-852.

可验证的安全矩阵行列式计算云外包协议

Verifiable and Secure Protocol for Outsourcing Matrix Determinant Computation to Malicious Cloud

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

[1]	何玉鹏, 陶勇, 王必恒, 赵英男. 智能配电网边缘计算研究现状与展望[J]. 计算机与现代化, 2023, 0(08): 87-92.
[2]	杨波, 徐胜超. 基于SRv6服务链的云网专线场景安全防护方法[J]. 计算机与现代化, 2023, 0(08): 107-111.
[3]	毛明扬, 徐胜超. 可信赖云计算的通信终端攻击行为识别算法[J]. 计算机与现代化, 2022, 0(11): 37-42.
[4]	曹禹, 李晓辉, 刘忠麟, 贾贺, 费志伟. 云环境大数据工作流编排管理系统研究综述[J]. 计算机与现代化, 2022, 0(01): 41-53.
[5]	张晓敏. 基于布隆过滤器属性基的多关键词可搜索方案[J]. 计算机与现代化, 2021, 0(08): 104-111.
[6]	邓斌涛, 徐胜超. 基于动态双子种群的差分进化K中心点聚类算法[J]. 计算机与现代化, 2021, 0(07): 54-59.
[7]	吴君才, 刘雪芳. 基于云计算和深度信念网络的数字资源配置[J]. 计算机与现代化, 2021, 0(05): 78-82.
[8]	陆歌皓, 杨丹妮. 区块链即服务的发展现状与展望[J]. 计算机与现代化, 2020, 0(10): 31-35.
[9]	梁慈1,陈世平2. 基于包簇映射架构的包漂移策略研究[J]. 计算机与现代化, 2019, 0(11): 112-.
[10]	丁顺1,陈世平2. 基于包簇映射机制的实验平台建设及应用[J]. 计算机与现代化, 2019, 0(11): 120-.
[11]	文婷婷,李洪赭. 面向云服务平台的弹性负载均衡算法[J]. 计算机与现代化, 2019, 0(10): 28-.
[12]	袁敏夫，李引，陈胜俭，郑翔蔚. 基于云平台的区块链组网方案及数据共享存储机制[J]. 计算机与现代化, 2019, 0(09): 46-.
[13]	王少强,王宇. 基于边缘计算的新型数据处理系统[J]. 计算机与现代化, 2019, 0(07): 15-.
[14]	周博1，李亚琼1，刘永波1，李守超1，宋云奎2. 面向云计算的期限约束的MapReduce作业调度方法[J]. 计算机与现代化, 2018, 0(11): 51-.
[15]	王旭1,2，倪宏2，韩锐2. 基于拍卖的数据中心资源匹配算法[J]. 计算机与现代化, 2018, 0(10): 114-.