共查询到18条相似文献,搜索用时 109 毫秒
1.
基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面的工作。为了有效地解决这一问题,文中提出了一种用原型Petri网作为协议验证模型的思路和方法,在不改变原型Petri网结构的基础上对变迁赋予发生时延,解决了协议的性能评估问题。本文还给出了协议验证内容与Petri网分析方法的对应关系,并对0-1停止等待协议进行了详细的分析,最后把0-1停止等待协议的原型Petri网模型转化为时延Petri网,对协议的性能进行了评估。 相似文献
2.
利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网。利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析。实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题。 相似文献
3.
根据着色Petri网的建模的方法和工具CPNT001.对TCP协议的连接建立模块建立了着色Petri网模型。得到了可达树,通过可达树的方法对协议模型的正确性进行验证。 相似文献
4.
5.
基于着色Petri网仿真模型的安全协议分析 总被引:1,自引:0,他引:1
采取形式化方法验证协议的安全性,Petri网是有效的方法之一,但传统Petri网分析过程中经常会出现状态空间爆炸问题。该文采用了基于着色Petri网建立安全协议及入侵者攻击的仿真模型方法,从而获得仿真数据。该方法利用逆向状态分析和Petri网可达性分析,能有效地发现协议中的安全漏洞。并且,如果能恰当地控制好状态空间,则能有效地克服Petri网分析过程中的状态空间爆炸问题。该文给出的利用着色Petri网建立安全协议仿真模型分析的一般方法,实例说明该方法具有普适性,并且方便利用Petri网自动化分析工具实现自动化分析。 相似文献
6.
7.
对数字家庭无线射频通信协议进行分解,给出协议各部分的流程。构造基于Petri网的通信协议模型,并在模型的基础上运用可达图方法分析协议Petri网模型的动态性质,从而验证协议的正确性,为进一步研究和应用该协议提供一种新的思路。 相似文献
8.
9.
10.
Petri网是研究并发、异步系统的有效模型,并巳逐步应用到资源分配、操作系统、分布式系统等领域。 本文首先综述了Petri网基本理论,包括Petri网基本概念和分析方法;然后利用Petri网模拟和分析通讯协议;最后,分析了一个具体的协议。 相似文献
11.
有色Petri网在网络通信协议上的应用 总被引:3,自引:0,他引:3
自1962年C.A.Petri在其博士论文中首先提出Petri网后,Petri网理论和应用都取得了长足的进步。有色Petri网是由K.Jensen提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色Petri网,并利用仿真工具Design/CPN对一个通信协议停-等协议进行分析。 相似文献
12.
对密码协议模型进行了分析,引入时延Petri网分析工具,建立了一种新的安全电子交易协议的形式描述工具。利用该分析工具对安全电子交易协议中的支付部分进行了形式描述,并分析了它的安全等问题。 相似文献
13.
Petri网能有效地分析通讯协议 ,然而目前的相关文章大多侧重于理论分析。本文结合实际的工程背景 ,用MSComm串行通讯控件和其它的ActiveX控件实现了Petri网协议模型 ,并提出了二者映射的一般规则。用映射规则开发的通讯程序在应用中取得了较好的效果 相似文献
14.
基于高级Petri网的OSI网络协议描述与验证 总被引:4,自引:0,他引:4
本文对OSI参考模型进行了全面的分析,并介绍了一种高级Petri网,称为EPr/T网系统,该系统可作为OSI网络协议的形式描述工具,然后,利用EPr/T网系统对(N)层通信协议进行了形式描述,并阐明了OSI网络协议形式描述的一般方法。最后,对协议的有界性、活性和回归性等性质进行了验证。 相似文献
15.
任大勇 《计算机与数字工程》2013,41(10):1622-1624,1675
时延Petri网是在一般Petri网的基础上,在变迁上引入相应的时间函数,使其具有很强的描述能力与性能分析能力。针对移动电子支付中愈加严重的交易安全问题,通过对电子支付系统和移动电子支付流程的分析,发现移动电子商务SET协议存在漏洞,建立基于时延Petri网移动电子支付协议时延Petri网模型,为安全电子交易过程提供进一步的安全保障。 相似文献
16.
基于Petri网的异构协议转换的构造 总被引:4,自引:0,他引:4
异构网络由于协议的不兼容造成异构网络应用进程之间难以难,因此异构网络集成是当前网络工程所面临的困难之一,协议转换是实现异构网络互联的关键技术。文中首先给出协议转换的基本概念,并简述传统的协议转换方法。在此基础上,文中给出了基于Petri网的协议转换的定义,并利用Petri网的T不变量技术和并行组合积技术,按照自底向上的方法,提出了基于Petri网的协议转换器的构造算法及其证明,最后通过实例验证了其 相似文献
18.
基于着色Petri网的会话协议不仅能准确地描述Web服务的业务流程特征,而且具备强大的数据承载能力。该文以BPEL4WS语言为例,在对Web服务特性进行分析的基础上,给出了基于着色Petri网的会话协议以及相应的Web合成服务设计方法。通过这种框架,可以运用成熟的Petri网技术,对Web服务模型进行进一步的分析和验证,以提高服务的正确性和可靠性。 相似文献