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

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

PPPoE 协议及其在校园网络中的应用

介绍了PPP和PPPoE的协议结构、运行机制，给出了在Linux系统下实现PPPoE接人服务的方法，并探讨了其接人技术在校园网络中的应用．     

简单对象访问协议(SOAP)与防火墙

提出了防火墙在Internet应用中阻断合法RPC的问题，简述了SOAP协议及其工作方式，给出了SOAP如何与HTTP结合来实现与防火墙共同工作的方法，文章给出了具体实例和说明。     

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

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

电子商务中的安全交易协议

介绍了电子商务中常用的两种安全交易协议SSL和SET，对其各自的特点及应用前景作了分析，同时对相关的电子商务安全方面的知识也作了简单介绍。     

基于IPv4／IPv6的SOCKS协议防火墙

在SOCKS客户机／服务器体系基础上，扩展了SOCKS服务器对IPv6的兼容功Ⅰ能，图示了基于IPv4/IPv6的SOCKSv5协议防火墙体系架构，重点论述了实现两种IPv4/IPv6地址转换模式的机制、原理，详细阐述了SOCKS客户机安全、透明地访问不同IP类地址远程主机的过程与原理，在现有SOCKS防火墙基础上，开发了IPv4/IPv6基于直接地址转换和域名解析地址转换两种模式的兼容运动技术，保持了SOCKSv5防火墙原有的优点，体现了其新的运行特点，使得这一新型防火墙技术具有更广泛的应用前景。     

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

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

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

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

超文本传输协议--HTTP/1.0

介绍了超文本传输协议的协议参数，如统一资源标识、一般语法和http URL。对GET，HEAD，POST等方法进行了定义，分析了状态代码。     

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

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

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

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

电子商务安全策略分析

电子商务的实施，其关键是要保证整个商务过程中系统的安全性。针对这个问题，仔细分析了认证系统、SSL协议和SET协议，并指出了其应用中的一些局限，并介绍了另外几种与商务安全有关的技术。     

用于AdHoc仿真系统的网络组件框架

提出一种动态配置网络通讯协议的黑盒框架．将协议层的功能分解为具有单一功能的协议，并采用组件实现．根据组件行为的持性，将组件划分为Session，Mux，ConduitFactory，Adapter和Protocol5类．同时采用3层结构管道、行为和角色对组件进行抽象，研究表明，用模式描述组件的结构，增强了组件的复用性和可扩展性，此种黑盒框架将应用于ad hoc仿真系统。     

SOAP有状态／无状态分析及有状态实现

SOAP（Simple Object Access Protocol)是Web服务和信息网格的协议，有无状态是协议的一种得要特性，为了更好的使用SOAP，本文比较了无状态／有状态协议的优缺点，结论是无状态的SOAP具有收缩性，而有状态的SOAP适合事务处理，本文还介绍了XML for Analysis有状态SOAP的实现，并给出有状态SOAP在APACHE SOAP中的编程实现。     

保密邮件的设计与实现

随着计算机网络技术飞速发展，特别是自INTERHET技术为全世界广泛应用以来，社会信息流通能力得到了迅速提高，在很大程度上推动了整个社会的发展，但是我们也看到，计算机网络技术一方面提供了大量对社会有用信息来丰富网络资源，另一方面还必须保证这些信息的有效性、可信性。     

实时流协议RTSP的浅析

简述了流媒体技术的基本概念及其组成要素，重点介绍了实时流协议RTSP，对其与HTTP协议作了比较，分析了RTSP具有的操作模式和状态，并且实现了RTSP，最后总结了RTSP具有的优势。     

SNMP协议及其实现

论述了SNMP的概念及框架结构，讨论了如何在Windows环境下用VC 6．0制作实现SNMP,以一个应用实例对该软件进行了数据分析．分析结果表明，利用VC实现SNMP，可以方便地获取实体对象的管理信息库的值，为进一步开发高层网管软件提供了条件．     

浅析电子商务中的安全性技术

本文从当前电子商务应用系统对安全的需求出发，介绍了在实现电子商务的过程中所使用的多种安全技术，从全局上把握了电子商务的安全体系结构并着重介绍了其中的关键技术。     

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

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

一种新的面向协议测试的包捕获结构

WinPcap是一个基于Win32平台的优秀的高性能包捕获结构，许多嗅探器软件都使用它作为一个底层的包捕获程序．WinPcap在数据帧捕获方面表现了极佳的性能，但统计功能比较简单，数据帧的发送也达不到较高的速率．针对这些问题，提出了一种在WinPcap基础上改进的包捕获结构PtPcap，该结构主要实现了强大的实时统计分析和高速的数据帧成组发送．PtPcap应用于国产局域网协议测试软件LPT-2000之中，收到了良好的效果．