PIM-SM协议的建模与改进

PIM-SM(protoc01-independent multicast-dense mode)协议是目前Internet首选的域内组播路由协议.影响其广泛应用的一个主要问题是该协议的控制报文负载比较大.为了对协议进行改进和优化,首先需要建立性能模型并进行准确的性能分析.利用随机Petri网(stochastic Petri net,简称SPN)模型对整个PIM-SM复杂的协议行为进行了建模,并在其SPN模型的基础上,结合路由器的实现,对协议中每种消息消耗的路由器处理负载和占用的网络带宽进行了分析和实验,发现Register消息和Join/Prune消息消耗的路由器处理负载比较多,而Join/Prune消息和Bootstrap消息占用的网络带宽比较大.根据性能分析的结论对PIM-SM协议进行了改进.与原来的协议相比,改进后的协议性能明显提高.     

基于PIM-SM的域内组播设计

PIM-SM是一个不依赖于某一特定单播路由协议的组播路由协议,为组播数据转发提供路由信息。介绍了IP组播原理,分析了组播通信的优点,概述了组播路由协议。研究了基于PIM-SM的组播网络设计与实现方法,并给出了相关的网络配置方案。     

Bi-PIM协议的原理分析及其Petri网模型

文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所／变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化的基础。     

基于Petri网的Socks协议建模与分析*

论述基于Petri网的Socks协议分析,通过对Socks协议的分解,给出了Socks协议各阶段的流程,并建立相应的Petri网模型,从而完成对Socks协议运行机制和实现原理的分析。     

基于赋时颜色Petri网的NSSK协议建模

随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向.设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤.验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性.为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础.     

基于随机着色Petri网的RUDP协议建模与分析

鉴于传输层传输协议TCP的低效率和UDP的不可靠性,本文提出一种新型的多帧无线传输RUDP协议,同时引入广义随机着色Petri网（GSCPN）,并利用GSCPN对本RUDP进行建模和分析,为以后更好地研究RUDP协议提供模型参考,具有很好的理论价值。     

基于NS2的PIM-SM组播协议研究与仿真

PIM-SM（Protocol Independent Multicast-Sparse Mode）协议是目前Internet首选的域内组播路由协议。与其他PIM协议相比,其RPT向SPT切换的机制可以有效地减少网络延迟,降低RP的负载。NS2是面向对象的离散事件仿真器,它能够有效地对各种网络拓扑和数据传输进行仿真。本文利用NS2对RPT向SPT切换的过程进行模拟,并详细分析得到的仿真数据。仿真结果证明了RPT向SPT切换的优越性。     

基于Petri网的通讯协议分析与实现

Petri网能有效地分析通讯协议，然而目前的相关文章大多侧重于理论分析。本文结合实际的工程背景，用MSComm串行通讯控件和其它的ActiveX控件实现了Petri网协议模型，并提出了二者映射的一般规则。用映射规则开发的通讯程序在应用中取得了较好的效果。     

域间组播与PIM-SM的域间改进

本文首先简单阐述了目前在单一域内应用较广的DVMRP和PIM-SM组播协议，接着介绍域间组播路由协议：MSDP和BGMP。最后提出了三种改进PIM-SM使之适用于域间组播的方法。     

基于Petri网的安全协议分析

安徽工业大学计算机学院安徽243003摘要：本文提出了一种用Petri网对安全协议建模,并通过倒推证明方法与Petri网的可达性矩阵描述来发现协议漏洞的方法。通过对著名的Needham-Schroedor公钥协议建模,然后利用这一方法对协议进行检测,发现了协议存在漏洞。应用结果表明,方法有效。     

基于面向对象Petri网的动态合同网协议通用模型

传统的合同网协议模型通过管理Agent和承包商Agent之间招投标进行交互和协商以共同完成目标任务。但传统合同网协议模型也存在一些如协作过程中通信量大、通用性不强等问题。为此，采用面向对象Petri网，引入对象Agent，对动态合同网协议进行建模,并采用Petri网的数学分析方法对模型进行了分析，表明模型具有通用性、并发性、活性的特点且通信量减少。     

基于有色Petri网的SPIN协议建模与分析

在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义.形式化建模是分析验证网络协议的一种有效方法.使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性.     

密码协议验证中的Petri网方法

如何验证密码协议的安全性是一个复杂的问题,只有形式化的验证方法才能证明密码协议的绝对正确.利用Petri网给出了一种用于密码协议验证的形式化方法.在合理假设的基础上,区分合法用户与攻击者在执行协议时的前提条件,列出执行协议后的结果,在此基础上建立了攻击者的Petri网模型.最后,用这种方法对NSPK协议进行了验证,证明了最初的NSPK协议中存在一个安全问题,而改进的NSPK协议则消除了这个问题.证明了这种方法的有效性.     

一种基于有色Petri网的安全协议分析方法研究

利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。     

基于PIM-SM协议IP组播安全技术

伴随着互联网的高速发展,Internet上涌现了许多需要高带宽支持的应用. 组播技术能有效的利用网络带宽资源. 组播的安全性一直是一个热点问题,也是阻碍组播发展的一个主要问题. 本文针对虚假组播源产生垃圾消息恶性攻击提出了一个基于PIM-SM组播协议的预防方案,实验结果表明,该方案能提高组播系统的可靠性.     

实时数据库并发控制协议及其Petri网分析

该文提出一种适用于实时数据库的新可推测并发控制（New Speculative Concurrency Control,NSCC）协议。该协议在传统的SCC协议基础之上,进行一系列改进,避免了大量不必要的事务重启,提高了并发度。最后,通过Petri网理论验证其可行性和正确性。     

基于Petri网的哲学思考

近年来,Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展.同时,Petri网技术和其它技术的完美结合使其在应用领域如鱼得水.哲学高度深刻分析了Petri网之所以获得成功的思想渊源,通过诠释Petri网思想与哲学思想的诸多相通之处,帮助大家以一种全新的视角重新认识和理解Petri网.