TCP/IP协议中IP协议的设计与实现

简要介绍了网络协议的基本设计方法，并利用该协议设计思想，结合TCP／IP协议的基本原理，借鉴Berkeley联网程序代码，在VC软件开发环境下编程实现IP协议的基本处理功能．并且从协议设计的角度描述了IP协议模拟实现的细节，讨论了IP协议的执行效率、安全性、可靠性等方面的问题．     

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

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

几种主要的动态路由协议的分析与比较

在计算机网络中，路由协议的选择至关重要，它直接影响到一个网络的性能，而路由协议的选择又相当复杂。本文主要介绍几种常用动态路由协议的工作原理，并对各种协议的特点进行了分析、比较，对选择何种路由协议进行了阐述。     

密钥分发协议及其形式化分析

探讨了形式化分析在设计密码认证协议中的作用；基于Needham-Schroeder共享密钥协议和Ot-way-Rees协议，提出了新的认证协议，并用BAN逻辑对它进行形式分析，发现了潜在的攻击方法，指出形式分析可以辅助发现协议的设计缺陷；并讨论了这种分析的局限性以及可能的改进方向。     

PPPoE协议的安全隐患及解决方案

对当前接入ADSL宽带网的PPPoE协议进行了分析，发现该协议容易遭受D．o．S拒绝服务攻击和伪装访问集中器攻击，在分析造成这两种攻击的主要原因基础上，提出了防止攻击的解决方案及原理，并给出了具体解决办法，通过在PPPoE协议的发现阶段的四个包中增加必要的TAG，对PPPoE协议进行了改进，弥补了PPPoE协议在理论上的漏洞，其解决方案具有可操作性。     

一致性测试中的TTON和MSO

计算机网络中，描述一种协议并对其进行标准化并不能确保成功的通信。这是因为协议标准目前基本上是使用自然语言描述的，对协议的不同理解会导致不同的协议实现。一致性测试就是测试协议实现是否符合协议说明。TTCN是一致性测试中最常用的技术，本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展，以及可以将测试用例可视化的技术MSC。     

基于AAL5上的多协议封装技术

在简要分析协议互联必要性的基础上，介绍了基于AAL5多协议封装的协议栈，重点讨论了基于路由及桥接的高层协议数据单元在AAL5上的2种封装格式。     

协议描述和验证的基本方法

简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。     

微机通信协议的分析及改进

对微机通信中有关文件传输中的常用协议，即Xmodem协议、Ymodem协议、Zmodem协议和KER－MIT协议等进行了较详细的分析和比较，北对通用性好、性能较优越的日趋国际标准的KERMIT协议，提出了一种改进方案，使其在文件传输中断时从中断点处开始恢复传输，保证无差错无重复地进行通讯，并且在2台直接相接的586微机上进行以C语言编程的模拟实验。     

缓存一致性问题研究

以共享总线的多处理机系统为例，介绍了在共享总线系统中用于解决Cache Coherence问题的监听总线协议（Snoopy Protocol）和写一次协议（Write-Once Protocol），并分析了写一次协议、一致性协议的优点和协议区分状态的原因，最后给出一个评价协议好坏的角度：总线的流量和存储器访问的有效时间。     

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

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

采用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的协议扩展性问题,并使管理员在数据平面实现协议转换机制的可重配置。     

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

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

基于不同形式化模型的网络通信协议验证技术的分析与比较

协议是数据通信、计算机网络等分布式系统的灵魂。协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段。阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于FMS、Petri网、以及时序逻辑TL模型的协议验证技术。     

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

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

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

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

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

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

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.