集合包含与几何包含的多方保密计算

多方保密计算是近几年国际密码学界研究的一个热点问题·研究了保密的集合包含与几何包含问题,提出集合包含问题的多方保密计算方案,在此基础上结合MonteCarlo方法与Cantor编码方法,提出了任意几何图形包含问题的近似多方保密计算方案·并利用模拟范例证明了方案的安全性·同已有的方案相比,提出的方案适用范围广、通信复杂性低;在解决已有方案可解决的同样问题时,某些情况下计算复杂性也比较低·

非加密方法安全计算集合包含关系

针对已存在的安全计算集合包含关系的协议大多基于多次公钥加密算法,计算复杂性较高,并且不能公开计算,应用受限的问题.提出了2种非加密安全计算集合包含关系的协议.协议1首先将集合包含问题转化为向量内积问题;然后利用数学难解问题解决了此问题;最后针对不可信第三方存在的应用场景,利用双线性对和数学难解问题给出了可公开判断集合包含关系的实用性协议2.协议1和协议2都没有使用任何公钥加密方法,避免了前人方案中繁琐的公私钥产生和加解密过程以及多次匹配查找,因此更加高效而简洁.此外,协议2开拓了保密判断集合关系的新应用场景.

保护私有信息集合包含协议的设计与分析

特殊安全多方计算问题是近几年国际密码学界一个研究热点。考虑了集合包含问题中的私有信息保护,然后基于同态加密的特殊性质设计了一个半诚实模型下保护私有信息的集合包含协议,并对协议的性能进行了分析。该协议在商业,合作医疗研究和数据挖掘等领域有着广阔的应用前景。

判断集合包含关系的安全计算协议

研究了安全计算中关于集合的问题:A拥有一个秘密的集合SA,B拥有一个秘密的集合SB(SA和SB来自一个全集),双方希望知道SA是否包含SB,但是不希望泄漏关于集合SA和SB的其它有用信息.针对此问题,提出了3个具有不同效率和安全性的安全计算协议.设集合SB的大小为NB.第1个协议基于叠加密(或者支持门限解密的加法同态加密方案),需要NB轮通信.另外两个协议基于普通的加法同态加密方案,仅需一轮通信.与同类成果比,前两个协议使用了新的集合表示法,第3个协议在输出结果阶段不需要门限解密,通信效率较好.

基于OpenMP的并行集合包含查询算法

集合包含查询分为子集、等值和超集3种查询,在多个领域有重要的研究意义和应用价值.随着集合数据集规模的不断增大,迫切需要提高集合包含查询的效率.集合包含查询并行化是解决这一问题的一条途径,基于OpenMP提出并行子集、等值和超集查询算法,这些算法采用反向索引结构,通过for循环并行化实现查询间的并行执行.为提高算法效率,设计2个高效的并行共享数据结构:1PVEC结构:用于存储并行查询结果.2CountArr数组:针对超集查询,用于对反向列表中的元素计数,并行线程可异步地对这两个结构进行访问.在MSWEB和DBLP 2个数据集上进行扩展实验,结果表明,实现的3种并行集合包含查询具有较高的效率,对3种查询在MSWEB数据集上均可达到4X以上的加速比.

非加密方法安全计算两种集合关系

已存在的安全计算集合关系的协议大多基于公钥加密算法,因此很难再嵌入到带有属性关系的公钥加密或密文搜索中.针对该问题,给出了非加密方法安全计算集合包含关系和集合交集的两个协议.首先,利用(n,n)秘密共享的思想,分别将原来的两个问题转化为集合相等问题;在此基础上,结合离散对数构造了安全计算集合包含关系的协议1和集合交集的协议2;最后的分析显示:该方案没有使用任何公钥加密方法,在保持了较优通信复杂性的同时,便于作为一种子模块嵌入到带有集合操作关系的公钥加密体制或者密文搜索体制中,从而丰富这些方案的功能.

非线性系统设计和分析中的SOS法

针对非线性控制系统的综合问题,提出了平方和(SOS)方法。SOS方法可以保证所求解的多项式总是非负的。给出了求解SOS问题的广义S方法。作为SOS方法的例子,详细分析了一个非线性系统的吸引域。给出了确定SOS问题中决策变量的方法。讨论了集合包含约束的确定和求解,并讨论了SOS问题求解中的保守性问题。SOS方法为不容易解析求解的非线性问题提供了一个方便的数值求解方法,故本文的方法将会有一个广阔的应用前景。

逻辑命题分解变换与模糊错误矩阵包含型集合方程求解研究

在前期研究的基础上,对错误矩阵的概念作一个介绍,在此基础上,且对于矩阵的每一行又恰好是一个模糊错误逻辑命题.因为构成这类模糊错误矩阵的元素是集合,所以这类模糊错误矩阵之间一般是集合关系式,而不只是通常方程的等式,研究这一类模糊错误矩阵方程解的存在性,求解的方法等是理论与实践的需要.以XA■B研究对象,研究得到模糊错误矩阵集合方程XA′=B解的存在性及给出求解的例子.