期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
基于随机化混淆电路的委托计算 被引量:1
1
作者 赵青松 徐焕良 《计算机工程》 CAS CSCD 2013年第12期136-140,共5页
委托计算中的混淆电路用于保护用户输入输出的隐私,如果重复使用混淆电路进行计算,恶意计算方可能将上一次计算的标签输出作为输出,无法保证计算的安全性。为此,提出一种基于随机化混淆电路的委托计算方案。利用BHHO方案的加同态特性,... 委托计算中的混淆电路用于保护用户输入输出的隐私,如果重复使用混淆电路进行计算,恶意计算方可能将上一次计算的标签输出作为输出,无法保证计算的安全性。为此,提出一种基于随机化混淆电路的委托计算方案。利用BHHO方案的加同态特性,通过群Zp上的2个已知映射变换将0-1向量映射为同样长度的0-1向量,为混淆电路的每根电线随机选择比特置换,重新随机化设置电线标签和门电路的4个密文对。理论分析结果表明,该方案能有效解决混淆电路重复计算的安全问题,并且实现委托计算的用户隐私保护和结果可验证性。 展开更多
关键词 委托计算 随机化混淆电路 可重用 BHHO方案 计算
在线阅读 下载PDF
可证明安全的理性委托计算协议 被引量:3
2
作者 田有亮 李秋贤 +1 位作者 张铎 王琳杰 《通信学报》 EI CSCD 北大核心 2019年第7期135-143,共9页
针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议。首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计... 针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议。首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计算的安全需求,设计理性安全模型;再次,结合 Yao 的混淆电路可以随机化重用的优势及全同态加密技术,构造理性委托计算协议,且协议中参与者的策略组合可以达到纳什均衡状态;最后,根据理性安全模型证明了协议的安全性和输入输出的隐私性,且性能分析表明了协议的有效性。所提理性委托计算协议在满足传统安全性的同时,又考虑了参与者的行为偏好,更符合大数据环境下的委托计算模式。 展开更多
关键词 理性委托计算 混淆电路 全同态加密 可证明安全
在线阅读 下载PDF
通用可组合框架下的公平理性委托计算
3
作者 田有亮 蒋小霞 《通信学报》 EI CSCD 北大核心 2021年第9期106-119,共14页
为实现理性委托计算中的经济与信誉公平性,基于密码学的区块链模型提出了通用可组合(UC)框架下的公平理性委托计算方案。首先,结合直接信誉和间接信誉构建关于委托方与计算方的双向信誉激励模型。其次,基于博弈论构建具有完美信息的理... 为实现理性委托计算中的经济与信誉公平性,基于密码学的区块链模型提出了通用可组合(UC)框架下的公平理性委托计算方案。首先,结合直接信誉和间接信誉构建关于委托方与计算方的双向信誉激励模型。其次,基于博弈论构建具有完美信息的理性委托计算动态博弈模型,分析得到唯一子博弈纳什均衡。再次,根据理性委托计算场景中的可验证性安全需求、参与者理性决策需求、经济与信誉公平需求以及敌手模型,基于通用可组合理论提出公平理性委托计算理想函数。最后,结合简洁承诺证明和智能合约提出了可安全实现理想函数的公平理性委托计算协议。协议分析证明,所提协议满足UC安全性。 展开更多
关键词 公平理性委托计算 通用可组合框架 智能合约 密码学的区块链模型
在线阅读 下载PDF
基于可验全同态加密的委托计算方案 被引量:6
4
作者 靳方元 朱艳琴 罗喜召 《计算机工程》 CAS CSCD 2012年第23期150-153,共4页
为降低委托计算方案中委托方与计算方的计算量和通信量,提高有效计算率,利用可验的全同态加密方案构造非交互的委托计算方案。分析结果表明,该方案满足委托计算方案的健壮性、完整性要求,委托方的复杂度为Poly(,n,lbT),计算方的复杂度为... 为降低委托计算方案中委托方与计算方的计算量和通信量,提高有效计算率,利用可验的全同态加密方案构造非交互的委托计算方案。分析结果表明,该方案满足委托计算方案的健壮性、完整性要求,委托方的复杂度为Poly(,n,lbT),计算方的复杂度为Poly(,T),通信量为Poly(d,lbT)。与同类方案相比,验证过程更简单,有效计算率≥1/2。 展开更多
关键词 同态加密 可验全同态加密 委托计算 可验证计算 外包计算 计算
在线阅读 下载PDF
基于量子委托计算模式的半量子密钥协商 被引量:4
5
作者 陈振宇 杨阳 +1 位作者 季赛 刘文杰 《计算机工程》 CAS CSCD 北大核心 2018年第3期178-181,188,共5页
为降低量子设备的成本,更好地执行量子计算,提出基于量子委托计算模式的多方半量子密钥协商协议。引入量子委托计算模式,将酉操作、Bell测量等复杂量子操作委托到量子中心进行,而参与者仅需具备访问量子信道与制备单光子的简单能力。为... 为降低量子设备的成本,更好地执行量子计算,提出基于量子委托计算模式的多方半量子密钥协商协议。引入量子委托计算模式,将酉操作、Bell测量等复杂量子操作委托到量子中心进行,而参与者仅需具备访问量子信道与制备单光子的简单能力。为防止密钥信息被量子中心以及外部窃听者窃取,采用在目标量子态中插入混淆单光子的混淆策略来保证目标量子态的隐私性。分析结果表明,与其他量子密钥协商协议相比,参与者所需的量子能力显著降低,从而提升了协议的实际可行性。 展开更多
关键词 量子计算 量子委托计算 量子密钥协商 半量子密钥协商 单光子混淆策略
在线阅读 下载PDF
公平理性委托计算协议 被引量:3
6
作者 尹鑫 田有亮 王海龙 《软件学报》 EI CSCD 北大核心 2018年第7期1953-1962,共10页
传统委托计算的验证过程计算和通信开销较高,且参与者要么诚实,要么邪恶;理性委托计算是引入理性参与者,通过效用函数来保障计算结果的可靠性.首先在委托计算中引入博弈论,给出了唯一稳定均衡解.其次,基于比特币和Micali-Rabin的随机向... 传统委托计算的验证过程计算和通信开销较高,且参与者要么诚实,要么邪恶;理性委托计算是引入理性参与者,通过效用函数来保障计算结果的可靠性.首先在委托计算中引入博弈论,给出了唯一稳定均衡解.其次,基于比特币和Micali-Rabin的随机向量表示技术,设计一种新的理性委托计算协议.针对协议的公平性问题,参与双方分别提交特殊构造的比特币押金,保障参与者双方的利益;针对验证复杂问题,运用Micali-Rabin的随机向量表示技术,验证过程简单、高效,且不会泄漏关于计算结果的任何信息.最后,安全性和性能分析结果表明,该协议不但解决了传统委托计算的验证复杂问题,同时保证了诚实者的利益.王海龙(1993-),男,硕士,CCF学生会员,主要研究领域为密码学,安全协议. 展开更多
关键词 理性委托计算 子博弈精炼纳什均衡 比特币 Micali-Rabin随机向量表示技术 博弈论
在线阅读 下载PDF
委托计算下基于区块链的公平支付方案 被引量:7
7
作者 李沓 田有亮 +1 位作者 向康 高鸿峰 《通信学报》 EI CSCD 北大核心 2020年第3期80-90,共11页
传统委托计算中,由于参与者双方的自利行为,存在委托方抵赖和计算方不诚实计算等问题。在支付阶段,需采用第三方来保证支付的公平性,从而导致额外的开销且存在泄露参与者隐私的风险。利用博弈论分析了支付过程中双方达到纳什均衡解,提... 传统委托计算中,由于参与者双方的自利行为,存在委托方抵赖和计算方不诚实计算等问题。在支付阶段,需采用第三方来保证支付的公平性,从而导致额外的开销且存在泄露参与者隐私的风险。利用博弈论分析了支付过程中双方达到纳什均衡解,提出一种基于比特币时间承诺的公平支付协议。首先,利用比特币时间承诺技术保证参与者支付的公平性;其次,利用区块链去中心化的特性来取代第三方服务保护各方隐私且实现责任溯源;最后从安全性和正确性对方案进行分析,证明了参与者在支付过程中诚实选择行为策略。所提方案不仅解决了传统委托计算中公平支付的难题而且保护了参与方的隐私。 展开更多
关键词 委托计算 时间承诺 博弈论 公平支付
在线阅读 下载PDF
基于全同态加密的理性委托计算协议 被引量:5
8
作者 李秋贤 田有亮 王缵 《电子学报》 EI CAS CSCD 北大核心 2019年第2期470-474,共5页
传统委托计算因需验证方验证其计算结果,从而导致协议效率低下.针对此问题,本文结合博弈委托代理理论和全同态加密技术,提出理性委托计算协议.该协议通过参与者之间的效用函数保证计算结果的正确性,无需验证方进行验证.首先,利用博弈委... 传统委托计算因需验证方验证其计算结果,从而导致协议效率低下.针对此问题,本文结合博弈委托代理理论和全同态加密技术,提出理性委托计算协议.该协议通过参与者之间的效用函数保证计算结果的正确性,无需验证方进行验证.首先,利用博弈委托代理理论,构造委托计算博弈模型;其次,结合全同态加密技术,构造理性委托计算协议;最后,对协议进行实验与分析,结果表明,该协议不但保证了安全性和正确性,并且全局可达帕累托最优. 展开更多
关键词 理性委托计算 博弈论 效用函数 帕累托最优 全同态加密
在线阅读 下载PDF
区块链环境下用户身份匿名的量子委托计算协议 被引量:3
9
作者 王育齐 陈庚 钱伟中 《电子科技大学学报》 EI CAS CSCD 北大核心 2022年第6期802-811,共10页
在大数据背景下,数据安全与身份安全同等重要。其中,身份的盲性值得特别关注。为满足量子委托计算对数据与身份盲性的需求,提出一个在区块链环境下进行,能兼顾数据安全与身份安全的匿名量子委托计算协议。协议不依赖可信的第三方,用户... 在大数据背景下,数据安全与身份安全同等重要。其中,身份的盲性值得特别关注。为满足量子委托计算对数据与身份盲性的需求,提出一个在区块链环境下进行,能兼顾数据安全与身份安全的匿名量子委托计算协议。协议不依赖可信的第三方,用户能够匿名地参与委托计算协议,无需展示身份信息就可以完成委托的发送与结果的接收。在发送计算委托时,Alice使用环形网络对身份进行混淆以隐藏发送方。Bob使用受控量子隐形传态安全且匿名地反馈委托计算结果。另外,协议引入区块链技术协助第三方Charlie对用户的支付进行匿名审批。协议使用到的区块链与量子技术基本已实现,因此协议具有较高的可行性。进一步提出了改进协议,用户可以通过比对多委托方的计算结果来实现委托计算结果的可验证。该文提出的协议是一个面向大数据环境的实用协议框架,具有很好的迁移性。 展开更多
关键词 区块链 身份安全 量子委托计算 量子隐形传态
在线阅读 下载PDF
基于隐私保护的可证明安全委托计算协议 被引量:1
10
作者 李秋贤 周全兴 +2 位作者 王振龙 丁红发 潘齐欣 《计算机工程》 CAS CSCD 北大核心 2021年第5期131-137,共7页
通过云计算提供的委托计算服务能够为委托方节省大量的计算时间和计算成本,但如何保证委托计算的隐私性和可证明安全性是具有挑战性的问题。结合全同态加密和多线性映射技术的优势,提出基于隐私保护的可证明安全多元多项式委托计算协议... 通过云计算提供的委托计算服务能够为委托方节省大量的计算时间和计算成本,但如何保证委托计算的隐私性和可证明安全性是具有挑战性的问题。结合全同态加密和多线性映射技术的优势,提出基于隐私保护的可证明安全多元多项式委托计算协议。根据委托计算的输入输出隐私安全需求设计委托计算安全模型,通过多线性映射方案和全同态加密技术构造任意第三方可公开验证的委托计算协议,并在标准模型下基于多线性Diffie-Hellman困难性问题假设证明协议的安全性与隐私性。实验与性能分析结果表明,该协议可保证安全性,同时能够减少计算成本,满足大数据环境下委托计算模式的应用需求。 展开更多
关键词 委托计算 多线性映射 全同态加密 隐私保护 可证明安全性
在线阅读 下载PDF
基于智能合约的三方博弈防共谋委托计算协议 被引量:2
11
作者 周全兴 李秋贤 樊玫玫 《计算机工程》 CAS CSCD 北大核心 2020年第8期124-131,138,共9页
大数据产业快速发展使得委托计算服务需求日趋增多,且委托计算效率在云计算支持下不断提高,然而传统委托计算协议需要验证计算结果,导致其计算效率降低。为此,提出一种基于智能合约的三方博弈理性委托计算协议。将博弈理论与传统委托计... 大数据产业快速发展使得委托计算服务需求日趋增多,且委托计算效率在云计算支持下不断提高,然而传统委托计算协议需要验证计算结果,导致其计算效率降低。为此,提出一种基于智能合约的三方博弈理性委托计算协议。将博弈理论与传统委托计算相结合,采用信誉机制建立三方博弈委托计算模型,并使用以太坊区块链技术设计智能合约和理性委托计算协议,以保证计算结果的正确性。实验结果表明,与直接计算、传统委托计算协议相比,该协议计算时间更短、计算效率更高,可使三方博弈可达到贝叶斯纳什均衡。 展开更多
关键词 理性委托计算 三方博弈 智能合约 以太坊 贝叶斯纳什均衡
在线阅读 下载PDF
基于理性信任模型的理性委托计算协议
12
作者 冯能先 田有亮 《软件学报》 EI CSCD 北大核心 2021年第6期1910-1922,共13页
传统的委托计算需要额外开销验证计算结果的正确性,导致委托计算效率较低、开销较大.针对此问题,结合博弈论与理性信任建模(rational trust modeling,简称RTM)的思想,提出了基于理性信任模型的理性委托计算协议.通过设置恰当的效用函数... 传统的委托计算需要额外开销验证计算结果的正确性,导致委托计算效率较低、开销较大.针对此问题,结合博弈论与理性信任建模(rational trust modeling,简称RTM)的思想,提出了基于理性信任模型的理性委托计算协议.通过设置恰当的效用函数,激励计算方诚实执行协议,以此来保证计算结果的可靠性.首先,基于理性信任建模的思想构造理性信任模型,将服务器的生存周期作为效用函数的参数,设计满足委托计算参与者利益的效用函数,并分析协议中参与者的行为策略,当参与者采取"诚实"策略时,可以得到理性委托计算的纳什均衡点;其次,利用改进的NTRU(number theory research unit)公钥密码体制实现速度快、安全性高、具有抵抗量子计算攻击的能力的优点,结合Pedersen承诺方案,设计理性委托计算协议;最后,从正确性、安全性与性能这3个方面对协议进行分析,并通过实验证明生存周期对参与者效用的影响.结果表明,该协议可有效保证计算结果的可靠性. 展开更多
关键词 理性委托计算 理性信任模型 博弈论 NTRU Pedersen承诺
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部