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

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

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

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

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

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

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

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

电子商务安全策略分析

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

浅析基于H．323协议的网络视频会议系统

网络视频会议系统可以使身处不同地理位置的分散成员通过网络图像、声音等方式交流，从而达到参加会议的效果。通过对目前网络视频会议系统主流协议的对比与分析得出H．323协议较其他协议能更稳定的实现网络视频会议的需求，解决了各厂商设备互通互控的问题。今后基于H．323协议的视频会议必将成为视频会议的发展主流。     

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

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

最优预约信息包树形分解协议的研究

研究一点多址通信网络系统中信息包随机访问信道的树形冲突分解协议．对树形计算法做了推广，提出采用３个预约时隙和采用２个或３个动态预约时隙相结合信息包冲突分解方案；并用随机过程的分析方法对其进行了分析，得到了预约信道吞吐量和信道延迟特性．与双预约时隙比较，后两种方案延迟和系统稳定性得到明显改善．在对协议进行分析的基础上，进行了计算机模拟，证明了理论分析的正确性．     

基于TFTP协议的嵌入式系统开发方法设计与实现

基于简单文件传输协议，提出一种通过嵌入式系统现有网络接口实现系统开发过程中大型文件快速烧写的开发方案．分析并介绍了该方案的设计要点，包括系统硬件结构要求、物理层硬件连接方法、TCP／IP协议栈简化、TFTP协议下文件传输的实现方法．实际应用测试比较结果表明：该方案硬件要求简单，在大文件（≥1Mbyte）应用系统下载开发的情况下比传统JTAG口（Joint Test Action Group standard）下载与串口下载效率分别提高10^2到10^1数量级．     

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

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

有关微机网以及电话网的协议分析及改进

对微机通信中有关文件传输中的常用协议，即 XMODEM协议，YMODEM协议，ZMODEM协议和 KERMIT协议等进行了较详细的分析和比较．并对通用性好，性能较优越的日趋国际标准的 KERMIT协议，提出了一种改进方案，使其在文件传输中断时能够从中断点处开始恢复传输，保证无差错无重复地进行通讯．并且在两台直接相连的386微机上进行了以 C语言编程的模拟实验。程序采用直接操纵串行口，即对 UAR－T8250及PIC8295直接编程的方法，使文件的传输效率得以进一步提高．     

ESP协议的改进及应用研究

对ESP(Encapsulating Security Payload)协议进行改进，提出了重新定义配开协议里的可选字段来解决上述问题的方法，该方法利用IPsec协议族中的ESP协议，在遵守ESP协议的同时借鉴了传输模式和隧道模式的特点，在没有嵌套的情况下设计其安全策略，实现端到端的数据保护．对ESP协议所作的改进可以简化安全规则的复杂性，便于在主机和安全网关上实施．     

IPSec协议相关问题探讨

IPSec协议可以在IP层提供身份鉴别、数据加密和数据完整性保护，使端对端用户完成安全的通信，也成为构建VPN的一个基本协议．IPSec协议是一个复杂的协议，本文对其在加密算法、安全关联、IKE协议等方面的问题进行了探讨，并给出了一些建议．     

基于X.400MHS和X.500DS的文电处理系统

介绍了一种基于Ｘ．４００ＭＨＳ系列标准，并结合Ｘ．５００ＤＳ的文电处理系统，该系统试图借助于ＵＮＩＸ工作站，数据网，以Ｘ．４００的ＰＩ协议构成符合国际标准的文电处理系统骨架；并通过电话网与微机，按自行设计的轻型文电访问协议ＬＭＡＰ，把ＭＨＳ服务扩展至各终端用户，构成大至国家，省，市，小至一地区，一部门的集成安全的文电自理系统。     

基于SIP的代理服务器的设计实现

为实现一种基于IP服务的会话初始协议（SIP）的代理服务器，在分析SIP协议的基础上，提出了一种设计方案并成功实现．此方案采用多线程处理各种发送、处理、接收以及记录等，对SIP系统的研发有一定的参考借鉴意义．     

OSIP协议栈及其在SIP用户代理中的应用

介绍了一种具有广泛应用前景、小巧而快速的开源SIP协议栈-OSIP．在详细分析OSIP协议栈的结构、特点及其运行机制的基础上，给出了基于OSIP协议栈的SIP用户代理（UA）方案．此方案利用SIP以及SDP等开放协议，完成了通讯双方实时的交互，既可以扩展到即时通讯（IM）方面，也可以作为视频会议实现的基础，具有较好的兼容性．     

基于MODBUS协议的CRC编码研究

MODBUS协议是工业现场常用的通信协议，它描述了一个控制器请求访问其他设备的过程，回应来自其他设备的请求．以及如何侦测并记录错误信息。介绍了ModBus协议原理及其CRC编码方法，研究MODBUS协议的CRC编码．并给出计算上位机16bit Modbus CRC编码的程序代码。     

一种安全协议的逻辑分析与改进

采用BAN逻辑对著名的Needham—Schroeder(NS)协议建立理想化协议模型，利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性．分析结果表明，该协议只有增加初试假设，即用户B获得的会话密钥是新的会话密钥的前提下才能达到认证的目标，并提出改进方案．     

基于Petri网的TCP协议异常检测模型

从面向连接的角度出发，以Petri网为工具，建立了TCP协议异常检测模型．该模型以TCP协议的状态变迁图为基础，并根据协议规范可对传输报文的标志位进行系统的分析，从而识别出标志位非法组合构成的畸形报文（FIN—RST报文）．模型中规定了各种状态下可接收的标志位集合，同时还细化了各状态下的超时异常，据此可准确地检测出各种异常，以抵御已知和未知的非法行为．利用该模型不仅可发现已知异常事件，还可对未知漏洞进行防范．通过实验发现，网络中的错误标志位报文、端口扫描以及DOS攻击产生的异常流量将占到总流量的10%以上．     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证