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

Provably secure rational delegation computation protocol

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

A provably secure rational delegation computation scheme was proposed to solve the requirement of security issues in rational delegate computation. Firstly, game theory was introduced into delegation computation and according to rational participants behavior preferences analysis, a rational delegate computing game model was designed. Secondly, according to the equilibrium demand of game model and the security requirement of rational delegation computation, a rational security model was established. Thirdly, combining Yao's garbled circuit with its advantages of re-randomization, as well as full homomorphic encryption technology, the rational delegation computation protocol was constructed. And the combination of strategies in the protocol could reach the Nash equilibrium state. Finally, the security of the protocol and the privacy of the input and output were proved according to the rational security model, and the performance analy- sis shows the validity of the protocol. The proposed rational delegation computing protocol not only satisfies the tradi- tional security, but also considers the behavioral preference of participants, which is more in line with the delegation- computing mode under the big data environment.