离线可信第三方匿名原子的e-Cash交易协议模型

针对e-Cash交易协议的匿名性和原子性两者之间存在的矛盾,在对多个e-Cash方案及协议属性关系分析研究的基础上,采用离线可信第三方的方式,提出并建立了匿名原子的e-Cash交易协议模型,并对其原子性进行了证明.协议模型不仅克服了在线可信第三方匿名原子交易协议的缺陷,而且使关于协议属性的讨论抽象至与算法细节无关的层次之上,解决了难以直接确定协议属性本质的问题.

基于五层沙漏协议模型的网格体系结构

为了对网格的组成以及网格体系结构的构建进行深入研究,在对五层沙漏网格核心协议模型深入分析后,构建出以计算网格、数据网格和Web服务网格为核心的网格体系结构。该网格体系结构可以显著改善现有的互联网络服务,能适用于现代化大、中、小型企业对随需而变网络体系结构的要求,给企业管理带来先进的指导思想。

PKI结构下网络安全协议模型及典型密码体制安全性分析

网络安全协议模型是计算机网络安全中的重要因素 .本文给出了 PKI结构下基于证书中心的网络安全协议模型 ,分析了网络安全协议中几种典型密码体制的安全性 ,最后建立了网络安全通道 .

ATM网上高效运行多种协议模型研究

ＡＴＭ网上运行多种协议（ＭＰＯＡ）适用于下一代基于交换ＬＡＮ结构的技术。从本质上来说，ＭＰＯＡ扩展了局域网仿真与ＡＴＭ上的ＩＰ传输技术。本文讨论了ＭＰＯＡ叠加模型，分析了虚拟路由器的基本原理。详细讨论了ＭＰＯＡ叠加模型中逻辑功能的划分和逻辑功能间信息流。

一种改进的Woo-Lam密码协议模型

提出了一种改进的W oo-Lam密码协议模型,即eW oo-Lam模型。与W oo-Lam模型相比,新模型具有以下特点:增强了模型中关于密码学原语操作的描述语法,使得对密码协议主体行为的描述更加精确,提高了模型在检测协议攻击方面的能力;引入了匹配运算机制,保障了模型安全性证明的有效性;提出了七条形式化准则,规范了模型的抽象过程;扩充了模型基于状态迁移的形式语义,使其更加精确合理;重新给出了模型安全性的形式定义,使其更具一般性。

专用短程通信协议模型的建立

以专用短程通信(DSRC)协议的开发为背景,参照现有国际标准,提出了适合我国通信环境和面向多应用的DSRC协议的总体结构,描述了协议的帧格式,论述了车-路的通信过程,在此基础上建立了协议的数学模型,并给出了模型的假设条件和部分在求解过程中将要用到的基础数据.

专用短程通信协议模型的求解与分析

为确定专用短程通信协议的重要参数,把通信过程分为预约阶段和数据传送阶段,运用排队论理论分阶段建立了协议的数学模型,分析并论述了预约阶段的延时和吞吐能力,给出了数据传送阶段中数据传送时间服从定长分布和负指数分布情况下的主要参数和性能指标的计算方法,并给出了相应的计算结果,最后讨论了实际应用中不满足假设条件情况下的解决办法.

基于跨域认证与密钥协商的协议模型

为解决跨域认证与密钥协商中存在的重复计算问题,提出一种基于跨域认证与密钥协商的协议模型。利用公钥加密算法,将跨域认证与密钥协商2种常用协议有机结合,以较少的计算资源、存储资源和网络带宽,在单一的协议内同时实现跨域认证和密钥协商的过程。理论分析和性能比较结果表明,该协议能够提供保密性、鉴别机制、完整性和不可抵赖性等安全保证,且具有较高的处理效率。

预约发送量可调滑动窗口流量控制协议模型分析

本文首先描述了DECnet网络使用的流量控制和拥塞控制两种协议,综合地考虑了流量控制和拥塞控制这两个因素,建立了考虑拥塞控制的预约发送量可调滑动窗口流控协议的分析模型,并作了初步分析和计算。

宽带 LAN 平均响应时间限值与流量最大容限——三层协议模型近似解析

对高速宽带ＬＡＮ三层协议通信模型系统流量最大容限，在给定平均响应时间限值的条件下进行了数学解析，推导了有关的计算公式。

监控公司行为的优化协议模型

所有权与经营权分离的股份制企业是代理理论研究的主要内容之一．从代理理论角度出发，讨论了股份制企业委托人－代理人的优化协议问题，并利用规划论的方法，建立了基于对称信息和不对称信息的两类优化协议模型．进一步地对这两类模型中的委托人和代理人之间的冲突问题进行了分析，举例说明了模型的结果及其经济意义，从而提供了在一定条件下解决委托人－代理人之间冲突的有效方法．文中还对股份制企业的委托代理关系进行了探讨，为我国股份制企业的健康发展提供了一定的理论依据．

安全通信协议模型EABRA的设计

提出了一种安全的通信协议模型EABRA，通过该模型可以简单有效地实现网络安全通信。首先对EABRA协议系统、体系结构以及状态转换进行了细致的阐述，然后用ESTELLE语言对协议模型的实现过程进行了具体的描述，最后对EABRA协议模型进行了正确性验证。

OSI参考模型与TCP/IP协议模型的比较

OSI参考模型与TCP/IP协议模型经过了近半个世纪的角逐,其影响已经传播到当今计算机网络的各个层面。本文通过对OSI参考模型与TCP/IP协议模型的比较,可以更好的理解网络协议内部的运作方式。

数据通信管理协议模型的研究与开发

数据通信管理协议(DCMP)是当前国际上解决多个运行在不同平台上的实际应用之间交换数据的主流方法。本文以一个基于TCP/IP Socket 的 DCMP模型(SCM)为例,分析了它的架构及功能;讨论了DCMP在应用过程中可能遇到的问题。

协议模型形式描述方法与趋势

本文分析了协议模型形式描述方法(自动机法,Petri-net法,高级语言模型,语义学模型,时态逻辑,代数模型,混合型模型)和特点,并简要介绍了协议形式描述技术的应用和发展趋势。

Z39.50协议模型的有限状态机描述及面向对象的实现框架

主要介绍了 Z39.5 0标准的协议模型 ,用有限状态机对协议模型进行描述 ,然后给出 Z39.5 0协议机的状态类实现框架。

IMPP的协议模型及应用前景

详细介绍了即时消息传递和在线检测协议(IMPP)的基本模型框架及相关的标准制定工作,重点介绍了会话初始协议(SIP)应用于IMPP所取得的进展,展望了IMPP的发展趋势和应用前景。

基于EFI驱动-协议模型的自我认证测试系统

可扩展固件接口(EFI)规范为操作系统与平台固件之间的接口定义了一个崭新的模型。它们为启动一个操作系统与执行启动前程序提供了一个标准环境。可扩展固件接口的自我认证测试系统(SCT)利用EFI的驱动-协议模型通过统一的测试协议管理测试用例集合,用于验证一个EFI的实现是否符合EFI1.1规范,并且实现了EFI测试的可扩展性和可移植性。该文介绍了EFI自我认证测试系统的原理,框架和流程。

在Windows NT处实现自动沟通PPP-IEEE802.3的驱动协议模型

对于所研究的可自动沟通ＰＰＰ和ＩＥＥＥ８０２．３的驱动协议模型，在Ｗｉｎｄｏｗｓ ＮＴ环境下设计了一种实现方案。由于基于Ｗｉｎｄｏｗｓ ＮＴ的网络在市场上日渐流行，驱动协议模型及其实现具有重要的学术价值和实用意义。

一种基于帐户的安全有效的电子税务协议模型

运用电子商务的原理及技术，提出了一种基于帐户的电子税务协议模型，形式化地描述了协议模型的３个主体部分－－注册子协议、申报征收子协议和查询子协议，并对协议的保密性、完整性、可追究性和公平性进行了分析论证．该协议模型在所研制的网络税务系统中得到实现，并已经在实际应用中得到验证．