基于有色Petri网模型的安全协议检测方法

Name: 基于有色Petri网模型的安全协议检测方法
Rating: 4.5 (67 reviews)
Author: xwm50206

上传者：xwm50206 2019-06-26 15:43:58上传 PDF文件 243.55KB 热度 67次

Security protocol detection method based on colored Petri net model

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

基于有色Petri网模型的安全协议检测方法

Security protocol detection method based on colore...

大小：0B | 2019-06-26 15:43:58
一种基于有色Petri网的安全协议分析方法研究

利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分...

大小：244KB | 2020-10-30 15:15:11
基于有色Petri网的时钟同步协议安全性分析

随着工业以太网的发展, 作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要. 针对时钟同步协...

大小：244KB | 2021-01-16 19:27:43
基于LTL和PETRI网的模型检测方法

一种有效的基于LTL和PETRI网的模型检测方法

大小：0B | 2019-05-15 23:53:54
基于有色Petri网的模型驱动SOA服务模型组合

大小：521.938 KB | 2022-11-02 17:03:16
基于模糊有色Petri网的故障诊断方法

基于模糊有色Petri网的故障诊断方法

大小：363KB | 2021-04-07 00:07:54
基于有色Petri网的攻击场景构造

大小：0B | 2019-01-07 01:21:26
CPN Color Petri Net即有色的Petri网

CPN (Color Petri Net) is a colored Petri net

大小：0B | 2019-06-26 15:43:34
有色petri网原版详细教材

国外出的非常经典的有色petir网教程相信这部书的作者大名各位都听说过很权威细致。

大小：0B | 2019-05-21 19:40:19
有色Petri网教程PPT CPN

Colored Petri Net Tutorial [PPT] [CPN]

大小：0B | 2019-06-26 15:44:01
基于Petri网模型的泛化度计算方法

针对现有泛化度算法依赖于概率分布和时间复杂度高的缺点,提出一种基于泛化度自动机的泛化度计算方法。将P...

大小：326KB | 2020-07-30 14:13:09
基于时间有色Petri网的电梯系统的建模与分析

大小：0B | 2019-01-18 00:46:49
petri网验证协议

Petri network verification protocol

大小：0B | 2019-06-26 15:43:51
基于Stateflow的Petri网仿真方法

：Stateflow是matlab环境下与simulink整合在一起的专门用来对复杂响应系统和事件驱...

大小：0B | 2020-05-02 22:33:06
有色petri网CPN tool中文帮助文档

Colored Petri Net CPN tool Chinese Help Document

大小：0B | 2019-06-26 15:43:42
论文研究基于赋时有色Petri网的测试系统资源优化方法.pdf

论文研究-基于赋时有色Petri网的测试系统资源优化方法.pdf, 提出采用赋时有色Petri网(...

大小：656KB | 2020-07-16 23:43:26