协议形式化

本专辑为您列举一些协议形式化方面的下载的内容,协议形式化等资源。把最新最全的协议形式化推荐给您,让您轻松找到相关应用信息,并提供协议形式化下载等功能。本站致力于为用户提供更好的下载体验，如未能找到协议形式化相关内容，可进行网站注册，如有最新协议形式化相关资源信息会推送给您。

阅读全文

协议形式化

: 协议形式化相关论文收集的协议形式化的相关论文，总共57篇，希望对别的同学了解协议形式化有所帮助
评级：0 浏览量：39 收藏量：1 资源大小：29.2MB 上传时间：2013-03-13

: 安全协议形式化分析 形式化分析、安全协议分析
评级：0 浏览量：377 收藏量：1 资源大小：18.69MB 上传时间：2016-09-04

: 基于CPN的安全协议形式化建模及安全分析方法.docx 基于CPN的安全协议形式化建模及安全分析方法.docx
评级：0 浏览量：66 收藏量：0 资源大小：699KB 上传时间：2022-05-29

: 网络安全协议形式化分析验证工具Tamarin的用户手册近期国内外很多安全研究人员使用Tamarin对一些经典安全协议进行分析，并发现了经典协议的漏洞，其中包括TLS核5G通信协议，以及最近火爆流行的ECU安全通信协议SecOC。本文档为Tamarin用户手册，是学习Tamarin的最佳...
评级：0 浏览量：442 收藏量：0 资源大小：3.57MB 上传时间：2022-01-26

: 网络安全认证协议形式化分析.ppt 网络安全认证协议形式化分析.ppt
评级：0 浏览量：30 收藏量：0 资源大小：204KB 上传时间：2021-12-16

: 网络协议的形式化分析与设计网络协议的形式化分析与设计古天龙 2003 计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程
评级：4 浏览量：220 收藏量：2 资源大小：59.15MB 上传时间：2015-07-22

: UCAS-安全协议与形式化方法-思维导图.xmind UCAS-安全协议与形式化方法-思维导图.xmind
评级：0 浏览量：94 收藏量：0 资源大小：20KB 上传时间：2021-11-28

: 串空间理论在网络安全协议形式化分析中应用 (2003年) 网络通信的普及和发展使得对网络...串空间理论（strand space theory）的出现提供了避免状态爆炸问题、提高协议形式化分析效率的有效方法。用几个简单协议为例说明了如何利用串空间理论有效地进行协议的形式化分析。
评级：0 浏览量：39 收藏量：0 资源大小：366KB 上传时间：2021-05-09

: 安全协议形式化分析方法的融合性研究 (2010年) 分析了BAN逻辑和串空间理论的特点与不足。为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法。通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效。
评级：0 浏览量：77 收藏量：0 资源大小：867KB 上传时间：2021-04-25

: 基于L-π演算的WSN路由协议形式化方法 (2015年) 针对无线传感器网络路由协议形式化描述与验证的问题，提出了一种形式化方法L-π演算。定义了L-π演算的语法，形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余，描述了节点表达式的非顺序性。...
评级：0 浏览量：44 收藏量：0 资源大小：736KB 上传时间：2021-05-20

: 安全协议形式化的课程教案有关网络安全协议形式化分析的课程ppt教案，包含安全协议的基本概念、形式化分析方法和工具的概述
评级：4 浏览量：56 收藏量：0 资源大小：4.32MB 上传时间：2011-03-03

: 一种新的安全协议形式化分析方法――证据逻辑 (2008年) 形式化分析技术对于安全协议的正确设计至关重要，考虑到现有信仰逻辑分析方法的不足，该文提出一种新的安全协议形式化分析方法――证据逻辑，即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法...
评级：0 浏览量：89 收藏量：0 资源大小：232KB 上传时间：2021-05-26

: 基于事件的群组密钥协商协议形式化分析研究.docx 基于事件的群组密钥协商协议形式化分析研究.docx
评级：0 浏览量：30 收藏量：0 资源大小：81KB 上传时间：2022-06-17

: Geopriv协议形式化分析与模型检测 (2013年) 在协议的形式化检测中，欧共体支助的基于TLA的大型项目AVISPA，其以HLPSL为描述语言，本文实现了基于TLA的Geopriv协议的形式化分析与检测，通过检测，发现Geopriv协议在一定条件下，是可以攻破的，并发现该协议的...
评级：0 浏览量：45 收藏量：0 资源大小：255KB 上传时间：2021-06-13

: 网络安全认证协议形式化分析PPT学习教案.pptx 网络安全认证协议形式化分析PPT学习教案.pptx
评级：0 浏览量：40 收藏量：0 资源大小：223KB 上传时间：2021-10-11

: 基于Tamarin的5G AKA协议形式化分析及其改进方法_.pdf 基于Tamarin的5G AKA协议形式化分析及其改进方法_.pdf
评级：0 浏览量：88 收藏量：0 资源大小：3.32MB 上传时间：2022-12-22

: 协议形式化描述技术概述及PPT学习教案.pptx 协议形式化描述技术概述及PPT学习教案.pptx
评级：0 浏览量：23 收藏量：0 资源大小：375KB 上传时间：2021-10-02

: 基于前推的密码协议形式化分析方法.pdf 基于前推的密码协议形式化分析方法安全事件
评级：0 浏览量：122 收藏量：0 资源大小：5.11MB 上传时间：2021-08-14

: 基于Petri网的密码协议形式化建模 (2012年) 采用新方法对TMN协议的多次并发会话通信进行形式化建模，模型依据会话配置和会话顺序进行功能单元划分，采用on-the-fly方法生成攻击路径。采用状态空间搜索技术，发现了该协议的多次并发会话不安全状态，并获得了新...
评级：0 浏览量：46 收藏量：0 资源大小：416KB 上传时间：2021-05-26

: 一种基于拜占庭容错的PoS共识协议形式化分析方法.docx 一种基于拜占庭容错的PoS共识协议形式化分析方法.docx
评级：0 浏览量：35 收藏量：0 资源大小：289KB 上传时间：2022-06-17

: Modbus协议一致性测试的形式化方法然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后设计并实现了一致性测试系统,在实际应用中证明了该方法的有效性和实用性。
评级：0 浏览量：106 收藏量：1 资源大小：121KB 上传时间：2020-07-05

: 物联网中安全通信协议的形式化分析针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对...
评级：0 浏览量：104 收藏量：0 资源大小：670KB 上传时间：2021-03-02

: 《安全协议形式化验证》课程报告[定义].pdf 《安全协议形式化验证》课程报告[定义].pdf
评级：0 浏览量：40 收藏量：0 资源大小：84KB 上传时间：2021-10-11

: 论文研究-密码协议形式化分析的计算合理性.pdf 提出了基于移动Agent安全方案MABCM的组播接收方不可抵赖服务MNORS。在MABCM构造的移动Agent黑箱的保护下，通过内嵌解密密钥的方式，NRR移动Agent程序能够在不可信的接收方计算环境中强制生成可信的NRR不可抵赖证据，...
评级：0 浏览量：68 收藏量：0 资源大小：1.06MB 上传时间：2019-09-07

: 安全技术-网络安全-物联网传感网络安全协议形式化研究.pdf 安全技术-网络安全
评级：0 浏览量：28 收藏量：0 资源大小：6.43MB 上传时间：2022-04-12

: 论文研究-一种基于虚拟组织的网格安全协议形式化验证方法 .pdf 一种基于虚拟组织的网格安全协议形式化验证方法，赵辉，，虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础.对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂
评级：0 浏览量：73 收藏量：0 资源大小：383KB 上传时间：2019-08-15

: 网络游戏-安卓系统环境下的网络协议形式化描述工具.zip 网络游戏-安卓系统环境下的网络协议形式化描述工具.zip
评级：0 浏览量：20 收藏量：0 资源大小：946KB 上传时间：2021-09-19

: 安全协议形式化混合分析技术的研究与应用 (2006年) 分析了模型检测技术和逻辑推证技术的优点与不足，介绍了两种形式化分析方法相结合的混合分析方法，并给出实例，证明混合分析技术在检测协议漏洞方面是更为完全的。该技术的效率大大高于一些起初的模型，且易于实现。
评级：0 浏览量：30 收藏量：0 资源大小：271KB 上传时间：2021-05-26

: 基于广义随机Petri网的卫星通信系统网络控制协议形式化模型基于广义随机Petri网的卫星通信系统网络控制协议形式化模型
评级：0 浏览量：49 收藏量：0 资源大小：1.12MB 上传时间：2021-03-28

: 网络技术-网络基础-基于CPnets模型的安全协议形式化方法研究.pdf 网络技术-网络基础
评级：0 浏览量：19 收藏量：0 资源大小：6.56MB 上传时间：2022-04-18

: 安全协议形式化研究与实现硕士论文,研究通信安全协议方面的，对形式化的研究与实现
评级：0 浏览量：62 收藏量：0 资源大小：27KB 上传时间：2008-12-11

: 网络技术-网络基础-安全协议形式化分析中认证测试方法的研究.pdf 网络技术-网络基础
评级：0 浏览量：30 收藏量：0 资源大小：11.81MB 上传时间：2022-04-18

: Otway-Rees协议改进及形式化证明选取认证密钥分配协议Otway-Rees协议作为研究对象，利用协议组合逻辑（PCL）作为协议证明工具，对安全协议形式化分析及证明进行了研究。首先给出了 Otway-Rees协议常见的攻击形式，分析了存在的缺陷，提出了改进方案...
评级：0 浏览量：165 收藏量：0 资源大小：654KB 上传时间：2021-01-15

: 安全协议形式化分析方法综述之一基于推理结构性方法安全协议形式化分析方法综述之一，基于推理结构性方法，pdf文件
评级：4 浏览量：67 收藏量：1 资源大小：547KB 上传时间：2010-01-04

: 安全协议形式化分析方法综述之二——基于攻击结构性方法安全协议形式化分析方法综述之二——基于攻击结构性方法，pdf文件
评级：0 浏览量：70 收藏量：1 资源大小：1.03MB 上传时间：2010-01-04

: 基于进程演算的安全协议形式化研究国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法，基于定理证明的方法和基于进程演算的方法三种。其中，进程演算对于协议的描述几乎接近协议的本身含义，可以很精确地刻划协议的运行过程。使用进程...
评级：0 浏览量：74 收藏量：0 资源大小：523KB 上传时间：2009-11-19

: 安全协议形式化分析理论与方法研究综述安全协议形式化分析理论与方法研究综述，学术论文
评级：0 浏览量：141 收藏量：2 资源大小：1.58MB 上传时间：2011-11-20

: 密码协议的形式化分析与设计原则 (2001年) 介绍了密码协议的形式化分析方法和设计原则,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则,并提出了作者的一些观点。
评级：0 浏览量：38 收藏量：0 资源大小：176KB 上传时间：2021-05-11

: 论文研究-一种基于虚拟组织的网格安全协议形式化验证方法.pdf 根据生灭过程的基本原理，从处理排队系统中特定的事件出发，设计并实现了一个基于事件驱动的排队系统仿真器。该仿真器能根据特定的系统配置，对实际数据进行分析和对特定过程进行模拟。仿真器包含的开发接口支持其...
评级：0 浏览量：62 收藏量：0 资源大小：1.18MB 上传时间：2019-09-11

: 基于SAT的安全协议惰性形式化分析方法提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC，通过引入惰性分析的思想优化初始状态与转换规则，提高了安全性的检测效率。另一方面，通过在消息类型上定义偏序关系，SAT-LMC 能够检测出更丰富的...
评级：0 浏览量：60 收藏量：0 资源大小：1.49MB 上传时间：2021-01-15

: 形式化分析工具Scyther软件的说明手册 形式化分析的工具Scyther软件的说明手册，可以对工业协议和安全加密的协议进行形式化分析
评级：0 浏览量：1818 收藏量：1 资源大小：381KB 上传时间：2019-03-19

: SIP协议系统模型的形式化研究本文总体上分析了SIP系统的主要组成，用SDL语言和MSC语言形式化地描述了SIP协议的主要系统模型。
评级：0 浏览量：49 收藏量：0 资源大小：77KB 上传时间：2020-07-29

: Ice协议的形式化分析 ice中间件是一个和CORBA同样强大却摒除了CORBA的缺陷的分布式对象平台，它为异构环境下的应用...本文使用Pi演算描述分析ICE协议，从交互过程和协议实体两方面对协议进行了刻画，揭示其并发、分布的对象计算特征。
评级：3 浏览量：94 收藏量：0 资源大小：133KB 上传时间：2011-07-11

: 论文研究-基于NuSMV的滑动窗口协议的形式化建模与分析 .pdf 基于NuSMV的滑动窗口协议的形式化建模与分析，赵也非，杨宗源，基于Kripke结构的模型检测技术，能够以穷举系统状态空间的方法，自动推理和证明由时态逻辑描述的系统关键属性。目前，模型检测技术
评级：0 浏览量：145 收藏量：1 资源大小：457KB 上传时间：2019-08-21

: 论文研究-形式化验证基于可认证网络编码的网络传输协议安全性 .pdf 形式化验证基于可认证网络编码的网络传输协议安全性，孙智勇，杨铭熙，网络编码通过网络节点对传输信号的编码处理，可以提升网络信息吞吐量、节约网络资源和减少转发次数。但是在构建网络编码的过程中
评级：0 浏览量：92 收藏量：0 资源大小：313KB 上传时间：2019-08-15

: Casper/FDR和串空间在物联网通信协议中的形式化分析通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好...
评级：0 浏览量：85 收藏量：0 资源大小：509KB 上传时间：2021-03-02

: 基于Spin的安全协议的形式化验证基于Spin的安全协议的形式化验证
评级：0 浏览量：75 收藏量：1 资源大小：490KB 上传时间：2021-03-08

: 无线网络中对于安全协议的形式化分析 (2009年) 在本文中，通过对基于安全认证的PAP协议的Casper和CSP形式化分析，然后通过使用Failure Divergence Refinement（FDR）工具来验证其如保密和认证方面的安全性能，通过测试表明，这两个安全认证协议
评级：0 浏览量：70 收藏量：0 资源大小：277KB 上传时间：2021-05-25

资源推荐

相关资源标签

安全协议，形式化进程演算安全协议形式化分析协议形式化网络协议协议分析网格;协同计算;形式化分析;虚拟组织;Strand Space理论可认证网络编码模型检测论文研究 Modbus 一致性测试 SPI 软件开发编程规范物联网; 形式化分析; 安全协议; 通信顺序进程协议形式化分析方法; 研究论文自然科学论文工程技术密钥科普漏洞挖掘威胁情报 goal 专业资料教学课件协议验证协议安全网络安全文档资料