安全协议形式化分析

Name: 安全协议形式化分析
Rating: 4.5 (55 reviews)
Author: oChenKun10

上传者：oChenKun10 2019-06-01 04:01:01上传 PDF文件 18.69MB 热度 55次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

安全协议形式化分析

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

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

Formal Analysis of the Ice Protocol

大小：0B | 2019-06-26 17:20:17
模型检测 形式化分析 安全协议相关论文

大小：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
网络协议的形式化分析与设计

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

大小：0B | 2019-05-23 00:09:52
形式化分析之迁移系统

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

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

大小：0B | 2019-03-29 11:54:18
安全协议形式化分析方法综述之一基于推理结构性方法

大小：0B | 2019-01-03 03:29:22
安全协议形式化分析方法综述之二基于攻击结构性方法

安全协议形式化分析方法综述之二——基于攻击结构性方法，pdf文件

大小：0B | 2019-07-13 15:16:11
安全协议分析的形式化理论与方法

研究生论文-安全协议分析的形式化理论与方法

大小：4.32MB | 2020-08-14 23:04:08
基于π演算的Petri网和密码协议的形式化分析

大小：0B | 2019-02-16 06:30:51
安全协议形式化研究与实现

硕士论文,研究通信安全协议方面的，对形式化的研究与实现

大小：0B | 2019-07-29 21:17:09
论文研究密码协议形式化分析的计算合理性.pdf

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

大小：1.06MB | 2020-07-26 04:12:54
形式化分析工具Scyther软件的说明手册

大小：0B | 2019-03-29 11:54:39
论文研究一种适于带时间戳安全协议的形式化分析方法.pdf

提出了一种适用于带有时间戳的安全协议的有色Petri（CPN）形式化分析方法，利用一个非自动时钟来描...

大小：0B | 2020-01-04 14:58:30