协议建模

本专辑为您列举一些协议建模方面的下载的内容,协议建模等资源。把最新最全的协议建模推荐给您,让您轻松找到相关应用信息,并提供协议建模下载等功能。本站致力于为用户提供更好的下载体验，如未能找到协议建模相关内容，可进行网站注册，如有最新协议建模相关资源信息会推送给您。

阅读全文

协议建模

: 能量收集无线传感器网络的CSMA / CA协议建模和分析能量收集无线传感器网络的CSMA / CA协议建模和分析
评级：0 浏览量：58 收藏量：0 资源大小：615KB 上传时间：2021-03-14

: 论文研究-基于分层EFSM的OpenFlow协议建模 .pdf 基于分层EFSM的OpenFlow协议建模，章志豪，张先恩，OpenFlow协议作为软件定义网络（SDN）目前事实的南向标准协议之一，受到了越来越多的研究者的关注。在本文中，针对OpenFlow协议建模，��
评级：0 浏览量：111 收藏量：0 资源大小：461KB 上传时间：2019-08-20

: 论文研究-网络控制论系统的协议建模研究.pdf 介绍了网络控制论系统的相关概念，描述了网络控制论系统的结构和行为层面，分析了网络控制论系统中协议的...基于有限状态机FSM模型，用OPNET进行了协议建模的实例分析，为网络控制论系统的协议建模分析提供了新的途径。
评级：0 浏览量：67 收藏量：0 资源大小：128KB 上传时间：2019-07-22

: 基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析针对以上问题,本文提出了一种基于随机时间自动机和统计模型检验技术的WSN协议建模、分析和评估途径.在建模阶段,首先将采用时间自动机对协议在理想环境下的基本业务流程进行建模.考虑到WSN系统实际工作中会遇到的各种...
评级：0 浏览量：95 收藏量：0 资源大小：1.87MB 上传时间：2021-02-08

: 论文研究-基于行为树的协议建模方法及其应用研究.pdf 为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题，提出了一种基于行为树（BT）的协议描述新方法。采用行为树模型对协议的控制流程进行建模，提出了基于行为树描述的协议验证方法，并给...
评级：0 浏览量：124 收藏量：0 资源大小：1.03MB 上传时间：2019-07-22

: SPIN在无线网络安全认证协议建模中的应用为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失败的安全隐患,从抵抗攻击和协议改进提出了基于隧道的认证方法。使用SPIN PROMELA语言对...
评级：0 浏览量：144 收藏量：0 资源大小：514KB 上传时间：2020-07-06

: 论文研究-一种基于CIPN的网络协议建模方法.pdf 基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作，结合CPN和IPN，提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析，突出了协议的离散事件系统特性。给出了CIPN的定义...
评级：0 浏览量：109 收藏量：0 资源大小：526KB 上传时间：2019-07-22

: 一种航空自组网中带查分服务的跳频MAC协议建模.zip 文献学习
评级：0 浏览量：14 收藏量：0 资源大小：355KB 上传时间：2023-08-02

: 论文研究-基于Petri网的Socks协议建模与分析.pdf 论述基于Petri网的Socks协议分析，通过对Socks协议的分解，给出了Socks协议各阶段的流程，并建立相应的Petri网模型，从而完成对Socks协议运行机制和实现原理的分析。
评级：0 浏览量：98 收藏量：0 资源大小：305KB 上传时间：2019-07-22

: 基于Horn扩展逻辑的非否认协议建模与验证 (2012年) 使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程，并基于 Horn逻辑扩展模型对协议的非否认性、公平性进行了建模，同时对参与协议的诚实主体、恶意主体、仲裁进行了建模，提出了针对非否认协议的验证...
评级：0 浏览量：29 收藏量：0 资源大小：1.25MB 上传时间：2021-05-09

: 网络游戏-基于端到端网络的多径传输协议建模与研究.zip 网络游戏-基于端到端网络的多径传输协议建模与研究.zip
评级：0 浏览量：29 收藏量：0 资源大小：10.86MB 上传时间：2021-09-19

: 基于随机着色Petri网的RUDP协议建模与分析 (2009年) 鉴于运输层传输协议TCP的低效率和UDP的不可靠性，文章提出了一种新型的多帧无线传输RUDP协议，同时引入了广义随机着色Peti网（GSCPN），并利用GSCPN对本RUDP进行了建模和分析，为以后更好地研究RUDP协议提供了模型...
评级：0 浏览量：40 收藏量：0 资源大小：203KB 上传时间：2021-05-15

: 论文研究-基于稳定路径的可靠数据传输协议建模研究.pdf 分析了基于稳定路径的数据传输方式，发现如果采用传统的可靠数据传输协议存在效率低下的问题，提出了一种...采用CPN(coloured Petri net) tools对协议进行了建模分析。状态空间结果表明，该协议是可靠、可行和完备的。
评级：0 浏览量：78 收藏量：0 资源大小：182KB 上传时间：2019-07-22

: CPNTOOLS的网络协议建模与仿真技术研究 CPNTOOLS的网络协议建模与仿真技术研究
评级：0 浏览量：130 收藏量：1 资源大小：230KB 上传时间：2012-02-22

: paml:协议活动建模语言协议活动建模语言安装 pip3 install paml 原料药要在客户端应用程序中使用PAML，请转到项目存储库的根目录： import paml API遵循与相同的约定。建筑文件在命令行中运行以下命令将为PAML数据模型生成UML图。 ...
评级：0 浏览量：60 收藏量：0 资源大小：59KB 上传时间：2021-04-12

: 协议形式描述语言主要是协议形式描述语言，主要讲的是XPDL概述以及他的一些分类，可以详细了解此描述语言的功能和作用
评级：4 浏览量：92 收藏量：0 资源大小：1.03MB 上传时间：2014-11-05

: 对TCP协议的Petri网建模好东西希望大家好好的用大幅度佛得角福建队卡发反对法大反对法大幅度
评级：4 浏览量：87 收藏量：1 资源大小：87KB 上传时间：2009-03-15

: 现场总线协议的建模与仿真本文意义在于用形式化的方法描述三种总线协议，使协议易于理解，状态机模型的仿真动态展示总线系统的通信行为，并为总线控制系统的通信研究提供一个仿真平台。
评级：5 浏览量：125 收藏量：1 资源大小：4.66MB 上传时间：2009-03-16

: 基于无线HART协议的数据链路层协议模型设计无线HART是一种专门为过程控制领域而设计的网络通信协议，是HART现场总线在无线领域的延伸，其通信模型主要由应用层、网络层、数据链路层、物理层组成。其中数据链路层在物理层提供服务的基础上向网络层提供服务，其...
评级：0 浏览量：177 收藏量：0 资源大小：96KB 上传时间：2020-07-29

: ROHC协议分析与建模 ROHC协议分析与建模对ROHC分析很透彻的一篇文章
评级：4 浏览量：132 收藏量：1 资源大小：250KB 上传时间：2011-09-17

: 基于CPN 的RUDP 建模与分析 (2012年) 针对该问题，运用着色Petri 网(CPN)对RUDP 进行形式化建模，使用CPN Tools 对模型进行仿真，通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质。采用3 次不同的实验对模型进行性能分析，...
评级：0 浏览量：76 收藏量：0 资源大小：277KB 上传时间：2021-05-22

: RBC切换协议的建模和验证 RBC切换协议的建模和验证
评级：0 浏览量：49 收藏量：0 资源大小：1.25MB 上传时间：2021-02-25

: 论文研究-基于SMV的滑动窗口协议的形式化建模与分析 .pdf 基于SMV的滑动窗口协议的形式化建模与分析，赵也非，杨宗源，本文采用模型检测的方法，在理想信道、信道可能丢失报文、受到入侵攻击这3种情况下，给出了滑动窗口协议的形式化模型，对协议的��
评级：0 浏览量：84 收藏量：0 资源大小：467KB 上传时间：2019-08-19

: 论文研究-基于OPNET的一种动态时分多址协议的网络建模仿真 .pdf 基于OPNET的一种动态时分多址协议的网络建模仿真，蔡溪琛，李绍胜，分析了Link-16数据链中的组网方式，阐述了其中的优势与劣势。之后根据跳频通信系统组网的特点提出并详细介绍了一种新型的时分多址��
评级：0 浏览量：97 收藏量：0 资源大小：437KB 上传时间：2019-08-16

: 语音编码解码协议G.729及建模.pdf 语音编码解码协议G.729及建模详解。G.729编码方案是电话带宽的语音信号编码的标准，对输入语音性质的模拟信号用8kHz、采样，16比特线性PCM量化。G.729A是ITU最新推出的语音编码标准G.729的简化版本。
评级：0 浏览量：134 收藏量：1 资源大小：1.02MB 上传时间：2020-03-06

: 基于CPN的安全协议形式化建模及安全分析方法.docx 基于CPN的安全协议形式化建模及安全分析方法.docx
评级：0 浏览量：66 收藏量：0 资源大小：699KB 上传时间：2022-05-29

: netconf协议（全）强大的数据建模能力，强大的过滤能力，良好的事务管理能力，良好的可扩展性
评级：0 浏览量：2070 收藏量：2 资源大小：1.22MB 上传时间：2018-08-06

: 一种基于有色Petri网的安全协议分析方法研究搭建一个能够覆盖大部分安全性质的CPN查询函数库，提出一种基于CPN的通用和规范的安全协议形式化分析语言，该语言可以像用面向对象编程语言编程一样对安全协议进行建模。
评级：0 浏览量：95 收藏量：0 资源大小：244KB 上传时间：2020-10-20

: 2021年北京高校数学建模校际联赛题目 .zip 2021年北京高校数学建模校际联赛题目某出版社出版发行与初等教育相关的图书, 在运营过程中, 遇到了图书印量、图书销售量和图书库存之间如何协调的问题。在印制图书的时候，除了根据印量会产生纸张费、印刷费、装订...
评级：0 浏览量：1281 收藏量：0 资源大小：2.16MB 上传时间：2021-07-21

: 基于AVISPA的快速切换认证协议FHAM的安全建模与检测文章运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,检测结果表明该协议是安全的,能抵制多种恶意攻击,符合FHAM协议设计的安全目标。
评级：0 浏览量：290 收藏量：0 资源大小：1.26MB 上传时间：2021-02-10

: MATLABSimulink建模标准协议第四版(下) MATLABSimulink建模标准协议第四版(下）
评级：0 浏览量：23 收藏量：0 资源大小：5.59MB 上传时间：2023-07-26

: MATLABSimulink建模标准协议第四版(上) MATLABSimulink建模标准协议第四版(上)
评级：0 浏览量：27 收藏量：0 资源大小：4.8MB 上传时间：2023-07-26

: 车载网络ADHOC MAC协议的性能建模和分析车载网络ADHOC MAC协议的性能建模和分析
评级：0 浏览量：80 收藏量：0 资源大小：1.12MB 上传时间：2021-03-12

: 基于层次CPN的OpenFlow建模研究文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets)，然后基于层次CPN对OpenFlow网络进行了建模，对每一层的模型都做了详细的说明，充分体现OpenFlow的工作机制。在建模的过程中，详细地考虑了模型中token的选取...
评级：0 浏览量：51 收藏量：0 资源大小：2.48MB 上传时间：2021-04-14

: 安全协议的SPIN建模与分析 (2009年) 总结了利用模型检测工具SPIN对安全协议进行建模的方法。以Helsinki协议和Helsinki改进协议作为分析实例，用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验，发现了Helsinki存在的Horng-Hsu攻击漏洞以及...
评级：0 浏览量：75 收藏量：0 资源大小：342KB 上传时间：2021-05-28

: 具有有限缓冲区的WBAN MAC协议的建模和性能分析具有有限缓冲区的WBAN MAC协议的建模和性能分析
评级：0 浏览量：55 收藏量：0 资源大小：777KB 上传时间：2021-03-03

: 多方不可否认协议的增广CSP建模与分析基于逆向工程的思想，使用前期工作中提出的面向两方不可否认协议分析的增广CSP方法，对典型的Kremer-Markowitch多方不可否认协议的安全性进行了探索性建模与分析。借助该分析成功发现此协议在满足不可否认性和公平性...
评级：0 浏览量：47 收藏量：0 资源大小：714KB 上传时间：2021-01-15

: 无线网络安全协议Kerberos的Petri网建模.pdf 无线网络安全协议Kerberos的Petri网建模.pdf
评级：0 浏览量：61 收藏量：0 资源大小：268KB 上传时间：2021-09-20

: 基于Petri网的密码协议形式化建模 (2012年) 采用新方法对TMN协议的多次并发会话通信进行形式化建模，模型依据会话配置和会话顺序进行功能单元划分，采用on-the-fly方法生成攻击路径。采用状态空间搜索技术，发现了该协议的多次并发会话不安全状态，并获得了新...
评级：0 浏览量：45 收藏量：0 资源大小：416KB 上传时间：2021-05-26

: 深空通信中Licklider传输协议（LTP）的性能建模深空通信中Licklider传输协议（LTP）的性能建模
评级：0 浏览量：130 收藏量：0 资源大小：1.26MB 上传时间：2021-02-24

: 在深空通信中为Licklider传输协议（LTP）建模内存变化动态性能和延迟/容错网络的内存消耗Licklider传输协议（LTP）和深度捆绑协议空间将取决于采用该技术的决定。有当前迫切需要评估性能和内存通过LTP和捆绑协议进行文件传输的动态特性。在这个论文中，我们对基于LTP的...
评级：0 浏览量：124 收藏量：0 资源大小：1.96MB 上传时间：2021-02-24

: 智能合同网协议的CPN实现鉴于传统合同网协议居高不下的通信量, 本文提出了智能合同网协议(ICP). 该协议对任务的发起者增加... 本文利用颜色Petri网对ICP建模并仿真, 实验数据证明, ICP极大的降低了通信量, 缩短了运行时间, 提高了任务命中率.
评级：0 浏览量：242 收藏量：1 资源大小：735KB 上传时间：2021-05-06

: 认知无线网络MAC协议的控制信道建模 (2013年) 针对认知无线网络媒体接入控制(CRN-MAC)协议的控制信道饱和问题，提出一种控制信道建模方案。引入控制信道门限的概念，根据协议超帧、控制子帧、数据子帧的时间约束关系，建立控制信道门限的定量分析模型，得出门...
评级：0 浏览量：30 收藏量：0 资源大小：852KB 上传时间：2021-05-22

: 基于Event-B方法的安全协议设计、建模与验证.pdf 基于Event-B方法的安全协议设计、建模与验证.pdf
评级：0 浏览量：26 收藏量：0 资源大小：1.26MB 上传时间：2022-12-16

: 系统分析与设计：功能建模建模练习：1、美团外卖开发详细的用例模型：2、点餐业务的活动图：3、识别实体和中介实体，对点餐业务的领域模型进行建模：4、点餐业务对象的状态图：5、点餐场景的系统顺序图与操作协议：操作协议：操作：order...
评级：0 浏览量：225 收藏量：0 资源大小：207KB 上传时间：2021-02-24

: 智能交通系统中CMIMO-SM-ARQ协议性能建模分析.pdf 智能交通系统中CMIMO-SM-ARQ协议性能建模分析.pdf
评级：0 浏览量：77 收藏量：0 资源大小：991KB 上传时间：2021-09-05

: 音视频-编解码-无线通信协议的建模与性能分析.pdf 音视频-编解码-无线通信系统中协作分集的跨层设计.pdf
评级：0 浏览量：26 收藏量：0 资源大小：4.31MB 上传时间：2022-04-20

: 移动终端中SAV协议的形式化建模和模型检查移动终端中SAV协议的形式化建模和模型检查
评级：0 浏览量：47 收藏量：0 资源大小：253KB 上传时间：2021-03-10

资源推荐

相关资源标签

总线协议 ROHC协议 CPNTOOLS的网络协议建模与仿真技术研究协议、建模 NETCONF 网络协议计算机应用语音编码解码协议 G.729 模型检测认证协议协议验证可扩展认证协议传输层安全无线HART协议数据链路层协议模型设计技术应用网络通信无线网络研究论文 Deep space tolerant data propagation protocols Python OpenFlow 自然科学论文工程技术数学建模校际联赛智能系统人工智能系统开发参考文献专业指导网络安全网络技术计算机网络文档资料 matlab