基于随机着色Petri网的RUDP协议建模与分析

鉴于运输层传输协议TCP的低效率和UDP的不可靠性,文章提出了一种新型的多帧无线传输RUDP协议,同时引入了广义随机着色Petri网(GSCPN),并利用GSCPN对本RUDP进行了建模和分析,为以后更好地研究RUDP协议提供了模型参考.     

ISO／OSI运输层协议的形成描述

通信协议的形式描述是协议实现，正确性验证和一致性测试的基础，本文用一种混合式模型对ＩＳＯ／ＯＳＩ运输层协议进行了形式描述，为协议的实现打下基础。     

扩展有限状态协议机模型及其检证法

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出基于该模型的形式检证法，试制了检证系统。     

快捷运输协议的研究与新进展

着重讨论在学术研究界，国际标准化和网络工业界均具有较强影响的“快捷运输协议”叙述其发展历史，协议现状，研究近况以及我们所做的工作，最后简单介绍高速计算机网络运输层协议的标准化工作。     

应用ASN.1对SNMP中SMI进行描述的方法

简单网络管理协议是目前最广泛的网络管理协议,抽象语法记法是国际标准化组织用来描述协议的标准语法。本文详细说明了抽象语法记法1在简单网络管理协议的核心部分管理信息结构中的应用,全面阐述了简单网络管理协议管理网络实体的机制。     

多媒体通信对计算机网络运输层的需求

本文从网络通信协议的运输层角度，对多媒体通信在运输层上的需求进行了分析与探讨，提出了多媒体通信协议中运输层应具有的新特性。     

基于公钥的密码协议的形式化分析方法

目前，基于密码技术的密码协议对于保证计算机网络安全起着十分重要的作用。这些密码协议的安全性直接影响着网络系统的安全性。形式化方法是一种当前较流行的用于分析密码协议安全性的方法。本文在形式化方法分析密码协议的基础上，对基于公钥的密码协议进行原型抽象和分类，给出了基于协议原型的协议设计方法，并通过实例方法说明此种协议设计方法。     

快速密钥交换协议JFK的SPIN模型检测

快速密钥交换协议JFK是一种新型的密钥交换协议,它的安全性引起了人们的重视.论文对密钥交换协议交换过程进行分析的基础上,使用Promela语言描述了协议模型,并用LTL刻画了需要满足的性质,最后对协议验证结果分析,表明该协议满足其设计目标.     

基于合作协议的集装箱班轮运输船期设计和加油策略联合优化

针对码头运营商与船公司间签署船舶到港多时间窗、多起讫时刻和多装卸速率合作协议下的集装箱班轮运输船期设计和加油策略联合优化问题,考虑各加油港燃油价格差异和折扣因素,建立了以班轮运输服务总成本最小化为目标的船期设计和加油策略非线性混合整数规划模型,结合船舶驾驶操控实际,设计了离散化和线性化模型求解技术方法.以中国远洋海运集团有限公司AEX1航线为例进行了大量模拟验证.算例结果显示,船期设计和加油策略联合优化有助于船公司灵活地调整船舶航速,可显著降低班轮运输服务总成本.敏感性分析表明,随着合作协议中船舶到港时间窗长度的扩大,班轮运输服务总成本和船舶航次加油量都随之降低;无论燃油价格如何变化,船期设计和加油策略联合优化都能有效降低班轮运输服务总成本.     

SIP协议组合模型的研究

在传统的会话发起协议的实现中,实现软件可重用度低、不易于SIP(会话发起协议)的功能扩展,文中采用基于CSP(通信顺序进程)理论的协议组合模型将SIP协议分解成协议构件,准确地描述了SIP协议实体之间的交互,在此基础上建立了一个可以方便地、灵活地进行SIP功能扩展的SIP协议组合模型。这个组合模型首先将SIP协议分解为具有独立功能的构件协议,然后通过这些构件协议的组合来实现更多的SIP功能。这个模型解决了传统的SIP协议实现软件可重用度低、不易于进行功能扩展等缺点。同时,采用CSP对该模型进行形式化描述,从而说明通过构件协议的组合可以实现SIP的功能。     

解决图像监控系统中图像传输质量的关键

在图像监控系统中，图像的传输是一个关键问题．图像在传输过程中容易出现延时、抖动、失真等现象．在较全面地分析图像传输中的压缩标准、传输协议、传输方式，以及传输软件设计等一些关键技术的基础上，提出了提高图像传输质量的有效方法．     

互动网络教学系统中文件传输协议及控制策略

在互动式网络教学系统中,服务器需要传输大量的文件用于同客户端进行交互。基于现有的各种文件传输协议实现数据传输虽然高效并且容易实现,但不能很好地适应互动网络教学中文件传输的某些特殊性。文章介绍了一个专门针对互动网络教学系统中文件传输协议的设计方法,并对一些系统中特殊传输策略进行了描述。     

可靠组播传输协议的延迟分析

在可靠组播协议延迟分析基础上给出了可靠组播传输协议 ( RMTP)中的发送者、接收者、指定接收者平均等待时间定量分析 ,并由此推导出可靠组播传输协议传输总延迟 .除此之外 ,还考虑了可靠传输所有数据报的延迟和周转消息延迟并给出了定量分析 .在丢失概率、接收者数目、发送速率等条件变化的情况下 ,可靠组播传输协议同其他两类可靠组播协议进行比较 ,结果表明可靠播传输协议的各类延迟相对较低并且在整体上具有较高的扩展性 .     

基于SMV的安全协议建模及类型缺陷攻击发现

在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的.     

采用新的启动和周期应答策略的传输控制协议

针对传输控制协议(TCP)协议在长延时网络中性能较差的问题,提出了一种新的传输控制协议。为了解决连接开始阶段发送窗口增长速度慢的问题,协议中采用了名为"疾速开始"的启动策略来取代传统的"慢启动"策略;另外,为了减少反向链路的带宽占用,避免由于反向链路数据拥塞而造成前向链路数据发送速率降低的问题,协议还采用了周期ACK应答策略,应答周期与发送返回时间相匹配。仿真结果表明,这个新的传输控制协议不仅能够迅速增长发送窗口,提高链路带宽的利用率,而且能够大大降低反向链路的带宽占用。     

IP网上可靠组播传输协议(RMSA)的研究

提出了一种新的IP网上可靠组播传输协议（RMSA）。RMSA协议设计方案中，首次使用了通过组播发送方驱动、动态为各个接收节点选择重传请求处理节点的方法。这种方法使得RMSA协议具有较强的可扩展性，较好地适应大规模组播应用中组播树的拓扑结构和网络传输状况发生动态变化的情况。仿真实验表明，RMSA具有差错修复时延较小和重复修复数据较少的优点。同时对现有IP网上路由器组播功能的改动量较现有的方案LMS（lightweight multicast service）和PGM（pragmatic general multicast）少，因此更加接近实用。     

Ad hoc网络信道接入协议研究

信道接入协议是 Ad hoc网络的关键技术和研究重点 ,在协议研究的过程中发展为 3个研究方向 :竞争接入协议、信道分配协议和混合接入协议。分析了它们各自的优缺点 ,介绍了一些相应的典型协议 ,并在综合各种协议的基础上 ,提出了 1种可行的基于同步的双信道动态分配协议     

应用Petri网对CSMA/CD的描述及分析

Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面完成的,即加入了禁止弧和时间的概念。通过使用可达图(树)和时间可达图等分析技术,介绍了CSMA/CD的一些重要性质。     

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

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