-
题名基于区块链的大规模线性方程组外包计算方案
- 1
-
-
作者
丁艳
王娜
杜学绘
-
机构
信息工程大学
-
出处
《信息安全学报》
2025年第1期91-104,共14页
-
基金
国家自然科学基金(No.61802436,No.62102449)
河南省重点研发与推广专项(No.222102210069)资助。
-
文摘
随着云计算和大数据技术的发展,外包计算受到了越来越多的关注。外包计算为资源受限的用户解决复杂的计算问题提供了新的思路,但用户在外包过程中可能会面临数据隐私泄露、外包计算方案验证效率不高等问题,且外包计算中存在用户与外包计算者之间公平支付的问题。为解决这些问题,本文针对科学界和工程领域常见的大规模线性方程组的求解问题,结合区块链技术,提出了一种基于区块链的可审计大规模线性方程组求解外包计算方案。首先,利用稀疏矩阵盲化技术和随机加法分割方法构造了高效的外包计算方案,实现了用户外包数据的隐私保护和外包结果的可验证;其次,基于具有自动化和强制执行特点的智能合约,设计了一种新的外包计算智能合约,实现了外包计算结果的公开验证和用户与外包计算者之间的公平支付,并保障了用户和外包计算者双方的权益;同时,借助区块链不可篡改和可溯源等特性,将外包过程中所涉及的交互信息记录在区块链上,并提出了一种链上链下协同的可审计外包计算机制,实现了对外包计算者计算行为的公开审计,并能对恶意外包计算者进行追溯;最后,进行安全性分析和性能分析,并与现有的方案进行比较,证明所提方案是安全高效的且能实现用户与外包计算者之间的公平支付。
-
关键词
线性方程组
可验证外包计算
区块链
可审计
公平支付
-
Keywords
linear systems of equations
verifiable outsourcing computation
blockchain
auditable
fair payment
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名隐私保护的可验证多元多项式外包计算方案
被引量：6
- 2
-
-
作者
任艳丽
谷大武
蔡建兴
黄春水
-
机构
上海大学通信与信息工程学院
上海交通大学电子信息与电气工程学院
-
出处
《通信学报》
EI
CSCD
北大核心
2015年第8期23-30,共8页
-
基金
国家自然科学基金资助项目(61202367)
教育部高校博士点基金资助项目(20120073110094)
+1 种基金
上海市自然科学基金资助项目(12ZR1443700)
上海市教委创新基金资助项目(14YZ020)~~
-
文摘
随着云计算的发展和大数据时代的到来,如何对隐私数据进行外包计算且有效验证计算结果具有重要的现实意义。基于多线性映射和同态加密方案,提出了可验证的多元多项式外包计算方案,用户可准确验证外包计算结果的正确性。方案在标准模型中可证安全,且多项式函数和用户输入对于服务器都是保密的。分析表明,用户计算量远小于服务器的计算代价以及直接计算多项式函数。
-
关键词
云计算
大数据
多元多项式
可验证外包计算
多线性映射
-
Keywords
cloud computing
big data
multivariate polynomial
verifiable outsourcing computing
multilinear map
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于身份加密中可验证的私钥生成外包算法
被引量：7
- 3
-
-
作者
任艳丽
蔡建兴
黄春水
谷大武
-
机构
上海大学通信与信息工程学院
上海交通大学电子信息与电气工程学院
-
出处
《通信学报》
EI
CSCD
北大核心
2015年第11期61-66,共6页
-
基金
国家自然科学基金资助项目(61202367
61572309)
+1 种基金
教育部博士点基金资助项目(20120073110094)
上海市教委创新基金资助项目(14YZ020)~~
-
文摘
提出了包含私钥生成外包算法的基于身份加密方案,PKG将私钥生成的任务外包给服务器,并能有效验证外包结果的正确性。在标准模型中证明了方案的密文不可区分性和外包结果的可验证性,并对所提方案进行了仿真实现。实验结果表明,外包算法中PKG的计算量远小于直接生成用户私钥,且小于服务器的计算量。
-
关键词
云计算
大数据
基于身份加密
可验证外包计算
合数阶群
-
Keywords
cloud computing
big data
identity-based encryption
verifiable outsourcing computing
groups of compos-ite order
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
