基于符号OBDD的保护隐私集合运算协议  

Privacy-preserving set operations protocols based on symbolic OBDD

作　　者：陈益师 古天龙[1] 徐周波[1] 宁黎华[1] 

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

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

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

摘　　要：针对保护隐私的集合成员判定协议和集合相等判定协议泄露信息的缺陷,提出基于符号OBDD的解决方案。将集合成员编码成二进制码,提取集合的特征函数;以连分数和Cantor编码为桥梁,将集合编码为自然数,构造该自然数的比较相等函数;利用OBDD表示这2类函数,结合基于OBDD的安全函数评估协议,提出解决保护私有信息的集合相等判定问题和集合成员判定问题的2个协议。所提出的协议克服了已有解决方案存在的安全问题,且有较好的执行效率。Because the existing set member decision protocol and set equality protocol leak the private information of the sets, the protocols based on ordered binary decision diagram are proposed. The characteristic function of a set is extracted by en- coding the set members into binary code. In addition, using continued fraction and Cantor coding as a bridge, the set is enco- ded into a natural number, and then an equal function of the natural number is constructed. OBDD is used to represent the two kinds of functions, combined with security function evaluation protocols based on the OBDD, set member decision prob- lem and set equality problem are solved. Compared with the existing protocols, the two new ones can solve the security is- sues, and they have good execution efficiency.

关 键 词：集合成员判定 集合相等 连分数 Cantor编码 

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