可证明安全的理性委托计算协议

TP309; 针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议.首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计算的安全需求,设计理性安全模型;再次,结合Yao的混淆电路可以随机化重用的优势及全同态加密技术,构造理性委托计算协议,且协议中参与者的策略组合可以达到纳什均衡状态;最后,根据理性安全模型证明了协议的安全性和输入输出的隐私性,且性能分析表明了协议的有效性.所提理性委托计算协议在满足传统安全性的同时,又考虑了参与者的行为偏好,更符合大数据环境下的委托计算模式....

Full description

Saved in:
Bibliographic Details
Published in通信学报 Vol. 40; no. 7; pp. 135 - 143
Main Authors 田有亮, 李秋贤, 张铎, 王琳杰
Format Journal Article
LanguageChinese
Published 贵州大学计算机科学与技术学院,贵州贵阳 550025 25.07.2019
贵州省公共大数据重点实验室,贵州贵阳 550025%贵州大学计算机科学与技术学院,贵州贵阳,550025%贵州大学计算机科学与技术学院,贵州贵阳 550025
贵州大学数学与统计学院,贵州贵阳 550025
Subjects
理性委托计算
全同态加密
可证明安全
混淆电路
Online AccessGet full text
ISSN1000-436X
DOI10.11959/j.issn.1000-436x.2019133

Cover

More Information
Summary:TP309; 针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议.首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计算的安全需求,设计理性安全模型;再次,结合Yao的混淆电路可以随机化重用的优势及全同态加密技术,构造理性委托计算协议,且协议中参与者的策略组合可以达到纳什均衡状态;最后,根据理性安全模型证明了协议的安全性和输入输出的隐私性,且性能分析表明了协议的有效性.所提理性委托计算协议在满足传统安全性的同时,又考虑了参与者的行为偏好,更符合大数据环境下的委托计算模式.
ISSN:1000-436X
DOI:10.11959/j.issn.1000-436x.2019133