形式化分析工具Scyther软件的说明手册

Name: 形式化分析工具Scyther软件的说明手册
Rating: 4.5 (80 reviews)
Author: 鼻涕牛

上传者：鼻涕牛 2019-03-29 11:54:39上传其他文件 500kb 热度 80次

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

形式化分析工具Scyther软件的说明手册

大小：0B | 2019-03-29 11:54:39
Ice协议的形式化分析

Formal Analysis of the Ice Protocol

大小：0B | 2019-06-26 17:20:17
安全协议形式化分析

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

大小：0B | 2019-06-01 04:01:01
形式化分析之迁移系统

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

大小：0B | 2019-05-01 23:00:40
网络协议的形式化分析与设计

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

大小：0B | 2019-05-23 00:09:52
基于SAT的安全协议惰性形式化分析方法

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

大小：1.49MB | 2021-02-16 14:00:47
模型检测 形式化分析 安全协议相关论文

大小：0B | 2019-01-02 12:29:58
网络协议的形式化分析与设计_11134266.zip

大小：0B | 2019-03-29 11:54:18
安全协议形式化分析理论与方法研究综述

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

大小：0B | 2019-07-29 21:17:25
基于π演算的Petri网和密码协议的形式化分析

大小：0B | 2019-02-16 06:30:51
利用CSP方法对IEEE802.11w形式化分析

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

大小：844KB | 2021-04-09 16:16:45
论文研究密码协议形式化分析的计算合理性.pdf

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

大小：1.06MB | 2020-07-26 04:12:54
基于应用π演算的可信平台模块的安全性形式化分析

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

大小：495KB | 2021-05-05 04:57:15
软件工程形式化

大小：0B | 2019-01-11 00:06:43
智能家居平台构件适应与协同模型及形式化分析

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

大小：239KB | 2020-07-25 23:57:41
论文研究改进的云用户双向认证协议方案的形式化分析.pdf

改进的云用户双向认证协议方案的形式化分析，强衡畅，詹丽，研究了Nayak等人提出的云计算环境下双向认...

大小：0B | 2020-01-10 03:53:27