一种有保证实时通信协议的设计

通过研究实时系统中的报文特点和报文延迟的规律,探讨了有保证实时通信协议的特征,分析了ＭＡＣ层的通信协议在实时通信中的关键作用,据此设计了一种在ＭＡＣ层的有保证实时通信协议－虚拟令牌协议（ＶＴＯＫＥＮ）,并与改进型的Ｗｉｎｄｏｗｓ协议,ＴＤＭＡ协议及令牌协议就报文丢失率与报文生成率的关系进行了模拟对比,模拟对比的结果表明：ＶＴＯＫＥＮ更适合实时通信。     

关于通信协议测试生成形式方法的探讨

结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法，并且，针对以上五种方法分别给出各自生成的测试序列的长度的上界。     

计算机数字通信数据的截取及通信协议的破译

介绍了一种截取计算机数字通信数据的硬件电路和软件程序以及破译通信协议的方法。     

利用“协议机退缩”的通信协议形式检证

针对提高优先度通信协议检证时生成协议机状数庞大，使检证难以进行的问题，本文给邮了协议机的退缩检证法，通过将给定协我机的检证问题转换为若干个较小义机的相应检证问题，简化了协议形式检证的复杂性，利用退缩检验证法及已建立的检证系统，证明了假我信道错误时ＯＳＩ参照模型中会话层协议的主要部分，满足“无死锁”、“无传输错误”等性质。     

微机通信协议的分析及改进

对微机通信中有关文件传输中的常用协议，即Xmodem协议、Ymodem协议、Zmodem协议和KER－MIT协议等进行了较详细的分析和比较，北对通用性好、性能较优越的日趋国际标准的KERMIT协议，提出了一种改进方案，使其在文件传输中断时从中断点处开始恢复传输，保证无差错无重复地进行通讯，并且在2台直接相接的586微机上进行以C语言编程的模拟实验。     

MODEM通信协议的研究与实现

对计算机控制系统中串口和MODEM通信进行研究 ,利用MODEM建立的模拟信道实现数据远程传输 ,着重介绍了MODEM点对点通信协议的设计和实现 ,保证了通信的可靠性     

一种高效的串行通信协议及实现

提出了一种高效率的数据变换方案，比ＡＳＣＩＩ码变换效率提高４３％，阐述了发送接收数据的过程，给出了软设计方法，并以此通信协议，实现了ＬＤＳＳ９８调度机维护终端的通信，该软件经过现场长期运行表明，性能稳定。该协议对通信软件的编程有一定的参考价值，有很好的实用性的较广泛的推广价值。     

计算机局域网中的通信协议及配置方法

本文介绍了计算机局域网通信协议所依赖的标准模型,深入分析了几种常用的通信协议的特点和性能,对理解和安装局域网协议具有指导意义。同时,对Windows操作系统环境下的通信协议的应用及配置方法做了具体的解释。     

一种基于秘密共享的安全通信协议

为了保证网络通信的安全性,需要对通信的双方进行身份认证,并保证通信内容的安全。通常的做法是利用某个可信任第三方进行身份认证,但这样存在一些安全风险。本文提出一种基于秘密共享的安全通信协议。该协议可以保证在一个较大规模网络内的通信安全。     

一种适于网络控制系统的微型通信协议

针对控制系统中单片机和上位机的通信问题,制定了一个适用于微型控制系统的网络通信协议．给出了协议制定的原则,分析了通信协议中校验部分存在的问题,定义了一种适合微型控制系统的校验码-非0校验,阐述了该协议在单片机控制系统中实现的过程,验证了该协议的有效性及稳定性。     

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

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

OSI协议软件的实现及迁移技术

本文从系统的设计和实现两方面讨论了ＯＳＩ协议软件的实现策略，并介绍了基于协议和基于服务等两种从ＴＣＰ／ＩＰ协议套实现向ＯＳＩ协议套实现的迁移方法以及一些实例。     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

一种新的鉴别协议

分析了现有的以系统时钟基本同步为前提的鉴别协议中存在的安全问题，指出了产生该问题的原因，在此基础上，提出了一种新的无须系统时同卞的鉴别协议，就协议使用一种简便易行的解决方案，采用第二方时间标记，从而消除了系统时钟不同步所带来的影响，清除了指出的安全漏洞，最后，分析了新协议的优点和不足。     

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

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

机群系统中的简单可靠协议通信技术研究

简单可靠协议SRCP(SimpleReliableCommunicationProtocol)是在传统通信协议的基础上提出的一种基于以太网的用户层高效通信协议.该协议通过一层虚拟驱动在用户空间和网络接口之间直接传递数据,将协议处理提到用户空间实现,简化了通信的层次,减少了系统核心的干预.基于该协议设计了Linux操作系统下的SRCP,并应用于机群系统中.     

面向变异分析的协议安全测试方法

在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.     

Simulation for a New Real-time Ethernet MAC Protocol

A method for modeling broadcast protocols in OPNET is introduced by illustrating a simulation of a new real-time Ethemet MAC protocol. The details of network models in OPNET are given and the proce-dure in modeling is introduced. Simulation results verify that the protocol is correct and efficient.     

Andrew Secure RPC协议的一种组合分析方法

逻辑方法和模型检验方法是安全协议的两种重要分析方法。逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且能生成不满足所需求性质的反例。先用BAN逻辑对Andrew Secure RPC协议进行分析,并在此基础上组合模型检验方法进行分析,结果表明逻辑方法组合模型检验方法分析协议比只用逻辑方法分析得到的结果更全面且更具体。     

Scapy在网络协议分析实验教学中的应用

针对网络协议分析实验教学中存在的问题,介绍了协议分析软件——Scapy的工作原理和功能优势。提出了将Scapy应用于网络协议分析课程实验教学的方法,总结了Scapy在教学中的基本过程,并给出了实验教学应用实例。在网络协议分析实验教学中使用Scapy,有利于学生更加直观地理解网络协议的实现原理,能得到较好的教学效果。