分析协议相关论文
阐述了安全电子商务协议的安全属性,介绍了重要的安全电子商务协议,总结了近年来安全电子商务协议形式化分析方法的研究进展情况。......
本文对异步中继的方法作了进一步的研究，并成功地设计出了中继器。文中详细地介绍了它的硬件组成、协议设计与分析以及软件实现，最后......
初步论述了计算机通信网络协议自动监视与分析的概念、方法和意义，着重叙述了一种专门设计的、能精确描述各类通信协议ＰＤＵ结构及其时序......
协议一致性测试是验证计算机网络协议实现与其国际标准相一致的重要技术。在一致性测试中，抽象测试集的地位十分重要。对不同协议标......
本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协......
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性......
美军47001协议是一种应用层无连接可靠传输协议。该协议能够在分组无线网中实现数据的端到端可靠传输,主要采用了分段重组机制和端......
2005年9月12日,世界领先的测试测量和监测设备供应商泰克公司宣布推出TDSVNM应用程序以满足对CAN和LIN(局域网互联)等低速串行总线......
为了提高量子通信数据传输效率和传输过程的可控性,我们设计了一种多维量子的受控量子安全直接通信的方案。方案中,信息发送者(Ali......
【正】专业改革,课程先行,计算机网络技术是计算机网络专业的主干课程,我们结合本地经济发展对网络人才的实际需要,从课程建设和专......
为了有效提高针对当前以太网船舶通信系统信息通信实时性分析准确性,以船舶通信CAN总线结构为目标,设计了TTCAN分析协议。定义L1和......
研究移动通信网建设维护与优化的措施,能够有效提高移动通信网的运行质量。基于此,本文将分析移动通信网的建设维护措施,其中主要......
