CAJ | 학술논문

针对保护隐私的集合成员判定协议和集合相等判定协议泄露信息的缺陷，提出基于符号 OBDD的解决方案。将集合成员编码成二进制码，提取集合的特征函数；以连分数和Cantor编码为桥梁，将集合编码为自然数，构造该自然数的比较相等函数；利用 OBDD表示这2类函数，结合基于 OBDD的安全函数评估协议，提出解决保护私有信息的集合相等判定问题和集合成员判定问题的2个协议。所提出的协议克服了已有解决方案存在的安全问题，且有较好的执行效率。
침대보호은사적집합성원판정협의화집합상등판정협의설로신식적결함，제출기우부호 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.