网络自组织通信模式和技术研究综述

自组织通信是最近一段时间计算机网络研究的热点。自动配置和自我组织是实现网络优化,网络自我管理,自我诊断和修复的关键技术,适应了互联网日益复杂的发展趋势,可用于支持新兴网络应用,并构建新型网络架构:移动自组织网络(MANET),无线传感器网络,自组织覆盖网络。本文介绍了自组织理论,归纳了自组织通信的特点并探讨了网络自组织通信进一步研究的方向。

基于P2P覆盖网络的数据网格副本定位机制

提出了一种基于P2P覆盖网络的数据网格副本定位机制。该机制采用Chord算法将位于副本定位服务顶层的全局副本目录节点组成一个P2P覆盖网络,从而起到均衡负载、提高性能的目的。分析和实验表明,该文提出的机制具有良好的性能、可扩展性、灵活性和可靠性,具有较好的实用价值。

基于分层的网络安全协议验证方法

提出了一种新的基于分层的网络安全协议验证方法。首先对要验证的安全属性进行划分,将其分成若干安全子属性;其次对要进行验证的安全协议在安全性等价的条件下进行转换;然后逐步剖分成一个自底向上的多层协议,如果每一层子协议满足所要验证的安全属性的一个子属性,那么这个协议即可被证明是安全的。这种方法相比于传统的验证方法,不但高效,而且完备性更佳。

基于测试序列动态选择技术的测试管理的设计与实现

协议测试是目前计算机研究领域中一个重要的研究方向．本文对协议测试系统中测试管理部分进行了深入地探讨，设计实现了测试管理子系统，重点讨论了基于浅度搜索和深度搜索的测试序列动态选择技术．

基于公钥的层次化网络安全协议设计

提出了一种基于公钥的层次化网络安全协议设计模型:协议的设计在若干层分别进行,每一层子协议完成协议所要实现的一个子目标,并为上一层的子协议提供数据接口,然后将各层子协议依次合并起来,完成整个协议的设计。在以前的研究工作中,协议安全性总是被看作一个整体,给协议的设计与证明带来极大的复杂性限制。层次化模型的使用简化了安全协议设计的过程,使协议的设计更加清晰,代价更小,安全性证明也更为简单。另外,所设计的协议具有更大的灵活性,可以适应各种应用系统的需求。

基于IXP1200的快速报文分类算法的设计与实现

通过对现有报文分类算法的分析和性能比较,并结合分类规则所具有的特性提出了一种新的基于IXP1200网络处理器的多维报文分类算法,称为PCBNP(packet classification based on network processor),并达到了报文的线速转发.算法除了通过减少分类的规则数和分类的域宽来加快分类的速度外,还采用重定向排序索引、位向量表示匹配规则等技术来加快分类的速度,特别是利用了规则的动态分布规律来确定查找报文字段的顺序,通过先查找“分布最均匀的字段”来达到在所有的字段被查找之前提前找到报文匹配的过滤规则的目的.算法具有高速、多维和可扩展的特性,与现有的算法比较,该算法在综合性能上优于已有的报文分类算法.

自组网路由协议QoS AODV的改进

QoSAODV协议是目前自组网QoS路由协议的研究热点.由于只能由目的节点返回路由确认RREP,它的协议开销较大.提出了一种基于QoS AODV的改进协议AQ-AODV(Advanced Q-AODV).通过建立QoS分级路由表并改进QOS-LOST分组的转发机制,可由中间节点返回RREP.仿真实验表明,AQ-AODV的协议开销比AODV和QoS AODV有较大幅度降低,同时分组递交率和分组平均传输延迟也略有改善.

保护个人的利益——电子商务协议新属性的自动验证

电子商务的快速发展加强了电子商务协议的新类型的需求,尤其对各种复杂协议的需求,这使得协议本身安全性的证明变得更为困难。为了证明电子商务协议的可靠性,研究人员已设计了各种方法。为了更加清楚地描述需要证明的电子商务协议的安全目标,研究者们已经提出了几种标志性属性,其中之一是较著名的原子性犤8犦,但这并不能完全描述电子商务协议的全部安全性定义。在犤1犦里,研究员对一项有研究价值的新属性进行了研究,称为“保护个人的利益”,并且提出一个手工验证的模型。该模型虽然有效,但是实用性较差。文章提出了一个基于模型检验这种技术的自动验证方法。