形式化分析之迁移系统

Name: 形式化分析之迁移系统
Rating: 4.5 (34 reviews)
Author: songjunyi615

上传者：songjunyi615 2019-05-01 23:00:40上传 PPT文件 9.95MB 热度 34次

迁移系统交错并发不确定模型。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

形式化分析之迁移系统

迁移系统交错并发不确定模型。

大小：0B | 2019-05-01 23:00:40
安全协议形式化分析

形式化分析、安全协议分析

大小：0B | 2019-06-01 04:01:01
Ice协议的形式化分析

Formal Analysis of the Ice Protocol

大小：0B | 2019-06-26 17:20:17
网络协议的形式化分析与设计

网络协议的形式化分析与设计古天龙2003计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不...

大小：0B | 2019-05-23 00:09:52
形式化分析工具Scyther软件的说明手册

大小：0B | 2019-03-29 11:54:39
模型检测 形式化分析 安全协议相关论文

大小：0B | 2019-01-02 12:29:58
基于SAT的安全协议惰性形式化分析方法

提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初...

大小：1.49MB | 2021-02-16 14:00:47
安全协议形式化分析理论与方法研究综述

安全协议形式化分析理论与方法研究综述，学术论文

大小：0B | 2019-07-29 21:17:25
网络协议的形式化分析与设计_11134266.zip

大小：0B | 2019-03-29 11:54:18
利用CSP方法对IEEE802.11w形式化分析

运行在IEEE 802.11i基础上的IEEE 802.11w增加了对无线网络管理帧的保护,针对IE...

大小：844KB | 2021-04-09 16:16:45
基于π演算的Petri网和密码协议的形式化分析

大小：0B | 2019-02-16 06:30:51
智能家居平台构件适应与协同模型及形式化分析

以解决智能家居平台运行过程中的构件适应与协同问题为目的,保证设备独立性与数据一致性为特点,提出一种基...

大小：239KB | 2020-07-25 23:57:41
论文研究密码协议形式化分析的计算合理性.pdf

提出了基于移动Agent安全方案MABCM的组播接收方不可抵赖服务MNORS。在MABCM构造的移动...

大小：1.06MB | 2020-07-26 04:12:54
信息物理系统安全问题中的形式化分析与控制方法

信息物理系统安全问题中的形式化分析与控制方法

大小：2.74MB | 2020-08-14 23:04:09
论文研究蠕虫智能扩散形式化分析及权策略算法实现.pdf

多约束QoS组播路由问题是一个NP-完全问题，针对基本蚁群算法在解决多约束QoS组播路由问题时易陷入...

大小：561KB | 2020-07-16 14:15:37
基于应用π演算的可信平台模块的安全性形式化分析

可信平台模块(trusted platform module,TPM)是信息安全领域热点研究方向可信...

大小：495KB | 2021-05-05 04:57:15