RMP：一种具有高可伸缩性的随机成员协议

针对组播通信协议中所使用的成员协议的伸缩性差的问题，提出了一种新的随机成员协议(RMP)。RMP通过使用随机的响应组成员的加入请求，建立一个每个节点仅仅维护logN个其它成员信息的连接图，并可以为可靠的报文扩散提供基础。文中对RMP的算法在数学上进行了分析，并通过仿真进行验证，结果表明，RMP是一种具有很强可伸缩性的成员协议。     

一种具有路由器支持的单组分层组播协议

针对传统分层组播协议中成员离开的延迟所造成的慢速拥塞会聚问题,提出了一种新型的单组分层组播协议（SGLM）,使用一个组播组表达同一个会话中的所有分层,避免了成员离开的延迟问题,并节省了组地址资源。协议还考虑了计费相关的问题,同时提出了有效的TCP-friendly解决方案。最后通过仿真测试了协议和方案的有效性。     

基于安全多方计算的数字作品所有权证明

数字作品的所有权证明允许在不泄漏任何秘密信息和防止所有者欺骗的前提下,对版权声明进行验证.提出一种基于Proactive可验证秘密共享和安全多方计算的数字作品所有权证明方案.在该方案中,可验证秘密共享,保证了所有权秘密的正确性,并防止对协议参与者的欺骗.通过Proactive安全提供自动恢复功能来保证协议生存周期内秘密的完整性和安全性.使用安全多方计算和同态承诺的零知识证明,实现了所有权验证.在不假设可信方存在的前提下,所提出方案能够在没有太多成员合谋的情况下,完成有效计算并发现不忠实成员.     

基于OPNET的随机接入协议网络性能研究

针对三种随机接入协议ALOHA、CSMA和CSMA/CD进行了原理介绍和理论分析.利用新兴网络仿真技术OPNET,实现了对三种协议的网络仿真模型的建立,并通过分析信道吞吐量和利用率参数,得出了相关重要得结果和评估.同时说明了利用OPNET能对改进和提高协议的可行性,这也将是以后开发新的随机接入协议的一种思路和方法.     

基于Strand模型的Needham-Schroeder协议分析

Strand空间模型是一种安全协议分析模型.使用图的形式来描述协议,证明协议的正确性.通过分析研究,本文建立了攻击者模型.并在此基础上运用安全协议的形式化分析方法-Stmnd空间模型,对公开密钥协议NSPK进行了分析,说明了该方法进行协议分析的过程,证明了该协议在保密性和认证性方面的正确性,并分析了该协议存在的安全缺陷.     

基于有限时间对偶神经网络的冗余机械臂重复运动规划

在考虑关节物理极限的情况下,将冗余机械臂的逆运动学解析问题抽象为带约束的重复运动规划(RMP)方案.针对速度层的带约束RMP方案,本文提出了一种新型的递归神经网络,即有限时间对偶神经网络(FTDNN),用以求解该类带约束RMP方案.相比于传统的递归神经网络,该FTDNN模型具有有限时间收敛特性,不仅能够改进收敛的速度,并且能够获得较高的收敛精度.通过李雅普诺夫稳定性定理验证了FTDNN模型的渐近稳定性,并进一步计算出FTDNN模型求解带约束RMP方案最优解的时间上界.基于冗余机械臂PA10的计算仿真结果验证了FTDNN模型求解带约束RMP方案的有效性和可行性.最后在Dobot Magician实物机械臂上的实验结果表明本文提出的有限时间对偶神经网络方法可以有效实现机械臂各关节角的重复运动.     

基于属性封印的可信传输协议设计

基于非对称密码学的传统信息交换机制中,通过密钥实现信息保密及平台身份认证的方式存在较多安全不足.由此,基于可信计算研究的新PC体系结构提出一种实现传输终端配置安全性认证和保障数据传输及使用安全的信息传输方案,并且基于属性封印的思想,采用Pederson承诺和离散对数不等的零知识证明该方案,设计了具体密码协议以实现该方案.通过随机预言模型证明了该协议的安全性,并将该协议应用于一个真实的移动支付实例,展示了其使用方式.     

新型可授权的秘密双向认证协议

秘密双向认证协议(又被称为秘密握手)允许同一组织内群成员间进行匿名的相互认证和通信,但允许群成员把认证能力临时授权给一个可信代理者的功能实现并没有深入研究.为了实现更有效的可授权功能,提出了一个新型可授权的秘密双向认证协议.在该协议中,允许组织外一个被授权且可信的代理者和组织内的成员完成一次成功的秘密认证和通信.基于新的是+1平方根和离散对数表示问题的困难性假设,新型可授权的秘密双向认证协议在随机预言机模型下证明是安全的,并且在计算开销上具备一定的优势.     

基于链路可靠性的Ad Hoc网络路由协议研究

本文在随机移走(Random Walk-Based)模型的基础上,对Ad Hoc网络链路通信的可靠性进行分析,给出链路可靠性的简单数学模型,提出一种基于链路可靠度的路由协议,并通过仿真实验验证了该协议的有效性.     

HLA成员模型及性能研究

成员运行时CPU效率是用户所关心的实际问题,对于某些成员直接决定了性能表现,它主要与RTI实现中的tick函数的定义、作用及使用有关,并且受RTI实现、成员模式影响.成员的CPU占用率和成员推进速度等成员其他性能是一种矛盾的指标,如何通过改进成员模式来降低CPU占用率,同时不显著影响其他性能是本文的目的.通过仔细分析问题的原因我们给出了两种解决方法并进行了实现,对两种方法进行了测试,比较了前后性能的提高.