没有合适的资源?快使用搜索试试~
我知道了~
文库首页
网络技术
网络基础
基于有色Petri网模型的安全协议检测方法
基于有色Petri网模型的安全协议检测方法
基于有色Petri网模型的安全协议检测方法
需积分: 9
2 下载量
133 浏览量
2012-02-22
10:31:20
上传
评论
收藏
244KB
PDF
举报
温馨提示
立即下载
基于有色Petri网模型的安全协议检测方法
资源推荐
资源评论
一种基于有色Petri网的安全协议分析方法研究
浏览:6
利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。
基于有色Petri 网的时钟同步协议安全性分析
浏览:91
<p>随着工业以太网的发展, 作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要. 针对时钟同步协议的安全性问题, 首先提出一种基于有色Petri 网的时钟同步协议安全性分析方法; 然后通过建立协议的有色Petri 网模型, 利用状态方程等工具针对不安全状态的可达性进行判断分析, 从而实现时钟同步协议的安全性分析; 最后具体分析了一种基于精密时钟同步协议(PTP) 的时钟同步协议以及针对该
一种基于有色Petri网的知识库验证方法* (2000年)
浏览:21
以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证判定准则的实例.
基于有色Petri网的木马行为分析与检测
浏览:10
基于有色Petri网的木马行为分析与检测
基于模糊有色Petri网的故障诊断方法
浏览:18
基于模糊有色Petri网的故障诊断方法
基于有色Petri网的攻击场景构造
浏览:148
基于有色Petri网的攻击场景构造
基于LTL和PETRI 网的模型检测方法
浏览:78
一种有效的基于LTL和PETRI网的模型检测方法
基于有色Petri网的网络安全态势感知模型构建及分析.pdf
浏览:2
基于有色Petri网的网络安全态势感知模型构建及分析.pdf
论文研究-基于有色Petri网的SysML序列图的分析与验证.pdf
浏览:141
针对SysML序列图本身缺乏分析和验证手段的问题, 提出了一种序列图到有色Petri网的转换方法:定义了将序列图的常用操作转换为等价有色Petri网的转换规则, 重点是把序列图的常用结构如可选结构、条件结构、并行结构...
论文研究-基于赋时有色Petri网的测试系统资源优化方法.pdf
浏览:107
论文研究-基于赋时有色Petri网的测试系统资源优化方法.pdf, 提出采用赋时有色Petri网(TCP-net)对测试流程进行建模,用来优化自动测试系统的资源配置.给出了测试流程TCP-ne
基于 Petri网的 TCP协议异常检测模型 (2006年)
浏览:156
从面向连接的角度出发,以Petri网为工具,建立了 TCP协议异常检测模型.该模型以 TCP 协议的状态变迁图为基础,并根据协议规范可对传输报文的标志位进行系统的分析,从而识别出标 志位非法组合构成的畸形报文(FIN?RST报文) .模型中规定了各种状态下可接收的标志位集合, 同时还细化了各状态下的超时异常,据此可准确地检测出各种异常,以抵御已知和未知的非法行 为.利用该模型不仅可发现已知异常事件
基于Petri网的RFID复杂事件检测方法及优化策略研究1
浏览:132
摘要随着全球信息化进程的推进,无线射频识别(Radio Frequency Identification)技术已经在各个领域得到广泛应用,包括物流、交通运输、医
论文研究-基于有色网的RFID复杂事件检测模型的研究与分析.pdf
浏览:147
针对RFID数据的特性以及目前几种复杂事件检测模型的不足,在原有基于Petri网模型的基础上,通过扩展和改进,提出了一种基于有色网的RFID事件检测网EDN,对事件操作符进行了形式化和图形化的描述,建立了复杂事件表达式的层次结构模型;并分析了复杂事件表达式中的冲突算法,给出了RFID事件的资源回收机制,提高了RFID事件的处理能力。通过实验证明了该模型的正确性和有效性。
Denial-of-Service-Attacks-on-LoRaWAN:LoRaWAN是几个欧洲国家_地区在低功率广域网中进行通信的主要协议,并且在世界其他地方越来越多地使用。 我们在LoRaWAN协议规范中确定了三个漏洞,可用于对LoRaWAN网络中的终端设备发起拒绝服务(DoS)攻击。 我们通过创建和模拟LoRaWAN协议相关部分的有色Petri网模型,验证了可以利用这些漏洞进行DoS攻击
浏览:23
LoRaWAN上的拒绝服务攻击 LoRaWAN是几个欧洲国家/地区在低功率广域网中进行通信的主要协议,并且在世界其他地方越来越多地使用。 我们在LoRaWAN协议规范中确定了三个漏洞,可用于对LoRaWAN网络中的终端设备发起拒绝服务(DoS)攻击。 我们通过创建和模拟LoRaWAN协议相关部分的有色Petri网模型,验证了可以利用这些漏洞进行DoS攻击。 该存储库包含彩色Petri Net(.
论文研究-基于扩展Petri网的系统建模及形式化验证方法.pdf
浏览:157
参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明...
基于有色Petri网的SELinux安全策略自动化分析.rar
浏览:72
基于有色Petri网的SELinux安全策略自动化分析.rar
基于有色Petri网的SELinux安全策略自动化分析.pdf
浏览:107
基于有色Petri网的SELinux安全策略自动化分析.pdf
论文研究-基于有色Petri网的BPEL中flow活动建模.pdf
浏览:31
基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更...
有色Petri网教程,PPT非常详细,值得一看
浏览:175
有色Petri网教程,PPT非常详细,值得一看。有色Petri网是对Petri网模型的补充与发展。
论文研究-基于Petri网的APT攻击模型生成方法.pdf
浏览:107
在严峻的APT(advanced persistent threat)攻击防御背景下,针对现有网络攻击建模方法无法反映APT攻击的攻击特点的问题,建立了基于Petri网的APT攻击模型。借助Petri网,针对APT攻击的特点及生命周期,建立APT攻击...
对UML模型与Petri网模型的转换方法的整合研究
浏览:191
对UML模型与Petri网模型的转换方法的整合研究
Petri网模型分析工具
浏览:65
5星 · 资源好评率100%
Petri网分析工具 广义随机Petri网下的组合Web服务建模与评价 基于Petri网原理的数据流模型研究
基于有色Petri网的多处理器片上系统调度方法(英文).pdf
浏览:58
基于有色Petri网的多处理器片上系统调度方法(英文).pdf
有色petri网原版详细教材
浏览:38
5星 · 资源好评率100%
国外出的非常经典的有色petir网教程 相信这部书的作者大名 各位都听说过 很权威 细致。
解决Win 10与不兼容VirtualBox操作过程文档+(附带软件).zip
浏览:102
5星 · 资源好评率100%
配套博客地址:https://bamboo.blog.csdn.net/article/details/110222153 配套博客标题(完美解决)升级win10,提示VirtualBox 立即卸载此应用,因为它与Windows 10 不兼容 适用人群:在线更新Windows或者离线更新Windows的人群 解压之后打开文件夹【附带软件】之中的EXE文件,等待5-6秒检索完成,搜索virtualb
计算机网络知识点总结(谢希仁第八版).pdf
浏览:35
5星 · 资源好评率100%
计算机网络知识点总结(谢希仁第八版).pdf 详细版知识点总结(各章节)
Xshell软件(配色方案&高亮关键字/突出显示集)的相关文件
浏览:24
文件描述:Xshell软件(配色方案&高亮关键字/突出显示集)的相关文件 适用人群:所有IT计算机行业人群,重点突出用户为“网络工程师、运维工程师、弱点工程师、云计算工程师、网络安全工程师等技术人员” 软件适用版本:**所有Xshell 7的版本**,以下或7以后的版本未经过测试,可自行尝试。
湖南科技大学《计算机网络》配套课件(PDF版)
浏览:123
5星 · 资源好评率100%
湖南科技大学《计算机网络》配套PPT教程,共6部分,包含概述和5层网络体系结构。 0积分免费下载。
《计算机网络自顶向下方法第7版》中文PDF+复习题问题中文版答案
浏览:2
5星 · 资源好评率100%
挺好的书,中文英文都有 课后题答案也有
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
feiyugx1984
粉丝: 2
资源:
27
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
dome08
moho.sh
基于springboot+vue实现的在线考试系统+源代码+文档
RTL8723DS 2022 版本 Linux驱动,android驱动 支持4.0-10x
要玩NDS的遊戲,必須要先下載三個bios檔案到你的檔案資料夾
各类型数据库4月排名,基于排名网站数据爬虫json结果
基于springboot+vue实现的在线考试系统+源代码+文档
淮北市杜集区人才补贴+生活补贴
JAVA-JSP技术文档
课内实验02-决策表(共享单车月卡).docx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功