新一代互联网协议IPv6的关键技术

IPv6是下一代互联网的核心协议,文章结合互联网的发展,综述了IPv6的发展历程、现状与趋势,简单介绍了IPv6的基本技术原理、特点及应用,重点介绍了IPv6核心技术、IPv4到IPv6的平滑过渡技术和移动IPv6技术等IPv6的关键技术.     

IPv4到IPv6的过渡技术介绍

本文针对IPv6必将替换IPv4的发展趋势,介绍了IPv4到IPv6过渡的三种主要技术,以及三种技术各自的特点     

基于IPv4/IPv6协议过渡技术的研究

IPv6是IETF设计用于替换现行版本IP协议IPv4的下一代互联网协议,但IPv4向IPv6的过渡不可能一蹴而就,两者会在很长一段时间内共存。本文主要介绍了针对过渡期不同问题的具体解决方案,主要包括双协议栈、隧道技术和协议转换技术。     

基于Windows系统组建IPv6/IPv4实验网络

本文以Windows操作系统为基础，阐述了IPv6／IPv4混合组网的基本概念和主要技术，分析了Windows XP操作系统对IPv6技术的支持。在此基础上，设计了一个基于Windows系统的IPv6／IPv4混合组网技术方案，给出了相应的配置方法，以及在此实验网络上可以实现的一些测试任务。     

IPv6技术及其过渡技术分析

本文详细介绍了IPv6技术的特点，分析了IPv6向IPv4过渡的必要性，全面介绍和分析了目前提出的几种过渡策略，并阐明了它们的优缺点和适用范围，最后介绍了目前世界上对IPv6的研究和应用情况，揭示了IPv6给中国带来的机遇。     

下一代网络过渡中安全问题的研究

本文阐述了IPv4和IPv6的主要的过渡技术,对IPv6取代IPv4期间网络可能存在的各种安全问题进行了具体的研究和分析,特别是重点地研究了过渡所用主要技术与网络中所采用的安全技术存在的不匹配问题。     

利用隧道技术实现IPv4到IPv6的过渡

网络技术的迅猛发展,使IPv4的有限地址空间等问题成为网络继续发展的瓶颈,IPv6应运而生,本文研究了利用现今主流两种隧道技术实现IPv4到IPv6的过渡方式。     

基于IPv6校园网过渡技术研究

IPv4地址在全球即将耗尽,IPv6作为下一代因特网的核心协议,能提供高效、安全、可靠和更好的服务质量,从IPv4到IPv6的过渡成为必然.以湖南城市学院校园网为背景,介绍了IPv6的基本概念、IPv4向IPv6的过渡技术,设计了IPv6技术在我校校园网的过渡方案.     

移动IP浅析

本文将对在IPv4网络和IPv6网络中的移动IP技术作简单的介绍和分析。     

校园网由IPv4向IPv6过渡的技术实现

本文介绍了常用的IPv4向IPv6的过渡技术,并根据校园网的现状和发展趋势,论述了校园网由IPv4向IPv6网络过渡的方案。     

混合UDP-TCP协议在PDA浏览器设计中的应用

在PDA（个人数字助理）中浏览器的设计中,由于无线网络延迟大、带宽窄,所以基于TCP协议的HTTP应用并不是理想的传输协议。但使用UDP作为短会话时的传输层协议,而对于有大量数据需要传输时则使用TCP作为传输层的协议,这样的混合协议可以很好的解决数据传输的问题。     

IPComp协议在IPv6中的研究与实现

实际应用中,当对IP数据包应用AH或ESP协议时,会导致传输的IP数据包长度增加,加重网络负载,数据包被再次分段,增大数据传输的时延等问题。介绍了使用IPComp协议对经过IPsec处理的数据包进行压缩的方法,并实现了在支持IPv6协议的Linux平台下数据包经IPComp协议压缩后的数据传输。     

网络协议描述和验证技术的分析与比较

随着计算机网络与分布式系统的发展，通信协议的设计和实现的复杂性的增加导致了协议程技术的出现．讨论协议形式描述与验证技术的目的与方法，重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点．     

局域网中的TCP/IP通信协议

介绍了通信协议的分类以及TCP/IP通信协议的概念及组成,分析了常用通信协议的特点、性能和必要的配置方法.     

实时CORBA的可插拔协议的研究

为了满足实时应用的QoS需求,在实时ORB的实现中引入了可插拔协议技术.然后,在通用ORB协议互操作体系结构基础上,以成熟的实时中间件产品TAO为参考,讨论在实时CORBA中可插拔协议的体系结构框架及其实现的模式.     

一个基于模态逻辑的安全协议度量方法

为将量化分析方法引入安全协议分析中,以模态逻辑方法为基础定义了协议度量方法,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法,同时在此基础上,进一步地给出了对安全协议冗余进行度量及化简的方法。应用该方法对实例协议进行分析,直接描述各协议内容的贡献度,显示冗余内容对目标实现的无效作用,从而可以安全化简。量化分析在安全协议形式化分析中的应用是本方法的主要特点,它具有模态逻辑方法的优点及缺陷。     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

采用P4的数据平面NAT-DP技术方案

针对协议转换（network address translation protocol translation,NAT PT）技术服务于 IPv4和IPv6节点之间的通信,无法实现多协议节点之间的数据包通信,缺乏协议扩展功能的问题,提出一种基于P4的网络地址 可编程数据平面协议转换（network address translation programmable data plane protocol translation,NAT DP）技术方案。该方案运用可编程协议无关报文处理语言完成解析器、控制流和匹配动作表的定义,实现多协议数据包在数据平面的解析、协议转换与重组。实验结果表明,该技术方案可以有效解决NAT PT的协议扩展性问题,并使管理员在数据平面实现协议转换机制的可重配置。     

基于协议状态分析的入侵检测系统

提出了一种基于协议状态分析的入侵检测方法,不仅充分利用了协议的状态信息,而且考虑了相邻的数码包的内容状态,构造出协议状态序列,通过状态转换来检测入侵,有效地完成网络各层协议的分析,提高了检测的全面性、准确性和效率,实验结果表明是可行的。     

KERMIT通信协议的一种改进方案

针对日趋国际标准化的KERMT通信协议的一些不足,提出了一种改进方案,使其在文件传输中断时,能够从中断处迅速恢复传输,保证无差错无重复地正常工作。