一种新的零知识证明协议

利用Chik How Tan加密方案对SDH对（A,a）进行加密,生成（A,a）的零知识证明协议,然后证明了该协议为诚实验证者在DBDH假设下对SDH对（A,a）的零知识证明.该协议适用于对数据的安全性要求较高的用户.与类似文献相比,该协议效率更高.     

多项式函数根的零知识证明协议

为有效解决多项式函数根的零知识证明问题,基于离散对数的困难性假设,提出了多重离散对数问题,给出了多项式函数根的零知识证明协议,即:通过对多项式的每一项计算对应的离散对数A1,A2,…,An,证明者向验证者提供这些项,验证者根据(A1A2…An)m odp的结论来判定证明者是否拥有该多项式的根。为了防止证明者的欺骗行为,双方需要进行多次交互式证明。理论分析结果表明:证明者欺骗成功的概率随交互式证明次数的增加呈指数衰减,该协议是安全和可靠的。     

具有数字签名的零知识证明协议及其分析

模仿具有RSA数字签名的零知识证明协议,给出具有EIGamal数字签名的不完全零知识证明协议,并对其进行了简要分析.     

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

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

跨隐私数据库加密数据等值连接共享协议

针对管理型SaaS(software as a service)中两个租户公平共享隐私数据的问题,提出一种跨隐私数据库加密数据等值连接共享协议.在该协议中:两个租户通过服务提供方(service provider,SP)用可交换加密函数交换某共有属性的全集,实现属性值交集共享;SP用该属性值生成的密钥加密对应元组其他属性值后向对方租户分发;租户用交集生成的密钥解密;组合双方属性交集中等值元素的元组,实现两个租户通过不可信SP公平共享隐私数据.完备性、安全性证明和效率分析结果表明,在半诚实模型下,协议安全可证,满足最少必要信息共享条件,计算代价和通信代价分别是用AGRAWAL协议实现公平共享的57％和75％.     

基于多密钥同态技术的安全多方计算协议

为构造具有良好性能的多密钥安全多方计算(SMC)协议,对Gentry-Sahai-Waters(GSW13)全同态加密(FHE)方案的密钥同态性质进行了研究.在此基础上提出了一个基于GSW13方案的层次型多密钥SMC协议,该协议构造方式简单,只需要3轮通信,且在半诚实与半恶意环境和公共随机串模型下,其安全性可以归结到容错学习问题(LWE)和它的一个变种问题;分析了该变种问题的困难性,并给出了半恶意模型下该协议的形式化安全证明.该协议自然构成一个相同环境下的层次型多密钥全同态加密方案.对比分析表明,文中协议在整体性能上优于已有方案.     

多项式函数根的零知识证明协议

多项式函数是数学和理论计算机研究中最常见的一类函数,而多项式函数根的零知识证明,是零知识证明在数学领域的重要应用,有重要的理论和应用价值。为有效解决多项式函数根的零知识证明问题,利用计算离散对数的困难性假设,提出并解决了多重离散对数问题,以此为基础构造了多项式函数根的零知识证明协议。理论分析结果表明该协议是安全和可靠的。     

扭Heisenberg - Virasoro代数到中间序列模的导子

利用Farnsteiner的结果,计算出A(a,b,c),A(a,d),B(a,d),U(d),V(d),u(d)和(V)(c)7类中间序列模的全部导子.先证明除零次导子外,分次导子都是内导子,接着用待定系数法,计算出零次导子,进而得到所有导子.     

群签名与广播加密的对偶性及应用

提出群签名(GS)与广播加密(BE)是一对关系密切的对偶密码系统,类似公开加密与普通签名的对偶关系,即基于GS方案可以构建BE方案.而基于BE方案也可以构建GS方案.文中给出实现这种对偶关系的具体构建方法与步骤,即基于NP(non-deterministic polynomial)证据加密(WE)可把一个可撤销群签名方案转换为一个可撤销广播加密方案,而基于非交互式零知识(NIZK)证明可把一个撤销广播加密方案转换为一个可撤销群签名方案.最后,指出基于广播加密的高效可撤销群签名方案可以纳入文中所提出的框架中     

一种基于零知识证明的远程桌面认证协议

目前桌面云环境下用户身份认证过程中用户属性可能存在泄漏。针对此种安全威胁,提出了一个远程桌面认证模型。在该模型的基础上,提出了一种基于零知识证明的远程桌面认证协议ZPBRDAP。该协议包括属性注册协议(AR协议)与身份认证协议(IA协议),在不暴露用户身份属性的同时完成用户身份认证。最后,分析了该协议的正确性、安全性以及协议效率,表明该协议具有良好的可用性。     

基于DSA和RSA的证实数字签名方案安全性的实现

一个基于DSA和RSA的证实数字签名方案(WWZ)存在“非零知识性”、“弱不可见性”和“可转移性”安全性缺陷,该方案中作为证实数字签名核心部分的确认与否认协议是不安全的.为此,提出了一种改进的确认与否认协议,改进的协议实现了“零知识证明”和“不可见性”,实现了WWZ方案的安全和有效.     

滚动轴承知识表征与检索方法

以滚动轴承知识为对象,利用集成定义方法（IDEF）的建模技术,借鉴产品模型数据交换标准（STEP）应用协议的开发方法,对知识建模进行了系统的分析,建立了中性知识表征体系,并用人工神经网络、规则推理和人工参与相结合的方法实现了知识检索,突破了传统规则推理的缺陷。同时,为支持产品分布式集成信息系统底层知识的建模和检索提供了系统方法。     

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

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

高效类HDLC异步串行通信协议的实现

提出一种高效、 面向字节传送的类似HDLC通信协议的异步串行通信协议AHDLC及其算法的实现, 分析了AHDLC协议的变换效率. 该协议算法简单、 变换效率高, 比用ASCⅡ码方式传送效率提高48.7%, 该协议适用于维护终端及监控终端等需要自己定义通信协议的场合.     

基于改进的Fiat－Shamir签名协议的组播认证方案

提出了一个新的组播认证方案,该方案基于改进的Fiat-Shamir签名协议和双哈希链技巧.Fiat-Shamir签名协议是基于零知识和二次剩余协议,安全性可以得到保证;双哈希链技巧的使用又大大提高了认证效率。     

Analysis of Multi-Channel and Slotted Random Multi-Access Protocol with Two-Dimensional Probability for Ad Hoc Network

A higher quality of service （QoS） is provided for ad hoc networks through a multi-channel and slotted random multi-access （MSRM） protocol with two-dimensional probability. For this protocol, the system time is slotted into a time slot with high channel utilization realized by the choice of two parameters p1 and p2, and the channel load equilibrium. The protocol analyzes the throughput of the MSRM protocol for a load equilibrium state and the throughput based on priority. Simulations agree with the theoretical analysis. The simulations also show that the slotted-time system is better than the continuous-time system.     

一种基于TTCN-3的TD-LTE终端协议一致性测试系统的构建

TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LTE协议一致性测试平台的设计及实现方案。     

公平的无连接可分电子现金方案

基于二叉树、比特承诺、零知识证明等技术提出了一种具有完全无连接性,无需可信第三方参与的、公平的可分电子现金方案。方案的开户协议和取款协议复杂度均为O（N＋K）,用户花费任意一个节点的电子现金时间复杂度为O（poly（K）·polylog（N））,存款协议的时间复杂度与支付协议相同。方案的安全性基于强RSA问题假设、计算离散对数困难问题假设和单向哈希函数的存在性假设。