共查询到19条相似文献,搜索用时 100 毫秒
1.
2.
安徽工业大学计算机学院安徽243003摘要:本文提出了一种用Petri网对安全协议建模,并通过倒推证明方法与Petri网的可达性矩阵描述来发现协议漏洞的方法。通过对著名的Needham-Schroedor公钥协议建模,然后利用这一方法对协议进行检测,发现了协议存在漏洞。应用结果表明,方法有效。 相似文献
3.
基于着色Petri网的多Agent系统交互协议建模 总被引:1,自引:0,他引:1
多Agent系统(Multi—AgentSystems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Vetri网来表示一个多Agent系统。利用着色Vetri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPAInform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。 相似文献
4.
在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义.形式化建模是分析验证网络协议的一种有效方法.使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性. 相似文献
5.
多Agent系统(Multi-Agent Systems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Petri网来表示一个多Agent系统。利用着色Petri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPA Inform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。 相似文献
6.
随着组播技术的飞速发展和广泛应用,对其路由协议进行数学建模和分析已经成为计算机网络领域一个重要的研究问题。其中PIM—SM协议是目前Intemet上最广泛应用的城内组播路由协议。针对PIM—SM协议的复杂、异步的特点.在对PIM-SM协议机制详细分析的基础上,利用Petri网对其进行形式化描述和建模,为协议进行性能分析、系统仿真和具体实现提供理论基础。 相似文献
7.
密码协议是任何安全系统的基础,对它的设计越来越受到广大用户的关注.本文详细论述了文献[1]提到的一种密码协议,并使用有色Petri网对该协议建模分析,说明该设计的正确性. 相似文献
8.
随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向.设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤.验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性.为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础. 相似文献
9.
不可否认协议的Petri网建模与分析 总被引:6,自引:0,他引:6
Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用.作为一种特殊的安全协议,不可否认协议虽然已得到了多种形式化方法的分析,但还没有人使用Petri网来分析它们.以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其他形式化方法无法描述的协议性质.使用该方法分析Zhou和Gollmann于1996年提出的一个公平不可否认协议,可以发现该协议的一个许多其他形式化方法不能发现的已知缺陷. 相似文献
10.
Petri网能有效地分析通讯协议,然而目前的相关文章大多侧重于理论分析。本文结合实际的工程背景,用MSComm串行通讯控件和其它的ActiveX控件实现了Petri网协议模型,并提出了二者映射的一般规则。用映射规则开发的通讯程序在应用中取得了较好的效果。 相似文献
11.
研究了如何使用分层有色Petri网在减少模型复杂性的基础上来建立物流配送模型, 并使用Colored Petri Net工具中的monitor机制, 对关键库所中托肯的变化情况以及关键变迁的发生次数得到 Simulation Performance Report和Message Sequence Chart来对模型进行全方位的定量定性分析, 准确模拟了实际系统完成物流配送的整个过程, 仿真过程表明该系统具有良好的适应性. 在确保物流配送流程合理性的同时,也为物流仿真软件体系结构的模块化及层次化设计建立了良 相似文献
12.
Bi-PIM协议的原理分析及其Petri网模型 总被引:1,自引:0,他引:1
文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化的基础。 相似文献
13.
14.
PETRI网描述的VPML语义 总被引:2,自引:1,他引:2
企事业过程建模系统EPMS(Enterprise Process Modeling System)以可视化过程建模语言VPML(Visual Process Modeling Language)为基础,用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础,利用PETRI网描述VPML的所有语义,证明其语义的正确性与完备性。利用二者之间建立的映射关系,将VPML建立的模型转换为PETRI网描述,借助于PETRI网工具可进行系统性能分析,提高产品开发的可靠性。 相似文献
15.
16.
本文提出一种可用于电力系统结线分析的Petrri网方法。该方法以元件和开关状态构造的Petri网为核心,用令牌的流动来确定电力系统结线分析的网络结线,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析,表明该方法的可行性及有效性。 相似文献
17.
信息-物理融合系统(Cyber-Physical System,CPS)作为一系列物理过程和计算过程的紧密集成,体现为物理世界和信息世界的交互与融合。针对CPS的时空及非功能属性,提出一种面向方面的时空Petri网建模方法,在保证时空一致性的前提下,分离系统中的核心关注点和横切关注点,将横切关注点单独作为方面进行分析,并将构建规则方面重新织入系统。该方法在系统设计阶段可以对不同的非功能属性进行形式化分析,提高了系统的可靠性和可维护性。最后通过实例说明了该方法的可行性。 相似文献
18.
采用面向对象Petri网(OOPN),建立了一个工人加工工件系统的完整的OOPN模型。并利用了对象之间的消息传递技术实现了工人和两个机器之间的无冲突工作,为其它复杂的资源共享系统建模提供了数学和图形工具。 相似文献
19.
采用面向对象Petri网(OOPN),建立了一个工人加工工件系统的完整的OOPN模型。并利用了对象之间的消息传递技术实现了工人和两个机器之间的无冲突工作,为其它复杂的资源共享系统建模提供了数学和图形工具。 相似文献