矩阵特征值的两方安全保密计算

对两方安全保密计算线性方程、线性回归、线性最小二乘问题的安全计算问题进行了研究，使用一个新的通讯量更小的保密置换协议，给出了计算矩阵特征值、特征向量问题的两方安全计算协议，解决了矩阵特征值、矩阵特征向量等的安全保密计算问题.     

求解非线性方程和方程组的安全两方计算协议

以不经意传输协议为基础,给出一元二次方程求解的安全两方计算协议,并以此为子协议给出一类特殊非线性方程组求解的安全两方计算协议,对协议的正确性和安全性进行说明。     

恶意模型下公平的安全两方计算协议

安全多方计算通过参与者自行进行信息交互和计算完成,信息交换和计算对协议的公平性有很大影响。在恶意模型下基于m/2-out-of-m方法和知识承诺方案,提出一种两方公平交换协议,并用该协议构造一个满足公平性的安全两方计算协议。     

保密计算高维向量差的范数及其应用

几何问题的安全多方计算在保密位置判断、保密数据查询等方面有着重要的应用价值.目前安全多方计算几何问题的研究主要集中在平面几何,较少涉及空间几何.利用两方置换协议设计了空间几何中两个高维向量差的范数计算协议,并用模拟范例证明此方案的安全性;避免了高次模指数运算,提高了效率,适用于任何高维向量;给出了保密判断两组数据是否对应成比例的协议,并将数据对应成比例问题转化成三角形构成问题,避免了多次调用提高了效率.     

保护私有信息的两方求第k小元协议

针对隐私计算需求,提出了一个两方不等长数列的第k小元计算协议。首先通过填充隐藏数列长度,然后将其转化为求取中位元问题,继而利用分治策略,最坏情况下进行O(log k)次秘密比较,在保持两方数据隐私的前提下安全的求出了两方数列共同的第k小元。最后证明了协议的正确性和安全性。经过分析认为协议可作为基础协议应用于更复杂的安全应用场合。     

基于移动代理的网格计算安全基础架构研究

采用基于场景的安全分析方法,系统的分析了网格计算的安全需求,提出了基于移动代理的安全基础架构-MAbGSI(MobileAgentbasedGridSecurityInfrastructure),并给出了安全框架及其交互协议,最后讨论了一些实现细节问题。     

一种基于纠错码的数字签名协议

基于纠错码中的NPC问题——陪集重量问题和一般线性码译码问题,首先提出了一个数字签名协议,接着对签名协议提供几种可能的攻击方法,例如穷举攻击、仅知密文攻击、选择明文攻击和利用密钥伪造签名,进行安全性分析,并且给出相应安全性分析的计算复杂度,介绍了四种Goppa码的参数及其相应数字签名协议的安全水平.通过实例分析该签名协议的可行性,即协议过程是矩阵之间的运算,分析了协议的计算效率,计算了密钥量,用示意图表示了正确解密的概率.结果表明:该协议不仅能实现签名和加密,而且实现复杂度低、加解密效率高,具有抵抗量子计算的潜力,能够广泛应用于电子交易过程.     

双向零知识证明与初等函数两方保密计算

提出了双向零知识证明的概念,研究了双向零知识证明与传统的零知识证明之间的关系,设计了两个最基本的双向零知识证明协议。提出并研究双向零知识证明的目的是希望用双向零知识的思想,研究多方安全计算问题。将双向零知识证明协议用于构造两方保密计算协议,取得了一些结果：设计了容忍恶意行为的指数函数,幂函数,对数函数,三角函数的两方安全计算协议：研究了健忘计算多项式的协议。     

信息论安全的3个基础外包计算协议及空间位置关系保密判定

现存的安全几何计算协议大多采用公钥加密方法保护数据隐私,计算成本较大。当计算能力不强的用户解决复杂问题时,效率往往较低。针对这些问题,避开公钥加密的方法,而是利用矩阵论中一些特殊函数的性质和随机数混淆的方法来保护数据隐私,并且为了进一步提高效率,将大量的用户计算外包出去。在此基础上,首先设计了常用的3个基础向量外包计算协议,分别是安全外包计算的向量模长计算协议,向量内积计算协议和向量夹角计算协议,并利用模拟范例证明了协议的安全性,然后利用这3个基础协议进一步解决了现实意义中如何保密判断空间面与面位置关系的问题,并给出了具体协议。最后,通过理论分析与实验仿真显示:由于协议没有使用公钥加密的方法,因此达到了信息论安全;并且由于外包计算的使用,为用户节省了更多的计算成本,取得了比较高的效率;此外,协议能够解决的问题也更加广泛,可作为新的云计算技术的基础协议应用到安全多方计算的其它分支中。     

一种高效保持隐私数据挖掘协议的实现

简要介绍了数据挖掘和安全多方计算,提出了一种高效的基于安全多方计算的保持隐私数据挖掘协议,并对协议的安全性、公平性、有效性和复杂度进行了分析.     

关于矩阵Frobenius秩不等式的等式条件

讨论了Frobenius秩不等式的等式问题,给出Frobenius不等式一种新证法,并得到Frobenius不等式等号成立的两个充分必要条件.进一步刻画了任一方阵的两个多项式之积为零矩阵的秩特征.     

矩阵多项式秩的一个恒等式及其应用

证明了矩阵A的两个矩阵多项式秩的和等于它们最大公因式与最小公倍式秩的和.其结果 不仅概括了已有文献的相关结论 ,而且作为应用解决了关于矩阵的一次多项式秩的恒等式的两个猜想.     

矩阵展形和矩阵秩的注记

首先在原有矩阵的基础上构造新的矩阵,然后对原矩阵特征值模的平方和的上界值进行估计得到新的上界值,进而给出矩阵展形及矩阵秩的一些新的估计值;最后,给出的数值算例表明结果是有效的.     

分块矩阵及矩阵和的秩

用分块矩阵的广义逆矩阵给出了分块矩阵的秩与子块秩的关系，及三个矩阵和的秩的范围。     

矩阵加法的一种新的定义及其性质的讨论

本文利用分块矩阵将矩阵直接和的概念加以扩充，引入矩阵加法的一种新的定义方式，并对其性质进行了一些初步的讨论。     

Secure multi-party computation solution to Yao''s millionaires'' problem based on set-inclusion

Secure multi-party computation is a focus of international cryptography in recent years. Protocols for Yao's millionaires' problem have become an important building block of many secure multi-party computation protocols. Their efficiency are crucial to the efficiency of many secure multi-party computation protocols. Unfortunately, known protocols for Yao's millionaires' problem have high computational complexity or communication complexity. In this study, based on the 1-out-of-m oblivious transfer and set-inclusion problem, we propose a new protocol to solve this problem. This new protocol is very efficient in terms of both computational and communication complexities. Its privacy-preserving property is also proved by simulation paradigm which is generally accepted in the study of secure multi-party computation. We also compare the information leakage of our new protocol and the known protocols.     

复矩阵的对称满秩分解

在矩阵的正交三角分解、奇异值分解的基础上,给出了复矩阵的Hermite标准形的求解方法,得到了将复矩阵分解为一个酉矩阵和Hermite半正定矩阵的乘积,以及分解为满秩矩阵与幂等矩阵之乘积的方法.证明了复方阵可分解为一个复对称矩阵与一个复对称满秩矩阵之积.进一步给出了复满秩阵分解为两个Hermite酉矩阵与正定阵之积的方法.     

基于实干扰对齐技术的两用户中继辅助信道的安全自由度分析

中继辅助信道是无线通信中的一种重要信道模型?针对源端与目的端有直接链路的两用户中继辅助干扰信道模型,2个合法发送端分别将保密信息通过中继发送给对应的期望接收端,而不希望被非期望接收端窃听到保密信息?结合实干扰对齐技术和协作干扰技术,从保密速率和安全自由度(secure degrees of freedom,S-DOF)2个指标来研究该模型的安全性能,使接收端能分离出期望信号,而非期望信号与协作干扰信号在接收端完美对齐?该方案中,中继采用放大转发的方式,同时发送一个协作干扰信号?然后设计实干扰对齐方案,分析得出系统的总安全自由度为1?     

Ad hoc网络安全协议仿真系统设计与实现

设计并实现了集成可视化网络拓扑的生成、安全协议的配置、数据流的设置、攻击事件的设置、仿真脚本的自动生成到攻击过程的仿真运行和协议性能的分析等功能于一体的仿真系统,可对不同网络安全协议在不同攻击下的延迟、控制开销、吞吐量、丢包率、包交付率和抖动等参数进行对比分析,动画演示了网络拓扑和数据流的动态变化.