基于Uppaal的移动IPv6协议的模型检测

采用形式化方法对移动IPv6协议系统建立了时间自动机模型,使用实时模型检测工具Uppaal对所建模型的关键性质：活性、移动性和平滑切换等进行了分析和检测. 检测结果证明,移动IPv6协议在切换时存在丢包现象. 通过分析丢包产生的原因,提出了移动IPv6实现平滑切换的理想时间约束条件,并在理想条件下重新验证了协议的性质. 结合模型在理想约束条件下的检测结果指出了提高移动IPv6移动性能的设想.     

移动IPv6的嵌入式系统实现

以嵌入式系统来实现移动IPv6网络协议,可以有效促进下一代网络技术的推广和应用.分析了移动IPv6原理,在基于PXA270处理器的嵌入式系统平台上移植了对IPv6有良好支持的Linux操作系统及图形系统,随后在WLAN环境下采用MIPL实现移动了IPv6协议,搭建了移动IPv6试验床,测试了嵌入式移动IPv6性能,结果表明嵌入式移动IPv6协议运行正确.     

IPv6环境下的入侵检测系统模型设计

IPv6将作为下一代Internet的网络协议，对信息安全提出了新的挑战，入侵检测技术也需要进一步发展。针对此提出了IPv6环境下入侵检测系统模型(IDSMIPv6)。探讨了流量分析、网络阻断、灾难恢复、IP追踪、快速捕包和高速地址匹配等关键技术，并利用协同技术，实现了各个模块的总体控制。依据此系统模型构建的IPv6环境下的入侵检测系统软件在实践中得到了良好的验证。     

基于IPv6网络拓扑发现技术的研究

针对IPv6网络拓扑发现存在的问题和IPv6网络的自身特点,通过将本地节点发现、双栈节点信息获取和路径信息获取技术相结合的方法,设计了IPv6网络拓扑发现系统,并成功应用于IPv6网络拓扑发现,获得了较为符合实际网络的拓扑结构。     

6to4与ISATAP技术在校园网中的应用研究

分析了6to4和ISATAP技术地址格式、工作原理、特点、隧道的建立过程和IPv6数据分组通过IPv4网络隧道的封装解封过程,综合运用6to4与ISATAP技术,设计出校园网IPv4/IPv6网络共存时期,双协议栈主机自动配置IPv6地址,IPv6主机跨IPv4网络通信的方案,为校园网由IPv4网络向IPv6网络的平滑过渡提供了一种方案。     

6PE在IPv4向IPv6网络过渡中的应用研究

分析了6PE技术的工作原理、特点、IPv6网络和IPv4网络间隧道的建立过程、IPv6数据分组通过IPv4网络隧道的封装解封过程,通过MP-BGP实现了IPv6路由和IPv6MPLS标签跨IPv4网络的发布,通过6PE技术设计出了校园网IPv4向IPv6网络过渡的方案,并给出了设备的关键配置步骤,利用现有的IPv4/MPLS网络,通过升级少量网络设备,实现了IPv4向IPv6网络的平滑过渡。     

基于IPv6的嵌入式网络视频监控服务器设计与实现

设计了一种基于IPv6的嵌入式网络视频监控服务器．介绍了其硬件和软件实现方案以及该系统采用的IPv4到IPv6的平滑过渡、基于IPSec的安全控制、基于RTP的实时传输等关键技术．试验运行证实。与IPv4系统相比，该系统具有支持IPv4／IPv6双协议栈、更高的安全性、更好的QoS保证等优点．     

基于IPv6的入侵检测系统

针对IPv6环境下出现的网络安全问题,设计了一种基于IPv6的入侵检测系统模型———IDSMIPv6。该模型的关键技术模块包括特征检测、规则管理和高速匹配及网络阻断。通过构建仿真实验环境,对系统进行攻击检测效果测试,验证本系统的数据包的捕获、解析和检测等性能。实验结果表明,IDSMIPv6系统对攻击的漏报和误报率极低,达到了预期的目标。     

IPv4与IPv6兼容网络编程模式

在剖析了IPv4和IPv6编程接口区别的基础上,分析了兼容IPv4和IPv6的网络应用程序的开发方法,通过实验验证了该方法的正确性,并介绍了Windows系统和Linux系统配置IPv6网络的方法．     

CNGI驻地网IPv6 DNS系统设计与实现

DNS作为因特网的一项核心技术,在IPv4网络中得到广泛应用;但随着IPv6技术的发展,现有的IPv4协议下的域名服务已不能支持IPv6协议.对此,提出应用双协议栈构建域名服务的方法,并结合建设中的CNGI驻地网,采用真实的IPv6网络环境构建双协议栈的域名服务系统,将该系统与CNGI驻地网互联.结果表明,所构建的双协议栈的域名系统能够提供名字解析服务的功能,实现了CNGI驻地网域名服务.     

基于IPv6的分布式智能防火墙系统的设计与实现

针对目前IPv6环境下缺乏应用层内容过滤防火墙的现状,设计并实现了一种IPv6分布式智能防火墙原型系统.该系统通过网络层策略规则,可对IPv4和IPv6共有攻击以及IPv6特有攻击进行拦截,通过应用层策略规则,可阻拦非法、反动的网页数据.原型系统的智能性确保整体网络的策略快速主动共享.经实验测试,该原型系统能完成上述功能,并且性能良好.     

骨干网IPv4/IPv6协议转换网关设计

阐述了骨干网上部署IPv6网络中,解决既要满足IPv4和IPv6网络互联互通的需要,同时减少IPv4地址消耗的问题。比较了几种比较成熟的IPv4/IPv6转换技术,提出了在IPv4/IPv6网络边界的协议转换网关上使用改进的NAPT-PT协议转换方案,指出了在城域网环境下采用NAPT-PT方案的不足和实现过程中的解决办法。     

一种基于SNMP的IPv6网络的网络管理方案

大量基于IPv6的下一代互联网的部署对网络的管理提出了巨大的需求。由于IPv6地址结构空间的巨大变化以及一些新的协议特性的引入．原有IPv4的管理方式已经无法对IPv6网络进行有效的管理．需要从体系结构和管理技术上进行新的研究。本文探讨了基于IPv6的下一代互联网管理面临的问题。探讨了一个基于SNMP的IPv6网络管理方案。     

一种基于UDP的IPv4 over IPv6的隧道方案

从IPv4向IPv6过渡,需要解决IPv4网络和IPv6网络之间的互联互通问题。为实现通过IPv6连接IPv4孤岛,利用IPv6高带宽的特点提出一种基于UDP协议的处理简单、处理开销小的IPv4 over IPv6隧道过渡方案BoIP。描述BoIP工作原理和具体实现,实验床测试结果表明,BoIP可以实现两个IPv4局域网通过IPv6网络透明连接。     

基于GRE Tunnel的IPv6-over-IPv4的技术实现

针对IPv4向IPv6转换的发展趋势,介绍了GRE Tunnel的工作原理以IPv6-over-IPv4技术,并以真实的工程项目的执行为主线贯穿整个实训,包括分析、设计、配置、测试、运行以及维护等过程。最终实现了基于GRE Tunnel的IPv6-over-IPv4隧道技术,将骨干网为IPv4网络,IPv6网络为孤岛的网络互连起来。     

一种DSTM客户机-服务器通信模式的实现方案

结合IPv4与IPv6共存时期的特性,阐述了DSTM机制的原理;设计了一种基于DSTM客户机-服务器通信模式的实现方案并给出了其通信过程的自动机模型,实现了IPv4网络与IPv6网络的通信;最后分析了DSTM客户机-服务器机制中存在的安全问题及相应的解决方案。     

基于IPv6的综合智能网体系结构的研究

传统智能网在语音领域获得了很大的成功。IPv6的使用、网络多元化、业务多样化和接口标准化的理念对网络体系体构提出了新的要求。文章在描述传统的综合智能体系结构和IPv6的介绍之后，集中研究分析了基于1Pv6的综合智能网体系结构的组成和面临的问题。     

基于反向代理的IPv4与IPv6网络资源共享

基于IPv4与IPv6将长期共存的现状,两网之间的资源共享是必然的。本文提出一种基于反向代理的方式,更方便、更有效地实现IPv4网络与IPv6网络之间的资源共享,并给出具体实现案例。     

一种基于IPv6的QoS组播路由算法

通过业务自适应组播路由和组播路由树重构的方法分析了IPv6报文的QoS组播路由算法,设计了一种基于IPv6的QoS控制组播路由机制。仿真试验表明该种路由算法是可行的,能够满足IPv6网络对相应QoS的要求并具有很强的接收性能,在传送时间上也有较强的符合性。     

Ipv6蜂巢式无线网络的安全机制

IPv6协议是取代IPv4的下一代网络协议,它具有许多新的特性和功能.本篇文章主要研究IPv6蜂巢式移动通讯网络[1]的安全机制,利用IETF所制订的IPsec[2]标准应用在下一代移动通讯系统网络中来完成数据传输的保密性与完整性.