协议验证相关论文
随着5G网络通信时代的到来,信息安全成为人们关注的问题之一,因为没有信息安全,就没有国家安全。保障信息安全使用密码机制的网络......
本文旨在研究基于FSM的协议模型的协议验证问题,提出了交互自动机的概念,并转换成相应的PVS规范,本研究结果为利用PVS对基于FSM的协......
介绍了利用L2TP和报文检测方式对宽带故障快速定位的基本原理和组网方式.采用此种方式有利于较少和缩减用户的申告次数和时间,减轻......
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。模型检测是一种针对并发系统的自动分析与验证......
GSM-R作为铁路综合通信平台,能够在列车高速移动时提供可靠的信息传输能力,在该论文中,将详细设计并实现一种基于GSM电路交换技术......
该文中,我们探讨了形式化方法在安全协议验证领域内的相关应用问题.其中,我们工作的重点将集中在Strand空间方法上.首先,我们介绍......
本文对通信协议形式化描述和验证理论与方法进行了研究。文章在用Petri网模型对通信协议进行形式化描述的基础上提出了用Petri......
流控制传输协议(Stream Control Transmission Protocol,SCTP)是由Internet工程任务组在2000年提出的一个可靠的传输层协议-Reques......
随着智能交通系统(ITS)建设在全球范围内的蓬勃发展,专为解决车路短距离无线通信的ITS关键技术——DSRC技术也应运而生.从项目开发......
作为一项新兴的短距离无线通信技术,Bluetooth以其强有力的技术背景和良好的市场预期,逐渐被业界所接受。服务发现协议是Bluetooth技......
为了认识和理解现代互连网路的行为特征和性能表现,以保证和提高现有网络服务质量、推动互连网络和信息基础结构的正确发展,有必要......
随着网络服务要求的提高,网络系统的协议也变的越来越复杂,在这种情况下,需要合适的方法、技术来对协议进行正确性验证和测试[1][2......
该文对通信顺序进程CSP做了深入的研究,对它进行了扩充,在协议建模和协议验证等各个方面进行研究,以拓展对这一领域的探索,推动协......
本文主要针对时态认知逻辑的模型检测问题进行了初步研究,研究成果体现在如下几方面:(1)论文首先对安全协议验证的形式化方法进行了......
本文给出了一个知识推理的框架-知识框架,在该框架下变量忘记作为一基本操作,智能体可用其来对自己或其他智能体的知识进行推理.在该......
实时系统是一类重要的计算机应用系统,它经常被使用在对安全性要求极高的操作环境中,因此确保此类系统的正确性至关重要,并且需要......
实时系统是一种带有时间约束的计算系统,这些系统的许多动作的完成是与时间相关的,即要满足一定的时间限制。为了确保实时系统的正确......
访问控制是保护信息资源的一种重要机制,通过对用户访问行为的限定从而达到保护敏感信息的目的。因此,实施合适的访问控制是构建安......
网络协议具有空间分布性、并发性和异步性,这些特性对网络协议的开发质量带来了巨大挑战。协议化验证是对协议的功能和性能进行校......
2000年莫斯科数学奥林匹克竞赛上首次提出的俄罗斯牌问题引起了人们的广泛关注。最初是三个游戏者,七张牌的问题。随后研究者对其进......
机载网络是指用于机载系统或者设备之间通信的计算机网络,通常有确定性、完整性、安保性等方面的要求。形式化方法因其具有严格的......
Linux在去年可谓春风得意,现在风头依然很劲,人们逐渐发现在Win-dows之外还有更好的选择,Linux被寄予了厚望,希望有一天它将能够取代Windows,它的创始人Linus Torvalds也成为因......
防火墙主要分为过滤形和代理型两大类,上期介绍了过滤型防火墙的应用,本期介绍代理型防火墙。1 代理型防火墙的工作原埋 代理型防......
软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行形式化描述,......
为了克服现有的逻辑方法不适合分析电子商务协议的缺点,本文提出了一种基于协议认证目标的协议分析方法,该方法针对不同功能的协议......
针对专用短程通信(DSRC)协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点,采用协议工程方法来保证协议的完整......
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
本文从现有的协议验证技术的种类出发,论述了主要的验证技术的思想、内容、特点及能力,阐述了它们之间的关系以及验证技术的发展趋......
将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则......
分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提......
使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相......
本文讨论和建立了一种状态空间探寻式(SEV)协议验证问题的图论模型,并形式地定义了协议错误、协议正确程度、验证算法复杂度等概念......
协议工程就是一体化、形式化的协议开发过程。协议工程的目的是用来减少协议开发中潜在的错误,提高协议开发的效率,促进标准化的发展......
协议设计、开发的复杂性的增加,导致了协议工程技术的出现.针对协议工程活动中的协议验证与分析阶段,阐述了验证技术的目的与方法,......
为了克服目前Agent联盟形成策略存在的一些缺陷,提出了一种基于二次招/投标协议的动态Agent联盟形成策略.该策略采用二次招/投标法......
为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失......
模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言......
为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采......
PXT无线通信测试仪专为LTE用户设备(UE)的射频表征、协议验证和端到端应用测试而设计。这款新仪器可最大程度地降低设计不确定度,缩短......
对UPPAAL环境下通讯协议的规范验证方法进行研究,在此基础上,利用一组时间自动机模型模拟一个具有严格时间限制的网络通讯协议,并对其......
基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前......