题名 基于重构顺序调整机制的理性秘密共享方案
被引量：2
1
作者
刘海 李兴华 马建峰
机构
西安电子科技大学计算机学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2015年第10期2332-2340,共9页
基金
国家自然科学基金面上项目(61372075) 国家自然科学基金联合基金项目(U1135002 +2 种基金 U1304606) 国家自然科学基金青年科学基金项目(61202389 61100230)
文摘
理性秘密共享的研究目标是通过引入自利的理性参与者,设计适用于现实环境的公平的秘密共享方案.然而,由于要求秘密分发者准确知道理性参与者的各种收益,且未考虑秘密重构博弈的稳定性,导致在现有理性秘密共享方案的执行过程中,不能完全避免出现遵循协议执行的参与者未获得共享秘密、而偏离协议执行的参与者却获得共享秘密的不公平情形.针对上述问题,结合机制设计的激励相容原理,通过让秘密分发者随机选择所需重构轮数,设计了能有效约束理性参与者自利性行为的重构顺序调整机制,构造具有未知重构轮数的理性秘密共享方案.分析表明所提方案能实现秘密重构博弈的子博弈完美均衡,确保秘密重构博弈的稳定性,使得所提方案的公平性得以保证.通过从通信方式、重构轮数和前提假设3个方面与现有典型方案进行对比分析,表明所提方案具有较好的实用性.
关键词
理性秘密共享 重构顺序调整机制 收益计算 公平性 子博弈完美均衡
Keywords
rational secret sharingreconstruction order adjustment mechanism payof f computing fair nesssubgame perfect equilibrium
分类号
TP316.7
[自动化与计算机技术—计算机软件与理论]
题名 可证明安全的理性委托计算协议
被引量：3
2
作者
田有亮 李秋贤 张铎 王琳杰
机构
贵州大学计算机科学与技术学院 贵州省公共大数据重点实验室 贵州大学数学与统计学院
出处
《通信学报》
EI
CSCD
北大核心
2019年第7期135-143,共9页
基金
国家自然科学基金资助项目(No.61772008) 贵州省教育厅科技拔尖人才支持基金资助项目(No.[2016] 060) +3 种基金 贵州省科技重大专项计划基金资助项目(No.20183001) 贵州省科技计划基金资助项目(No.[2017]5788) 教育部-中国移动科研基金资助项目(No.MCM20170401) 贵州大学培育基金资助项目(No.[2017]5788)~~
文摘
针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议。首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计算的安全需求,设计理性安全模型;再次,结合 Yao 的混淆电路可以随机化重用的优势及全同态加密技术,构造理性委托计算协议,且协议中参与者的策略组合可以达到纳什均衡状态;最后,根据理性安全模型证明了协议的安全性和输入输出的隐私性,且性能分析表明了协议的有效性。所提理性委托计算协议在满足传统安全性的同时,又考虑了参与者的行为偏好,更符合大数据环境下的委托计算模式。
关键词
理性委托计算 混淆电路 全同态加密 可证明安全
Keywords
rational delegate computation garble circuit full homomorphic encryption provable security
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 理性多方公平计算的模块化研究
被引量：1
3
作者
李涛 王伊蕾
机构
鲁东大学信息与电气工程学院 山东省软件工程重点实验室
出处
《密码学报》
CSCD
2016年第4期399-407,共9页
基金
国家自然科学基金青年项目(61502218) 山东省优秀中青年科学家科研奖励基金(BS2014DX016) +1 种基金 福建省网络安全与密码技术重点实验室(福建师范大学)开放课题(15004) 鲁东大学博士启动基金(LY2015033)
文摘
在理性安全多方计算中,公平性是指理性参与者要么同时得到计算结果要么同时得不到.理性协议下的纳什均衡可以保证公平性.然而对理性参与者来说,最优的公平性是同时得到计算结果.为了解决这个问题,必须引入新的均衡概念和公平性模型.根据理性协议中的参与者是否共同执行同一协议而构建一个网络,在网络中,理性参与者期望获得一个较好的声誉.因为好声誉可以带来较高的效用函数,而理性参与者的动机正是最大化其效用函数.为了体现声誉对效用函数的影响,首先研究了理性两方公平协议,将声誉引入到效用函数定义中,提出了cooperation-utility的概念.在该效用函数定义下,理性两方公平协议达到纳什均衡,并且理性参与者同时得到计算结果.此均衡对应最优公平性,称之为合作公平均衡(cooperate fair equilibrium,CFE).为了研究理性多方公平协议下的CFE,借鉴模块化的思想,构建了理性公平模型:将一个理性多方公平协议分成若干子模块,每个子模块是一个理性两方公平协议.最后证明,如果效用函数是cooperation-utility,理性多方公平协议可以达到CFE.
关键词
理性公平计算 效用函数 合作公平均衡 模块化 博弈论
Keywords
rational secure computation utility function fair ness equilibriummodularization game theory
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 通用可组合框架下的公平理性委托计算
4
作者
田有亮 蒋小霞
机构
贵州大学计算机科学与技术学院 贵州大学省部共建公共大数据国家重点实验室(筹) 贵州大学密码学与数据安全研究所
出处
《通信学报》
EI
CSCD
北大核心
2021年第9期106-119,共14页
基金
国家自然科学基金资助项目(No.U1836205,No.61662009,No.61772008) 贵州省科技计划基金资助项目(No.20183001,黔科合基础[2019]1098,黔科合平台人才[2020]6008,黔教合人才团队[2013]09) 贵阳市科技计划基金资助项目(筑科合[2021]1-5)。
文摘
为实现理性委托计算中的经济与信誉公平性,基于密码学的区块链模型提出了通用可组合(UC)框架下的公平理性委托计算方案。首先,结合直接信誉和间接信誉构建关于委托方与计算方的双向信誉激励模型。其次,基于博弈论构建具有完美信息的理性委托计算动态博弈模型,分析得到唯一子博弈纳什均衡。再次,根据理性委托计算场景中的可验证性安全需求、参与者理性决策需求、经济与信誉公平需求以及敌手模型,基于通用可组合理论提出公平理性委托计算理想函数。最后,结合简洁承诺证明和智能合约提出了可安全实现理想函数的公平理性委托计算协议。协议分析证明,所提协议满足UC安全性。
关键词
公平理性委托计算 通用可组合框架 智能合约 密码学的区块链模型
Keywords
fair and rational delegation of computation universally composable framework smart contract blockchain model of cryptography
分类号
TN92
[电子电信—通信与信息系统]
题名 委托计算下基于区块链的公平支付方案
被引量：7
5
作者
李沓 田有亮 向康 高鸿峰
机构
贵州大学计算机科学与技术学院 贵州大学密码学与数据安全研究所 贵州省公共大数据重点实验室 贵州大学网络与信息化管理中心
出处
《通信学报》
EI
CSCD
北大核心
2020年第3期80-90,共11页
基金
国家自然科学基金资助项目(No.61662009,No.61772008,No.U1836205) 贵州省教育厅科技拔尖人才支持基金资助项目(No.[2016]060) +4 种基金 贵州省科技重大专项计划基金资助项目(No.20183001) 教育部—中国移动科研基金研发基金资助项目(No.MCM20170401) 贵州大学培育基金资助项目(No.[2017]5788) 贵州省科技计划基金资助项目(No.[2019]1098) 贵州省科学技术基金资助项目(No.[2008]2121)。
文摘
传统委托计算中,由于参与者双方的自利行为,存在委托方抵赖和计算方不诚实计算等问题。在支付阶段,需采用第三方来保证支付的公平性,从而导致额外的开销且存在泄露参与者隐私的风险。利用博弈论分析了支付过程中双方达到纳什均衡解,提出一种基于比特币时间承诺的公平支付协议。首先,利用比特币时间承诺技术保证参与者支付的公平性;其次,利用区块链去中心化的特性来取代第三方服务保护各方隐私且实现责任溯源;最后从安全性和正确性对方案进行分析,证明了参与者在支付过程中诚实选择行为策略。所提方案不仅解决了传统委托计算中公平支付的难题而且保护了参与方的隐私。
关键词
委托计算 时间承诺 博弈论 公平支付
Keywords
delegation computation time commitment game theory fair payment
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 公平理性委托计算协议
被引量：3
6
作者
尹鑫 田有亮 王海龙
机构
贵州大学计算机科学与技术学院 贵州省公共大数据重点实验室(贵州大学) 贵州大学密码学与数据安全研究所
出处
《软件学报》
EI
CSCD
北大核心
2018年第7期1953-1962,共10页
基金
国家自然科学基金(61363068 61662009 +2 种基金 61772008) 贵州省教育厅科技拔尖人才支持项目(黔教合KY字[2016]060) 贵州大学研究生创新基金(院创201702)~~
文摘
传统委托计算的验证过程计算和通信开销较高,且参与者要么诚实,要么邪恶;理性委托计算是引入理性参与者,通过效用函数来保障计算结果的可靠性.首先在委托计算中引入博弈论,给出了唯一稳定均衡解.其次,基于比特币和Micali-Rabin的随机向量表示技术,设计一种新的理性委托计算协议.针对协议的公平性问题,参与双方分别提交特殊构造的比特币押金,保障参与者双方的利益;针对验证复杂问题,运用Micali-Rabin的随机向量表示技术,验证过程简单、高效,且不会泄漏关于计算结果的任何信息.最后,安全性和性能分析结果表明,该协议不但解决了传统委托计算的验证复杂问题,同时保证了诚实者的利益.王海龙(1993-),男,硕士,CCF学生会员,主要研究领域为密码学,安全协议.
关键词
理性委托计算 子博弈精炼纳什均衡 比特币 Micali-Rabin随机向量表示技术 博弈论
Keywords
rational delegation computation sub-game perfect Nash equilibrium bitcoin Micali-Rabin＇s rand om vector representationtechnique game theory
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 基于全同态加密的理性委托计算协议
被引量：5
7
作者
李秋贤 田有亮 王缵
机构
贵州大学计算机科学与技术学院 公共大数据国家重点实验室
出处
《电子学报》
EI
CAS
CSCD
北大核心
2019年第2期470-474,共5页
基金
国家自然科学基金(No.61772008) 贵州省教育厅科拔尖人才支持项目(黔教合KY字[2016]060) +3 种基金 贵州省科技重大专项计划(No.20183001) 贵州省科技计划项目(黔科合平台人才[2017]5788号) 教育部-中国移动科研基金研发(No.MCM20170401) 贵州大学培育项目(黔科合平台人才[2017]5788)
文摘
传统委托计算因需验证方验证其计算结果,从而导致协议效率低下.针对此问题,本文结合博弈委托代理理论和全同态加密技术,提出理性委托计算协议.该协议通过参与者之间的效用函数保证计算结果的正确性,无需验证方进行验证.首先,利用博弈委托代理理论,构造委托计算博弈模型;其次,结合全同态加密技术,构造理性委托计算协议;最后,对协议进行实验与分析,结果表明,该协议不但保证了安全性和正确性,并且全局可达帕累托最优.
关键词
理性委托计算 博弈论 效用函数 帕累托最优 全同态加密
Keywords
rational delegation computation game theory utility function Pareto optimality fully homomorphic encryption
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 基于智能合约的三方博弈防共谋委托计算协议
被引量：2
8
作者
周全兴 李秋贤 樊玫玫
机构
凯里学院大数据工程学院 贵州大学数学与统计学院
出处
《计算机工程》
CAS
CSCD
北大核心
2020年第8期124-131,138,共9页
基金
国家自然科学基金(61772008) 教育部-中国移动科研基金(MCM20170401) +3 种基金 贵州省科技计划项目(20175788) 贵州省科技重大专项计划项目(20183001) 贵州省教育厅科技拔尖人才支持项目(2016060) 贵州大学培育项目(20175788)。
文摘
大数据产业快速发展使得委托计算服务需求日趋增多,且委托计算效率在云计算支持下不断提高,然而传统委托计算协议需要验证计算结果,导致其计算效率降低。为此,提出一种基于智能合约的三方博弈理性委托计算协议。将博弈理论与传统委托计算相结合,采用信誉机制建立三方博弈委托计算模型,并使用以太坊区块链技术设计智能合约和理性委托计算协议,以保证计算结果的正确性。实验结果表明,与直接计算、传统委托计算协议相比,该协议计算时间更短、计算效率更高,可使三方博弈可达到贝叶斯纳什均衡。
关键词
理性委托计算 三方博弈 智能合约 以太坊 贝叶斯纳什均衡
Keywords
rational delegation computation three-party game smart contract Ethereum Bayesian Nash equilibrium
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 基于理性信任模型的理性委托计算协议
9
作者
冯能先 田有亮
机构
贵州大学计算机科学与技术学院 省部共建公共大数据国家重点实验室(筹) 贵州大学密码学与数据安全研究所
出处
《软件学报》
EI
CSCD
北大核心
2021年第6期1910-1922,共13页
基金
国家自然科学基金(61662009,61772008,U1836205) 贵州省科技重大专项计划(20183001) +1 种基金 贵州省科技计划(黔科合基础[2019]1098,ZK[2021]331) 贵州省高层次创新型人才项目(黔科合平台人才[2020]6008)。
文摘
传统的委托计算需要额外开销验证计算结果的正确性,导致委托计算效率较低、开销较大.针对此问题,结合博弈论与理性信任建模(rational trust modeling,简称RTM)的思想,提出了基于理性信任模型的理性委托计算协议.通过设置恰当的效用函数,激励计算方诚实执行协议,以此来保证计算结果的可靠性.首先,基于理性信任建模的思想构造理性信任模型,将服务器的生存周期作为效用函数的参数,设计满足委托计算参与者利益的效用函数,并分析协议中参与者的行为策略,当参与者采取"诚实"策略时,可以得到理性委托计算的纳什均衡点;其次,利用改进的NTRU(number theory research unit)公钥密码体制实现速度快、安全性高、具有抵抗量子计算攻击的能力的优点,结合Pedersen承诺方案,设计理性委托计算协议;最后,从正确性、安全性与性能这3个方面对协议进行分析,并通过实验证明生存周期对参与者效用的影响.结果表明,该协议可有效保证计算结果的可靠性.
关键词
理性委托计算 理性信任模型 博弈论 NTRU Pedersen承诺
Keywords
rational delegation computingrational trust modelgame theory NTRU Pedersen commitment
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
