安全协议分析的形式化理论与方法

Name: 安全协议分析的形式化理论与方法
Rating: 4.5 (43 reviews)
Author: hxr51940623

上传者：hxr51940623 2020-08-14 23:04:08上传 NH文件 4.32MB 热度 43次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

安全协议分析的形式化理论与方法

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

大小：4.32MB | 2020-08-14 23:04:08
安全协议形式化分析理论与方法研究综述

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

大小：0B | 2019-07-29 21:17:25
安全协议形式化研究与实现

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

大小：0B | 2019-07-29 21:17:09
论文基于形式化方法的协议测试理论

论文《基于形式化方法的协议测试理论》

大小：0B | 2019-09-14 21:48:51
安全协议形式化分析

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

大小：0B | 2019-06-01 04:01:01
电信协议工程与形式化方法

Telecommunications protocol engineering and formal...

大小：0B | 2019-06-26 17:20:39
基于SAT的安全协议惰性形式化分析方法

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

大小：1.49MB | 2021-02-16 14:00:47
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
形式化变分理论

形式化变分理论，赵建中，，本文以数学逻辑讨论了弹性力学中的变分理论，提出变分理论一致性原则。文章讨论...

大小：0B | 2020-06-15 17:54:38
形式化方法CSP

Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP

大小：0B | 2020-06-01 19:03:18
形式化方法教材

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

大小：0B | 2020-05-15 21:37:38
协议形式化相关论文

收集的协议形式化的相关论文，总共57篇，希望对别的同学了解协议形式化有所帮助

大小：0B | 2019-09-18 06:45:50
形式化方法资料

形式化方法的课件，北大裘宗燕老师的课件

大小：0B | 2018-12-26 05:23:29
形式化方法概貌

大小：0B | 2019-01-10 23:14:58
Ice协议的形式化分析

Formal Analysis of the Ice Protocol

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

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

大小：0B | 2019-05-23 00:09:52