IPv6协议一致性测试

对网络设备的协议实现进行一致性测试是网络设备研发的必要环节。本文在研究协议一致性测试原理和方法的基础上,围绕实现IPv6协议一致性测试这个目标,在Linux平台上设计了一种协议一致性测试的软件架构。同时针对Linux AS4.0的IPv6基本协议和ICMPv6设计了两大组共10个测试例,并对RedHat Linux AS4的IPv6协议的一致性进行了验证测试。     

协议一致性测试系统中执行器的设计与实现

提出一种用于协议一致性测试系统的执行器的结构,并具体描述了执行器中各个模块的实现方法,最后使用该执行器对Linux AS4．0操作系统中IPv6邻居发现协议实现进行了一致性测试并给出了测试结果。结果表明：测试主机操作系统上实现的邻居发现协议符合标准协议规范。     

移动IPv6协议安全机制优化

移动LPv6利用IPv6的一些新特点来支持移动IP,IPv6网络中引入移动IP协议给网络带来了安全隐患。分析了IPv6、移动IPv6的安全机制．针对移动IPv6面临的主要安全问题,优化了移动IPv6现有的安全机制。     

Mobile IPv6协议一致性测试研究

针对Mobile IPv6协议实现的产品可能存在与协议说明不一致的问题,对Mobile IPv6展开协议一致性测试。首先根据RFC 3775提取了Mobile IPv6的一致性测试需求,并针对协议特点设计一种主被动测试相结合的新测试方法,然后运用有限状态机模型为移动节点、家乡代理和通信节点创建形式化模型,在该模型基础上使用U方法自动生成了14条测试例。最后,对Red Hat Linux 9.0环境下的mipv6-1.1-v2.4.26协议实现进行一致性测试实践。对测试结果进行分析后表明,被测实现与协议说明之间存在不一致之处。     

基于云存储的高效F-HMIPv6切换协议

提出了一种基于云存储的F-HMIPv6切换协议, 引入云存储服务商为可接入路由和移动锚点管理转交地址列表, 维护列表中转交地址的唯一性与可用性, 可接入路由与移动锚点直接向云存储服务商申请获取转交地址, 避免了重复地址检测操作和可接入路由与移动锚点自己维护转交地址列表的负担. 该协议还可缩短切换发起消息和快速确认消息的消息长度. 分析表明, 与标准F-HMIPv6切换协议相比, 该协议能有效缩短切换时延, 节省网络带宽资源和增加协议实用性.     

IPv6的完全协议研究

IPv6的安全协议研究从IPSec协议的安全体系、工作原理、工作模式、主要协议、解决安全问题的实现方法以及在VPN飞速发展中的应用等方面IPv6的安全协议进行分析，用IPSec的AH协议及ESP协议针对IP层的认证、加密解决现有网络安全机制只能在应用层对数据进行保护而不能实现对IP层保护的问题。     

移动IPv6协议安全性分析与改进

分析了IPv6、移动IPv6协议,重点对移动IPv6的安全性进行了分析．针对移动IPv6所面临的绑定更新（BU）和路由优化（RO）这两种主要安全威胁,提出了移动IPv6的改进方案,以进一步提高其安全性．     

移动IPv6快速切换协议的分析和改进

分析了移动IPv6快速切换技术的预测式和反应式切换过程指出了移动IPv6快速切换协议解决此问题的缺陷,引入了层次型移动IPv6管理中的移动锚点思想,提出过渡期的概念及允许隧道链、防止隧道环的措施来解决和避免乒乓切换和三方切换问题,从而达到快速切换的理想时延和丢包率,实现无缝切换和满足实时通信及敏感业务的需求.     

移动IPv6快速切换协议的分析和改进

分析了移动IPv6快速切换技术的预测式和反应式切换过程指出了移动IPv6快速切换协议解决此问题的缺陷,引入了层次型移动IPv6管理中的移动锚点思想,提出过渡期的概念及允许隧道链、防止隧道环的措施来解决和避免乒乓切换和三方切换问题,从而达到快速切换的理想时延和丢包率,实现无缝切换和满足实时通信及敏感业务的需求.     

优化消息轨迹图以提高TTCN测试套的开发效率

最新的消息轨迹图(MSC)标准MSC-2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H.323、H.245等协议一致性测试的TTCN测试套开发中.     

Minimal-Length Interoperability Test Sequences Generation via Genetic Algorithm

A novel interoperability test sequences optimization scheme is proposed in which the genetic algorithm (GA) is used to obtain the minimal-length interoperability test sequences. During our work, the basic interoperability test sequences are generated based on the minimal-complete-coverage criterion, which removes the redundancy from conformance test sequences. Then interoperability sequences minimization problem can be considered as an instance of the set covering problem, and the GA is applied to remove redundancy in interoperability transitions. The results show that compared to conventional algorithm, the proposed algorithm is more practical to avoid the state space explosion problem, for it can reduce the length of the test sequences and maintain the same transition coverage.     

基于身份公钥的移动IP认证方案

利用基于身份的公钥系统,设计一个移动IP的认证方案. 该方案实现移动IP各实体间的相互认证和可确认的密钥协商,并向移动用户提供匿名服务,保证用户身份和位置信息的机密性. 通过对协议的安全性分析,表明该方案满足移动IP的安全需求.     

基于TTCN-3的手机应用协议测试的设计与实现

本文根据手机应用协议的特点,设计、开发了支持TTCN-3的底层支撑平台.此平台可以简化TTCN-3测试套的开发、部署和执行.在此平台上对一个手机网络游戏协议进行了测试.     

代理移动IPv6的开销分析与自适应优化

为降低代理移动互联网协议版本6(PMIPv6)中包括绑定更新开销和数据转发开销在内的总开销,首先对PMIPv6与MIPv6的绑定更新开销和数据转发开销进行了理论分析,并对比了2种移动性管理方案的总开销. 在此基础上提出一种允许移动节点（MN）动态地根据切换频度和流量强度等参数,选择适宜的移动性管理机制的自适应优化方案. 仿真结果表明,该方案能获得比静止采用某种移动性管理机制更好的资源使用效率.     

一种移动环境中的可靠组播协议

提出一种用于移动蜂窝网的自适应可靠组播算法.在该算法中,邻近的基站之间通过一个控制组播组交换信息以控制缓存数据量的大小.每个控制组播组包含的基站数量根据网络结构和主机的移动速度来调整.多个基站的合作保证移动主机能够可靠地接收组播数据,同时又能节省基站缓冲器的容量.仿真表明该算法能够以较少缓存达到快速恢复丢失数据的要求,是一种有效的可靠移动组播传输协议.     

基于OAI的数字图书馆互操作

介绍了OAI框架的主要内容，包括元数据、数字资源管理、收获结果的选择和OAI-PMH协议等，讨论了一个典型的基于OAI的资源搜索服务系ARC。     

SOCKS5中的IPV4\IPV6协议通信机制

本文首先简要介绍SOCKS5协议，然后具体分析SOCKS5协议中的代理机制和如何实现IPv4和IPv6不同协议之间的通信，最后对比分析了这种机制对解决IPv4和IPv6协议互操作的特点。     

基于TinyOS的ZigBee协议MAC层设计与实现

该文基于TinyOS系统对无线传感器网络协议进行了研究。对TinyOS网络协议的体系进行了分析。鉴于无线传感器网络的强应用相关性和网络协议的重要性,在分析无线传感器网络特点的基础上,使用nesC语言在TinyOS中实现了ZigBee的MAC层数据处理。该文为在TinyOS中使用主动消息机制实现无线传感器网络中的ZigBee协议提供技术路线图。