基于分支程序逆向评估的安全多方计算  

Secure multi-party computation based on branch program reverse evaluation

作　　者：俞强生 古天龙[1] 徐周波[1] 宁黎华[1] 

机构地区：[1]桂林电子科技大学广西可信软件重点实验室,广西桂林541004

出　　处：《桂林电子科技大学学报》2015年第3期222-227,共6页Journal of Guilin University of Electronic Technology

基　　金：国家自然科学基金(61100025;61262030;61363030);广西自然科学基金(2014GXNSFAA118354)

摘　　要：针对传统决策函数表示计算复杂度高、编码规模大、参与者局限于2方问题,提出一个基于边值二叉决策图和分支程序逆向评估的解决方案。引入边值二叉决策图(EVBDD)技术,给出一种基于EVBDD的安全2方计算协议;引入分支程序逆向评估方法,将安全计算参与者由传统的2方扩展到多方;借助基于边值二叉决策图的安全计算协议为基础协议,设计一个基于分支程序逆向评估安全多方计算协议;对协议的正确性、安全性和效率进行分析。与现有解决方案相比,新协议提高了效率,弥补了因隐私泄漏出现的安全问题。To reduce computational complexity,code size and expand the number of participants,a solution based on edge-value binary decision diagram and branch program reverse evaluation is proposed.Edge-valued binary decision diagram （EVBDD）is introduced to descript decision function,and a new secure two-party computation protocol based on EVBDD is designed.A branch program reverse evaluation is proposed to extend the participants from two-party to multi-party.And with the aid of the basic protocol based on edge-value binary decision diagram,a new secure multi-party computation based branch program reverse evaluation is designed.Correctness,security and efficiency of the new protocol are analyzed.Com-pared with the existing solutions,the proposed protocol is more efficient and fixes the security problem on privacy.

关 键 词：安全多方计算 决策函数 边值二叉决策图 分支程序 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]