多路UART总线与CAN总线通讯系统设计

主要利用TI公司的多路异步收发器,TLl6C554和PHILIPS公司的SJAl000设计一个多路总线协议转换通讯系统。为了实现4路UART总线与CAN总线之间的相互转换过程,采用微控制器AT89S51来控制通讯数据转换,通过硬件电路实验和软件调试算法,得到了4路串行总线与CAN总线之间的相互透明转换过程。该电路系统大大方便了具有UART接13的设备进行远距离、多节点传输,增强了系统的通讯可靠性。     

MANET中基于邻居节点的重传控制算法

针对移动Ad Hoc网络传统重传机制存在的局限性,提出了一种新的重传控制算法(EX-TCGM),利用传输路径上的邻居节点传输丢失的数据包,使得路由上的任何节点都能够重传,并从理论上对该算法的有效性进行了分析.通过计算机仿真,并与按需距离矢量路由协议(AODV)、机会路由协议(ExOR)和分组移动传输控制方法(TCGM)进行了性能对比和分析,证明了EX-TCMG的有效性.     

抽样检验在通信协议分析中的应用

由于通信数据量大,一组截获的数据当中将存在大量的传输帧。在进行协议识别与解析过程中,对所有的传输帧进行解析是不现实的,如何抽取传输帧进行实验完备性的论证至关重要。这里根据孤立批抽样检验理论,将质量专业的相关知识应用到通信协议分析中去,利用已有的抽样检测标准来证明实验结果的完备性,方法简单易行,得到了较为理想的结果。     

WDM光环形网络保护及实现方法

提出了WDM环形网络的几种保护方案,分析了利用1:1环路配置方式进行WDM光环形网络保护的实现方法,简单介绍APS在环保护中的应用。     

认证协议相关性分析

本文提出认证协议的相关性问题，并引入关联因子的概念，从消息相关和协议相关两个层次上对相关性进行描述，同时将协议的运行看作是攻击者和协议环境交互的模型。我们用CSP的模型检查工具FDR2对该模型进行形式化描述，以著名的Needham-Schroeder公钥协议为例分析其相关性，得出了理想的结果。     

基于多信道预约可冲突避免的多址接入协议

本文为多跳分布多无线网络提出了一套灵活而有效的自适应获取冲突避免（AACA）的多址接入协议。在该协议中，各节点竞争公共信道，利用RTS/CTS对话形式来预约各业务信道，成功预约后的分组传输不会受到其他节点的干扰。它使用任意确定数目信道，以异步方式工作，并且使得各节点利用半双工无线电台就可以灵活、简便地实现资源预约。分析和比较结果说明，所提出的多信道预约协议可以有效地解决隐藏终端、暴露终端以及侵入终端的问题。     

ATM-PON光网络终端管理控制协议

遵照 ITU- TG.983建议 ,建立 ONT管理和控制通道 ,实现 ONT与 OLT间的管理控制信息传送。并校正了多信息流传送时可能会产生的并发消息错误     

一个非否认协议ZG的形式化分析

非否认性是电子商务协议的一个重要性质,其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析,并对协议的缺陷进行了改进.     

通用安全协议分析语言CPAL的研究

本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析，指出这种语言控制流的缺陷，在语法和语义方面给出CPAL语言的完善方案，并从信息安全中的协议的广泛性方面说明其必要性。     

一种门限的基于身份无需随机预言的签名方案

 本文针对Paterson无需随机预言的签名方案,提出了一种新的基于身份的无需随机预言的(t,n)门限签名方案,并分析了新方案的正确性和安全性.分析结果表明,在离散对数难题下,参与者能方便的产生个体签名,公开验证者可通过验证公式,决定是否接受个体签名和门限签名.而任何攻击者不能伪造个体签名,不能通过窃听个体签名、门限签名和其他公开信息得到系统秘密值,即使已知所有参与者的秘密值,也无法伪造门限签名.该方案在各种可能的攻击下是安全的.