基于Petri网的协议分析技术及工具

研究基于Petri网的协议分析技术及工具并对要开发的协议分析器工具软件进行需求分析和人机交互界面设计，进而阐述该工具主要功能模块实现的思路和算法，并将其应用于对AB通讯协议的描述和性能测试分析，表明所开发的工具的有效性。     

STP协议与生成树设计优化

生成树协议是交换或桥接网络中管理冗余链路和负载均衡的一个关键协议，对交换网络的性能有重大影响。本文详细分析了生成树协议的工作原理，并阐述了生成树设计与优化的方法。     

Avalon片上总线协议的形式化建模与模型检验分析

片上总线协议是片上总线技术的核心,其设计的好坏直接影响到片上系统芯片的可靠性.针对Avalon片上总线协议的自身特点和复杂性,给出了Avalon总线协议的一种有限状态饥分析模型,并用CTL对协议的相关属性进行形式化描述,同时采用模型检验工具SMV进行验证分析,验证结果表明协议不存在安全漏洞.     

Otway Rees协议改进及安全分析

选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑——安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究.首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷,提出了改进方案.为了更好地描述改进协议,用SPALL系统对其安全属性进行了形式化描述,并做出安全分析.分析结果表明,改进协议能够确保密钥分发的正确性,并具有密钥机密性和强认证性,还能满足通信双方验证会话密钥一致性的要求.     

固有事务处理协议及其开发

阐述了固有ＴＰ协议开发的背景、协议性能及特点。对协议的开发与实现方法进行了深入的分析和探讨。并对采用该协议的系统进行限综合评价。该系统经试运行和实际运行，用户反映良好，各项指标均达到设计要求。     

基于VB6.0的网络数据包的捕获技术与协议分析

介绍数据包捕获的基本原理，对VB6．0的捕获工具PacketVB的属性、事件和方法进行了说明，给出利用该工具进行网络数据包的捕获，并对捕获到的数据进行数据链路层协议的分析。     

基于安全协议操作语义模型的组合协议分析及验证

协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题,通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scyther验证了其安全性,发现了一个针对Yahalom协议机密性的组合攻击.结果表明,操作语义模型是分析与验证组合协议的一种可行方法.     

生成树协议的算法分析

生成树协议是网络设计中一个非常重要的2层协议,使用生成树协议能够在网络中构建逻辑无环树．同时具备链路的备份功能,因此在网络设计中应用广泛。分析生成树算法的工作原理,并举例说明生成树协议在网络设计中的应用。     

基于CAS的Web-SSO模型的一种实验性开发

针对企业构建统一门户平台进行应用集中时面临的\"身份集成\"的问题,提出了统一认证和单点登录方案.基于Web单点登录的基本架构及其实现条件,引入集中认证服务(CAS)单点登录的开源工具,描述了CAS协议模型,对其单点登录的实现流程和协议进行了安全性分析.通过简单的环境配置和Java编程,对基于CAS的单点登录(SSO)模型作了实验性开发,并验证了其合理性和可行性.     

基于可扩展标记语言的新型即时通讯系统

为了解决传统即时通讯系统在局域网或企业内安全性不高且效率低下的问题,提出了一种基于改进传输协议的新型即时通讯系统。采用结构为三服务器协调运作管理模式,在多客户端会议过程中融入独特的二叉树形式P2P查找结构。另外,在传统可扩展标记语言之上构建了一种有别于其他任何传输协议的新协议,提高了局域网内部的传输安全性。最后将本文算法与另外两种公共即时通讯系统的定位查找成功率和不稳定指数进行对比,结果显示:新型即时通讯系统具有更高的执行效率。     

支持IDS的高速网络信息获取体系结构

提出了一种针对高速网络环境的信息获取体系结构. 可扩展的网络探测模型较好地解决了不同网络带宽的适应性问题;高带宽数据流实时捕获技术、高效的多线程TCP/IP(传输控制协议/互联网络协议)协议栈,以及基于插件的PLUGINs协议还原平台,使信息的捕获与还原问题得到了根本性解决. 综合以上技术所构建的体系结构可以应用于多线路、高速网络环境下,解决检测范围大、数据流量高等问题,保证数据信息的及时性、安全性与准确性.     

基于事件类型的网络协议建模

提出了基于事件类型的网络协议建模方法,并在模型的基础上对协议进行检测实验.协议的模型检查实验中最重要的是状态模型的描述,其决定了检测结果的精确性和有效性.事件类型的状态描述方法是通过外部事件和内部事件建立一个完整有效的状态层次模型,模型检查算法对建立的状态模型进行检测,最终得到性质检测结果.本文通过对WEP协议和四次握手协议进行事件类型的建模分析证明了状态层次方法有利于网络协议的建模与检测.     

基于扩展UDP协议的远程图像采集传输系统设计与实现

针对基于IP的网络中提供的服务并不适合多媒体视频信息的传输问题,本文通过扩展UDP协议,设计实现了一个基于IP网络的C/S模式实时图像采集传输系统。该系统通过图像的预处理、压缩编码、扩展UDP协议、流量控制算法实现图像的自动采集、加工和存储;弥补了传统IP网络在图像采集传输应用领域的不足,实验表明,系统具有较强的远程性,并行性和实时性。     

基于TinyOS的ZigBee协议MAC层设计与实现

该文基于TinyOS系统对无线传感器网络协议进行了研究。对TinyOS网络协议的体系进行了分析。鉴于无线传感器网络的强应用相关性和网络协议的重要性,在分析无线传感器网络特点的基础上,使用nesC语言在TinyOS中实现了ZigBee的MAC层数据处理。该文为在TinyOS中使用主动消息机制实现无线传感器网络中的ZigBee协议提供技术路线图。     

基于USS协议的控制网络的实时性分析

首先介绍了USS协议及基于该协议的控制网络的结构，并重点对该控制网络的时间性能进行了分析，其中，给出了有关的测试方法，讨论了时间性能的影响以及改善时间性能的方法，最后，指出了该方法的特点及适用性。     

南水北调工程异构网络下的视频监控方案

针对南水北调中线工程在异构网络下的视频监控传输问题,提出了一套包括基于网络状况的带宽评估方法,以及参数可调的网络视频编码传输方式的异构网络视频监控解决方案.该方案对南水北调工程异构网络环境下视频监控系统的整体架构进行了设计,并基于实时传输协议/实时传输控制协议(RTP/RTCP)对网络参数进行了评估.在得出的网络带宽评估结果基础上,设计了一种码率可调的编码传输方案.最后结合所实现的系统,对系统性能进行了详细测试和分析.通过在南水北调中线工程的实际应用证明,本系统能够对当前带宽下的视频编码进行优化,提高异构网络下的视频编码传输效率,且性能指标达到了4路720P视频监控的设计要求.     

一种基于负载均衡机制的Ad Hoc网络路由协议技术

AdHoc网络是一种无线基础设施支持的移动网络,网络中的节点均由移动主机构成。而路由协议则是移动AdHoc网络中最关键的技术之一,它对网络的性能起决定性作用。首先阐述了AdHoc网络路由协议AODV,分析了其不足之处,给出了一种基于反向路由查找机制、单路径负载均衡和跨层节点拥塞的协议优化方案。     

Kerberos认证系统的研究与改进

Kerberos是为TCP/IP网络设计的基于Client/Server模式的三方验证协议,广泛应用于Internet服务的访问,网络中的Kerberos服务起着可信仲裁者的作用。Kerberos基于对称密码体制,可提供安全的客体认证。本文针对结合Kerberos认证协议由对称算法所带来的局限性,在保持原有协议框架的基础上,利用公开密钥算法RSA对Kerberos协议进行一定的改进。