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

摘要：

针对保护隐私的集合成员判定协议和集合相等判定协议泄露信息的缺陷，提出基于符号 OBDD的解决方案。将集合成员编码成二进制码，提取集合的特征函数；以连分数和Cantor编码为桥梁，将集合编码为自然数，构造该自然数的比较相等函数；利用 OBDD表示这2类函数，结合基于 OBDD的安全函数评估协议，提出解决保护私有信息的集合相等判定问题和集合成员判定问题的2个协议。所提出的协议克服了已有解决方案存在的安全问题，且有较好的执行效率。

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

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金61100025,61262030,61363030;广西自然科学基金2014GXNSFAA118354

在线出版日期：2015-10-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：315-320