一种高效的多证明者零知识论证系统

基于离散对数构造了一种高效的多证明者零知识论证系统,即使验证者具有无穷的计算能力,也得不到证明者的任何信息.基于该协议能构造一种具有完全安全的永久秘密共享方案.     

一种新的零知识证明协议

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

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

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

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

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

一种改进的属性远程证明方案

为了克服现有基于属性证书的远程证明方案在隐私保护和安全性方面的不足,文中提出了一种基于隐藏证书技术的属性远程证明方案（HCP-RA）,该方案在传统基于属性的远程证明的基础上引入了隐藏证书技术,实现了对机密性证书和策略的保护,同时实现了验证方和被验证方之间的双向可信性验证功能。文中首先给出了HCP-RA模型,随后针对该模型给出了形式化描述和相应的远程证明协议,并通过应用实例来说明该协议的具体工作过程。与传统的基于属性证书的远程证明技术相比较,该方案在隐私保护方面具有很大优势;双向可信性验证提高了传统单向属性远程证明的安全性。     

一种新的零知识证明协议

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

基于口令的高效语义安全的密钥交换

仅借助Hash函数和异或运算,构造了一种高效、可证明安全的基于口令的密钥交换协议.在随机预言模型下,该协议的安全性可紧致归约到计算Diffie-Hellman难题上,从而证明该协议是语义安全的,并能对抗离线字典攻击.最后,与同类协议相比,该协议显示出更高的执行效率与通信效率.     

一种防破坏广播型匿名通信网的多路访问协议

针对Golle等提出的广播型匿名通信网络，设计了一种新的多路访问协议．将每个传送周期分为预约、确认和发送3个阶段，第1阶段采用随机预约映射技术对共享匿名信道进行公平分配，在第2阶段用匿名方式确认分配结果，而成员在第3阶段开始发送匿名消息，同时公布一个非交互式知识证明，以确认自己只在与确认结果一致的位置发送了匿名消息．所提协议可以保证成员绝对遵守分配规则，能有效防御破坏性拒绝服务攻击．利用该协议，不会损害通信系统的匿名性，并能显著提高匿名传输效率．仿真结果表明，在发送长匿名消息时，匿名信道利用率由原来的37％提高到了90％以上．     

群组中实现的量子零知识证明

零知识证明是指证明者使验证者确信证明者拥有某一个秘密值,而证明者没有向验证者泄漏关于该秘密值的任何有用信息.其优点是在证明了自己身份的同时,还确保了有用信息不泄露,有效防止了他人冒充.经典的零知识证明均是基于计算复杂性的.用量子安全通信的传输方式,设计了一套在群组中实现的量子零知识证明方案.     

基于串空间的Kao Chow加密协议形式化验证

Kao Chow加密协议是由Kao和Chow提出的,他们利用BAN逻辑证明了该协议的认证性,但没有证明该协议的保密性,而且没有说明协议参与实体间得到的新会话密钥是否一致.事实上,由于BAN逻辑自身的缺陷,它无法用于证明加密协议的保密性.基于此,给出了Kao Chow加密协议的串空间模型,这个模型不仅验证了该协议的认证性,还验证了它的保密性及新会话密钥的一致性.     

高速网络下基于负载均衡的协议分析的异常检测算法设计

研究了基于负载均衡技术的协议分析的入侵异常检测系统并建立了系统模型,提出了一种基于静态负载算法与动态负载算法的混合负载算法,该算法对网络数据包进行分流,能很好地保证同一源地址的同一类协议由同一服务器处理,并兼顾了所有服务器的负载均衡,能很好地发现并检测网络的异常行为与分布式攻击等,这样的改进优化了处理结果,提高了高速网络环境下入侵检测的准确性和有效性.     

Measuring-basis-encrypted six?state quantum key distribution scheme

A six-state quantum key distribution scheme with measuring-basis encryption technique, which is based on the six?state protocol and the MBE protocol, is proposed. In this modified six-state quantum key distribution protocol, Alice and Bob use a control key to synchronize the use of their measuring-basis so that they always use the same measuring?basis. This modified six-state quantum key distribution protocol retains the advantage of higher security and at the same time has a higher efficiency.     

基于双线性配对的安全认证机制

介绍了一种基于双线性配对的可扩展的安全认证机制.该机制具有以下优点:(1)在同样安全性能下,采用双线性配对签名可以有效减少密钥的长度,降低了对网络带宽的要求,从而更加适合于大型网络;(2)融合了三因素认证机制以实现泄密侦测;(3)可以根据用户要求实现密钥撤销;(4)具有高性能及可扩展性.     

基于动态路由的SPIN路由协议改进

基于信息协商的传感器网络路由协议(SPIN)数据转发过于复杂、重复转发相同数据包的问题影响了SPIN协议转发时的网络吞吐量,增加了丢包率,缩短了网络的生命周期。针对以上问题,提出了一种动态路由信息协商传感器协议D-SPIN协议,其在SPIN协议基础上加入了动态路由表建立算法和验证下一跳id选择性转发策略,该方法可有效提高网络吞吐量,减少了丢包率,延长了网络时延。利用NS2仿真软件进行仿真,仿真结果表明,D-SPIN协议比SPIN协议在网络吞吐量、丢包率和网络时延等性能参数上有较大的提高。     

基于流量自适应的S-MAC协议的优化

S-MAC（sensor-MAC）是经典的基于竞争的无线传感器网络MAC层协议.协议采用固定占空比的侦听、休眠机制,节点拥有相同的竞争窗口值,很符合无线传感器网络对MAC层协议节能、简单的要求;然而,固定的占空比和竞争窗口使S-MAC无法适应网络流量的变化.文中引入队列信息,依此判定网络流量的大小,对S-MAC协议进行优化.当流量大时,通过修改休眠时间来调整占空比.同时引入竞争窗口调节算法,以减小流量大时发生碰撞的概率,提高效率.通过NS2仿真证明在网络流量大时,优化的协议在性能上得到了提升.     

基于STR非平衡树结构的混合型组密钥管理方案

STR组密钥管理协议因采用非平衡二叉树结构使得密钥更新过程简化,它可以有效降低组密钥管理的通信开销,但这是以高额的计算开销为代价的.提出一种基于STR非平衡密钥树结构的混合分层组密钥管理方案,在继承STR协议低通信开销的特点的同时,该方案显著降低了组密钥管理的计算开销并提高了密钥更新效率.     

客户端无线事务协议分析、设计与实现

研究无线应用协议(WAP)栈中客户端无线事务协议(WTP)的功能，提出了一种基于WIN32环境的设计和实现方案，并指出了在设计和实现过程中涉及到的关键技术。在计算机上模拟调试和下载到移动终端实地调试结果表明：软件功能达到预期设计目标，支持WTP协议规范中的3类事务，并能进行正常通信，软件运行稳定。该设计方案为基于WIN32环境下的协议实现方法提供了一种途径和参考。     

一类基于主从代理的应用层多播水印协议的设计与分析

 在应用层多播的框架之下结合已有多播水印协议的特点,提出一个适用于应用层多播的多播水印协议PALMWP.PALMWP协议属于位置相关协议,有着此类协议的优点,如部署简单、扩展性较好等.在协议设计中,加进了LDPC码等设计要素,使它在版权保护、盗版源跟踪及泄密者识别方面能发挥较好的作用.最后使用BAN逻辑对协议的认证环节进行了演绎分析.     

面向多媒体教室的任意配对数字无线话筒设计

如何避免多媒体教室无线话筒的同频设备干扰,一直是值得研究的课题.利用非标准通信协议思想,提出一种以硬件和软件组合成真随机数,产生新的随机射频协议,避开同频设备干扰,实现无线话筒发射机与接收机的无干扰任意配对.项目实施表明,基于非标准随机射频协议的数字无线话筒,适应多媒体教室设备的发展.     

面向多媒体教室的任意配对数字无线话筒设计

如何避免多媒体教室无线话筒的同频设备干扰,一直是值得研究的课题。利用非标准通信协议思想,提出一种以硬件和软件组合成真随机数,产生新的随机射频协议,避开同频设备干扰,实现无线话筒发射机与接收机的无干扰任意配对。项目实施表明,基于非标准随机射频协议的数字无线话筒,适应多媒体教室设备的发展。