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

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

基于EPr／TN网系统的异构网络集成研究

随着计算机网络技术的发展，异构网络的集成研究越显重要。本就是严格按照协议工程的观点，将EPr/TN网系统作为形式化描述工具，在对协议进行描述和分析和基础上，通过构造协议转换器实现了异构网络的集成。     

电子商务协议的建模方法与分析

电子商务商议是安全协议和商务逻辑的结合体,SET协议是为解决信用卡支付业务在Internet上安全、可靠的支付而提出的一种解决电子商务的安全支付方案。因为SET协议涉及的参与主体较多．相互握手次数较平凡．从而导致协议比较复杂．分析比较困难,．在分析SET协议规范的基础上,利用形式化分析工具－Petri网对SET协议进行建模分析,给出协议与Petri网模型之间的对应关系。最终使得SET协议便于理解和分析。     

STP协议与生成树设计优化

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

基于颜色Petri网的密码协议的分析

密码协议的成功设计是安全领域的关键问题之一，对密码协议进行形式化分析成为当前研究的热点，通过引入颜色Petri网来描述密码协议，并以TMN协议为例，利用Petri网的状态矩阵分析特性对其进行分析，发现并验证TMN协议的安全缺。最终说明利用Petri网分析密码协议是可行的。     

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

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

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

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

Ad Hoc网络路由协议研究

介绍了传统的Ad Hoc路由协议,包括先验式和反应式路由协议,并对两类路由协议进行了分析比较。归纳了针对Ad Hoc的特殊网络特点的其他路由协议,主要包括基于QoS控制的路由协议和基于能量的路由协议,并对各种协议进行了比较。     

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

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

SDH网络管理系统接入的研究

结合华北电力大学开发的ＴＪＸ－Ｄ电力通信网监控系统，通过对富士通ＳＤＨ网络管理系统的分析和研究，对如何将ＳＤＨ的网络管理系统与ＴＪＸ监控系统综合的问题进行了探索性和实用性的研究，并通过软件对富士通ＳＤＨ的网管协议进行翻译和转换，实现了在ＴＪＸ监控系统中对富士通ＳＤＨ设备的监视。     

CS逻辑的分析及改进

较之以往的形式化分析工具BAN及BAN类逻辑，CS逻辑是一种将时间与逻辑结构相结合的逻辑，是第一个用来分析与时间相关的Timed—release公钥协议的逻辑，本文分析了原始Cs逻辑的某些推理规则的缺陷，并对其作了改进及扩展，使其能够更好地反映Timed-release公钥协议的特性，并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析．     

Otway Rees协议改进及安全分析

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

改进型安全自组网按需距离向量路由协议研究

提出了一种新的效能较高的具备安全鉴别功能的自组网按需距离向量路由协议ESAODV。该安全协议采用HORSEI认证机制，其签名和验证的计算速度比公钥算法快很多，它的安全性基于单向散列算法，且不需收发者之间的时间同步。理论分析和网络仿真结果表明，与最新因特网协议草案所提出的方案相比，安全协议ESAODV具有较好的性能和实用性。     

新巴塞尔协议与商业银行风险衡量

论述了新巴塞尔资本协议中对信用风险、市场风险和操作风险衡量的方法及实施相应方法的一些必要的条件。根据新巴塞尔协议对我国商业银行风险管理提出了相应要求：大力发展评级机构；主动地寻求风险平衡，实现全面风险管理；风险管理方法的深入，积极开发风险控制工具；信用风险衡量方法从简单向复杂的转变。     

安全协议及其形式化分析研究

安全协议是网络安全的重要基础，形式化分析是保证安全协议具备相应安全性质的有效途径。通过对安全协议进行分类，阐述了各类协议所应具备的安全性质；并基于安全协议进行形式化分析时所作的各种假设，综述和分析了三类典型的安全协议形式化方法，给出了安全协议形式化分析研究的发展趋势。     

基于USS协议的自动配料系统的设计和实现

介绍了一套基于SIEMENS AG定义的USS协议开发的自动配料系统。通过对USS协议通信格式的分析和研究，自行定义了一套基于USS协议的通信标准，并应用于自动配料系统中。同时介绍了这套系统的基本原理和组成。本系统采用自行开发控制软件，从而为配料系统提供了一个低成本、高性能的解决方案。     

生成树协议的算法分析

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

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

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

形式描述技术与协议工程

形式描述技术是获得完益的、准确的、一致的、简洁的和无二义性的系统描述的有力工具，对设计、分析，规范和实现信息处理系统有重大意义；协协议工程是近十年发展起来的协议开发方法，本文简要介绍形式描述技术的发展及协议工程各阶段的任务。