安全协议的形式化说明、设计及验证

文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍，分析了它们的原理和优缺点，并对该技术的研究发展前景提出见解。     

几种网络拓扑搜索方法的分析研究

文中旨在帮助人们在不同的网络拓扑要求和网络条件下选取合适的网络拓扑搜索方法。通过对网络层次、实用范围、拓扑粒度等方面进行分析比较，发现每种方法都不能对网络中所有设备完整准确地搜索，均各有其适用的范围、优点和局限性。若不能发现详细准确的网络信息，仅对网络的增长感兴趣，可选用基于DNS协议路由表的拓扑搜索；而用于发现网络中的主干拓扑，反映网络的整体状况，可选用基于SNMP协议网络拓扑搜索；对网络设备均支持OSPF协议且能动态地检测和报告网络拓扑的局部变化，可选用基于OSPF协议的网络拓扑搜索。所以在实际应用中应根据需要将多种技术有选择地结合来共同完成。     

网络通信协议的分析与实现

网络通信协议是网络通信的基础。TCP/IP协议族是应用最为广泛的一种网络通信协议,无论在局域网、广域网还是Internet,无论是Unix系统、Windows平台都支持TCP/IP协议,是计算机世界的一个通用"语言"。讨论了TCP/IP协议族中传输控制协议TCP、用户数据报协议UDP和网际控制报文协议ICMP等原理和应用。     

利用ARP协议进行网络管理

ARP病毒的蔓延、有防火墙主机难以发现等问题给网络管理带来新的挑战；本文在ARP协议分析基础上，探讨应用ARP协议进行网络主机检测的机制、非法用户的阻断方法、ARP病毒主机定位的规则、ARP管理主机网络部署的方式；通过这些技术措施的应用为网络安全和管理工作提供有效的手段。     

一种支持流程整合的业务协议组合代数

针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。     

GPRS终端拨号上网连接认证注册全过程研究

论文详细研究了GPRS终端拨号上网连接认证注册的全过程,并通过实例给出了GPRS上网登录过程中必需的LCP、PAP、CHAP、IPCP等协议的内容、流程及处理方式,对采用GPRS技术进行数据交换系统的开发提供编程指导。     

网络安全的几种关键技术及协议

文章阐述了涉及网络安全的几种技术，如加密技术、防火墙技术、认证技术等、也讨论了一些安全协议，如SSL协议、SET协议、IPsec协议。     

巨型网络的路由设计及协议选择

本文提出了一种巨型网络路由设计及协议选择的方案，介绍了巨型网络的路由协议、选择及路由设计的特点，并对OSPF协议及BGP协议进行了简单介绍。     

多元网络管理协议MNMP与SNMP和CMIP协议兼容性的研究

随着航天技术的迅速发展，卫星网络的研究已成为热点．在网络管理领域．现有的网络管理协议．例如SNMP、CMIP等不适合对这种特殊网络进行管理．本文对一种新型的网络管理协议－多元化网络管理协议（MNMP）原型进行了必要的补充，对MNMP与SNMP、CMIP的兼容方法进行了详细定义．使基于MNMP协议的网络管理能够兼容SNMP、CMIP设备．为卫星网络管理的研究奠定了基础．     

基于IPV6的BGP协议实现技术

BGP是一个在自治系统间运行的动态路由协议，其功能是在自治系统间交换网络层可达信息。它是骨干路由器必须支持的协议。现在随着IPv6的进一步发展壮大，如何在IPv6下实现BGP协议就成为了急需解决的问题。文中着重于IPv6下BGP的具体实现，主要介绍了其体系结构、模块划分及在实现中的若干关键问题。在系统设计完成以后．利用Sprient的协议测试系统对核心路由器上运行的BGP协议软件进行了一致性和性能测试，其测试结果表明已经很好地完成了设计目标。     

几种网络拓扑搜索方法的分析研究

文中旨在帮助人们在不同的网络拓扑要求和网络条件下选取合适的网络拓扑搜索方法.通过对网络层次、实用范围、拓扑粒度等方面进行分析比较,发现每种方法都不能对网络中所有设备完整准确地搜索,均各有其适用的范围、优点和局限性.若不能发现详细准确的网络信息,仅对网络的增长感兴趣,可选用基于DNS协议路由表的拓扑搜索;而用于发现网络中的主干拓扑,反映网络的整体状况,可选用基于SNMP协议网络拓扑搜索;对网络设备均支持OSPF协议且能动态地检测和报告网络拓扑的局部变化,可选用基于OSPF协议的网络拓扑搜索.所以在实际应用中应根据需要将多种技术有选择地结合来共同完成.     

利用CCS的协议描述与验证技术的研究

本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ在协议描述、协议验证等方面有巨大应用潜力。     

基于SSL协议的安全网络通信的理论和实现

SSL协议是一种用于在客户端和服务器之间建立安全网络通信的协议，它通过身份认证、数据加密传输、信息完整性校验等安全功能保证信息不会被窃听、篡改和伪造。本文介绍了SSL协议的工作原理，并着重阐述了基于SSL协议的安全网络通信的实现过程。     

协议工程和协议性能测试框架

随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要。该文主要论述了协议工程的活动、方法及其开发过程,并对协议性能测试技术做了较详细的描述,然后论述了性能测试的结构框架,最后描述了性能测试的各个阶段。     

地月通信链路传输协议的研究与性能分析

从传输层和应用层2个角度对空间信息传输中地月通信链路可靠传输协议进行研究,基于OPNET软件开发CCSDS协议进程级模块。针对地月骨干链路场景配置TCP 、SCPS-TP、CFDP/UDP和MDP/UDP 4种可靠传输方式,并进行协议仿真与性能分析。实验结果表明,在长传播延迟、高误码率和高度不对称性前/返向信道速率的链路上,SCPS-TP协议失去了TCP增强优势,MDP协议也表现一般,而CFDP协议的可靠传输模式能较好地适应于这种环境。     

ARP协议欺骗原理分析与抵御方法

ARP协议欺骗是网络欺骗行为之一，它使得攻击者可以重定向一个以太网段上的IP数据报以取得目标主机的信任。该文主要从以下4个部分：背景知识、欺骗原理、攻击方式、抵御方法对ARP协议欺骗技术进行了全面的、深入浅出的分析。     

RIP欺骗——企业内部网潜在的危险

路由器在每个网络中起到关键的作用,如果一旦路由器的路由表被成功的欺骗,并被攻击者修改了路由表,网络的完整性将受到严重的破坏,网络将陷于瘫痪,其中RIP协议在中小型网络,尤其是企业内部网络中使用较多,而RIP协议本身存在着较多的不安全因素,该文通过RIP的简介、RIP欺骗的原理、欺骗实验的验证和RIP欺骗的防范四个方面对RIP协议的不安全性进行分析。     

Diameter协议研究

1引言Radius (Remote Access Dial In User Services) 协议已经被成功而广泛地应用在拨号PPP/IP网络中,用以提供鉴别、授权和计费AAA(Authentication Authorization and Accounting)服务。     

Mobitex与Internet接入技术研究与实现

首先介绍了Mobitex无线网络所采用的技术、遵循的协议及其与Internet接入的研究意义,目的在于使Mobitex在Intemet的接入中实现高速、可靠的通信,分析比较了采用TCP协议与UDP协议各自的优缺点,设计并实现了一个基于可靠用户数据报协议(RUDP)技术的数据传输机制,RUDP的设计基于UDP的通信机制,特点是数据的通讯不需要建立像TCP协议那样的三次握手的机制,而是通过同步交互消息完成了这个过程,避免占用较多资源,同时又使用了重传机制,克服了UDP协议的不可靠、数据无序到达的缺点.最后,实验结果表明了该设计的有效性.     

电子支付系统的安全性研究

电子商务目前正在蓬勃发展中,安全的电子支付是电子商务顺利发展的一个重要保证。本文介绍了目前流行的三种安全的电子支付手段:SSL协议、SET协议和S-HTTP服务器证书方案,并对三种支付手段在协议层次、交易流程、实际使用等方面进行了分析比较,最终得出在一段时间内三种支付手段仍将并存的结论。另外本文还介绍了保证用户安全登录的其他附加安全措施。