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

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

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

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

移动IPv6原理及其安全性分析

介绍了移动IPv6的工作原理,然后分析在IPv6网络中引入移动IP协议可能给网络带来的安全隐患,并讨论移动IPv6所采用的安全技术.     

移动IPv6协议安全机制优化

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

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

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

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

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

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

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

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

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

移动IPv6中基于多播切换机制的应用研究

移动IPv6则是未来移动通信系统解决移动性管理问题的一个重点。该文分析了移动IPv6的基本原理，讨论了基于多播的切换机制在移动IPv6中的应用，并针对移动IPv6中的分层蜂窝系统，提出一种新的基于多播的切换方法以实现更佳的无缝切换，然后阐述了其实现过程，设计了相关算法。     

基于IPv6的流媒体视频点播系统的设计与实现

从IPv6在流媒体技术上的新特性入手,通过对IPv6和传统的IPv4协议的比较和分析,设计并实现了一个基于Linux平台的流媒体视频点播系统.     

移动IPv6技术及其应用

本文首先介绍了移动IPv6技术的相关概念和工作机制，并在此基础上探讨了移动IPv6技术的主要特性以及移动IPv6技术的应用前景．     

移动IPv6在3G网络中的实现

IPv6拥有大量的IP地址保留指令,具有丰富的地址资源,随着移动数据通信的发展,移动IPv6也将成为3G标准的IP多媒体业务的重要技术支持,进而推动3G网络通信技术产生质的飞跃.     

《Linux系统与应用》课程加入IPv6技术内容探析

目前下一代网络技术IPv6网络发展日趋壮大,取代IPv4的时间越来越紧迫,而我国IPv6技术人才只限于少数高校和研究所的实验室中,人数寥寥无几,急需大量培养IPv6网络管理人才。而Linux操作系统在服务器市场占有优势份额,培养既掌握Linux操作系统又懂得IPv6网络管理的人才在将来显得尤为重要。本文试图在《Linux系统与应用》课程增加IPv6技术内容达到以上目的。本文介绍了基于Linux操作系统的IPv6基础实验包括加载IPv6模块、常用的命令、隧道配置、IPv6的Web服务器、ftp服务器配置、BBS站点配置、路由配置等。这些技术是基于Linux操作系统的IPv6网络管理技术人员必须掌握的基础技术。     

移动IPv6中的QoS保障

移动计算正变得越来越广泛,为Internet设备提供QoS保障和移动支持已成为新一代互联网技术的研究热点.介绍了移动IPv6及为改善其性能的增强协议,分析了在移动环境中提供QoS存在的问题,讨论了在移动环境中RSVP的移动性支持面临的挑战,分析了最近提出的支持RSVP移动性方法的优缺点,给出了研究移动IPv6和RSVP的方向.     

高速铁路客运专线宽带移动网关键技术研究

本文对高速铁路客运专线宽带移动网中的关键技术——移动IPv6技术、分层移动IPv6技术和网络服务质量模型进行了研究。     

移动IPv6网络中Anycast服务的实现

提出了一种基于树状结构的在移动IPv6网络中实现Anycast服务模型,该模型采用了Unicast与Multicast技术。在该模型中,每个组成员只通过一个归属地址(无需转交地址)就可以完成与客户端的数据通信;组成员移动到外区时,无需向归属代理注册,也无需在归属代理与转交地址之间建立隧道,针对路由优化情况,Anycast组成员也无需向客户端发送转交地址的绑定消息;根据网络的拥挤情况动态地选择最优组成员,解决了在移动IPv6网络中IPSec很难实现的问题。在IPv6模拟环境下,实验数据证明了该模型的实用性、有效性以及高效性。