论文《安全协议的形式化说明、设计及验证》

Name: 论文《安全协议的形式化说明、设计及验证》
Rating: 4.5 (51 reviews)
Author: samble415

上传者：samble415 2019-06-26 17:20:41上传 PDF文件 249.82KB 热度 51次

Paper "Formal Description, Design and Verification of Security Protocols"

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

论文安全协议的形式化说明设计及验证

Paper "Formal Description, Design and Verification...

大小：0B | 2019-06-26 17:20:41
协议形式化相关论文

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

大小：0B | 2019-09-18 06:45:50
安全协议形式化研究与实现

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

大小：0B | 2019-07-29 21:17:09
论文形式化的协议性能测试框架

The paper "Formal Protocol Performance Testing Fra...

大小：0B | 2019-06-26 17:20:44
安全协议分析的形式化理论与方法

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

大小：4.32MB | 2020-08-14 23:04:08
安全协议形式化分析

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

大小：0B | 2019-06-01 04:01:01
论文基于形式化方法的协议测试理论

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

大小：0B | 2019-09-14 21:48:51
Otway Rees协议改进及形式化证明

选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具...

大小：654KB | 2021-02-23 08:27:01
论文研究CTCT4级安全通信协议的形式化建模与验证.pdf

CTCS-4级列车运行控制系统是基于无线通信GSM-R传输信息的系统，而GSM-R系统是一种开放传输...

大小：520KB | 2020-07-16 11:39:26
模型检测 形式化分析安全协议相关论文

大小：0B | 2019-01-02 12:29:58
安全关键软件形式化建模

一种铁路信号系统安全关键软件的形式化建模和分析方法

大小：650KB | 2020-07-25 13:04:30
芯片开发功能验证的形式化方法

采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法。但是，基于模型驱动的FPGA设计需要证明...

大小：1.22MB | 2024-10-21 09:02:04
SIP协议系统模型的形式化研究

本文总体上分析了SIP系统的主要组成,用SDL语言和MSC语言形式化地描述了SIP协议的主要系统模型...

大小：77KB | 2020-09-03 20:36:20
基于Common Logic的UML类图形式化及验证

统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的...

大小：962KB | 2021-03-21 12:16:25
论文《用于通信网络协议开发的形式化方法》

大小：0B | 2019-01-11 00:05:37
电信协议工程与形式化方法

Telecommunications protocol engineering and formal...

大小：0B | 2019-06-26 17:20:39