一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于Petri网的TCP协议异常检测模型

从面向连接的角度出发，以Petri网为工具，建立了TCP协议异常检测模型．该模型以TCP协议的状态变迁图为基础，并根据协议规范可对传输报文的标志位进行系统的分析，从而识别出标志位非法组合构成的畸形报文（FIN—RST报文）．模型中规定了各种状态下可接收的标志位集合，同时还细化了各状态下的超时异常，据此可准确地检测出各种异常，以抵御已知和未知的非法行为．利用该模型不仅可发现已知异常事件，还可对未知漏洞进行防范．通过实验发现，网络中的错误标志位报文、端口扫描以及DOS攻击产生的异常流量将占到总流量的10%以上．     

基于NAT-PT的IPv4/IPv6转换网关的研究

随着Internet和IPv6的发展,出现了IPv4网与IPv6网共存的局面。使用NAT-PT、SIIT技术的转换网关可以实现IPv4网节点与IPv6网节点的直接通信。该技术包括3个功能模块:IPv4到IPv6地址绑定、IPv4与IPv6协议转换和应用层协议转换;转换网关是在Linux平台的Netfilter过滤框架相关钩子点挂载转换网关功能模块实现的。     

无线传感器网络研究

介绍了无线传感器网络的体系结构、特点,分析了无线传感器网络研究的一些关键性问题,探讨了无线传感器网络的应用范围。     

MANET中的多目标组播路由协议

针对临时性、少量信息群发业务模型,提出一种多目标组播路由协议,利用已有的单播路由信息实现组播发送功能。中间节点根据组播分组中目的节点的地址和路由信息,结合本节点路由表或转发表,对相关目的节点执行转发。协议无需维护组播树和组播成员状态,可在任意提供路由表或转发表的单播路由协议基础上工作。在该应用模型下,协议的分组递交率性能与单播路由协议相当,发送开销比单播和其他组播路由协议大大减少,控制比特开销也较低。     

流媒体传输控制的性能评价及其优化

对“消费者”来说任何一个系统的性能都是非常重要的,如果性能没有达到要求,即使提供强大的功能也不一定会得到用户的认可。在评价性能的过程中,如果发现系统中存在阻碍性能发挥的问题,就要对系统进行优化,以期获得较高的运行性能。本文从“消费者”与“生产者”模式的角度进行了IP网络中分布式多媒体传输控制的性能分析,同时提出了在现有网络状态下如何有效地对分布式多媒体网络性能进行合理的评价和优化控制策略。     

实验性路由协议仿真测试平台设计

通过对网络设计架构影响网络路由性能的分析,描述了局部网络参数的改变对整体路由环境影响的重要性.设计了一个实验性路由协议仿真测试平台,并模拟了OSPF协议在该平台上运行时的协议行为,进行了模拟故障分析.利用实验性路由平台可以为网络规划设计工作提供经济有效的实验环境,有效地提高工作效率,降低故障发生率.     

对一种基于动态密码体制的Kerberos协议的改进

分析了利用动态密码体制提出的一种改进的Kerberos协议的安全性,针对该协议存在的安全缺陷提出了改进方案.通过对比分析,可以看到改进的Kerberos协议保密强度更高,密钥的管理使用更加合理,验证过程更安全可靠.     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

HTTP/1.1的分析

HTTP是互联网中使用得最为广泛的传输协议之一 ,最新版HTTP/ 1 1是对HTTP/ 1 0的改进 ,提高了浏览速度 ,增强了安全性等 .基于此 ,笔者对HTTP/ 1 1的信息进行了详细分析 ,并简单介绍了MIME编码