协议验证相关论文
随着5G网络通信时代的到来,信息安全成为人们关注的问题之一,因为没有信息安全,就没有国家安全。保障信息安全使用密码机制的网络......
GSM-R作为铁路综合通信平台,能够在列车高速移动时提供可靠的信息传输能力,在该论文中,将详细设计并实现一种基于GSM电路交换技术......
该文中,我们探讨了形式化方法在安全协议验证领域内的相关应用问题.其中,我们工作的重点将集中在Strand空间方法上.首先,我们介绍......
本文对通信协议形式化描述和验证理论与方法进行了研究。文章在用Petri网模型对通信协议进行形式化描述的基础上提出了用Petri......
随着智能交通系统(ITS)建设在全球范围内的蓬勃发展,专为解决车路短距离无线通信的ITS关键技术——DSRC技术也应运而生.从项目开发......
作为一项新兴的短距离无线通信技术，Bluetooth以其强有力的技术背景和良好的市场预期，逐渐被业界所接受。服务发现协议是Bluetooth技......
该文对通信顺序进程CSP做了深入的研究,对它进行了扩充,在协议建模和协议验证等各个方面进行研究,以拓展对这一领域的探索,推动协......
该文主要研究利用知识逻辑进行协议验证的问题.一直以来,高效无二意的通信协议是人们进行有效的远距离通信交流的基础,设计高效无......
实时系统是一类重要的计算机应用系统,它经常被使用在对安全性要求极高的操作环境中,因此确保此类系统的正确性至关重要,并且需要......
实时系统是一种带有时间约束的计算系统，这些系统的许多动作的完成是与时间相关的，即要满足一定的时间限制。为了确保实时系统的正确......
访问控制是保护信息资源的一种重要机制,通过对用户访问行为的限定从而达到保护敏感信息的目的。因此,实施合适的访问控制是构建安......
网络协议具有空间分布性、并发性和异步性,这些特性对网络协议的开发质量带来了巨大挑战。协议化验证是对协议的功能和性能进行校......
软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行形式化描述,......
使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相......
为了克服目前Agent联盟形成策略存在的一些缺陷,提出了一种基于二次招/投标协议的动态Agent联盟形成策略.该策略采用二次招/投标法......
为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失......
模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言......
