电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
目前，安全协议的形式化分析方法大致可以分为3类：形式逻辑方法、模型检测方法和定理证明方法。其中，模型检测方法也称作状态空间搜索法。模型检测威廉希尔官方网站 采用形式化方法精确地证明一个系统能够按照预定目标正确工作。模型检测的基本思路是把安全协议看成一个分布式系统，而每个主体执行协议的过程构成局部状态，所有的局部状态则构成系统的全局状态，每个主体的消息接收和发送动作都会引起局部状态的改变，进而引起全局状态的改变，因此需要在系统可达的每个全局状态，对于安全协议分析来讲，模型检测威廉希尔官方网站 已被证明是一条非常成功的途径。首先，这种方法的自动化程度高，在验证过程中不需要用户参与；其次，如果协议存在缺陷，能够自动产生反例。但因为容易产生状态空间爆炸问题，所以模型检测方法不能用于比较复杂的安全协议分析。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于LMS算法自适应噪声抵消器的分析研究
- 基于FPGA的自适应LMS算法的实现 17次下载
- 基于权重思想的改进速率自适应算法 7次下载
- 面向边缘检测的限制型自适应SUSAN算法 2次下载
- 基于改进自适应权重的立体匹配优化算法 3次下载
- 基于实时信道状态信息估计的速率自适应算法 3次下载
- 自适应滤波算法与实现的PDF电子书免费下载 111次下载
- 使用双阈值自适应分割的轴承滚子表面缺陷提取威廉希尔官方网站 研究说明 6次下载
- 基于RSSI的自适应分段曲线拟合室内定位算法_林方旭 3次下载
- 自适应神经模糊算法在光伏MPPT中的仿真分析 0次下载
- 自适应遗传算法 9次下载
- 自适应PID控制算法及应用 36次下载
- 自适应滤波算法 38次下载
- 基于LMS算法与RLS算法的自适应滤波 219次下载
- 语音去噪LMS自适应滤波器算法
- USB 3.0自适应均衡电路的设计与应用 2765次阅读
- 自适应改变GOP长度的码率控制算法的研究分析 4270次阅读
- 工业机器人自适应运动控制威廉希尔官方网站 1943次阅读
- 自适应天线系统简介！自适应天线系统研制概况！ 5826次阅读
- 图像处理之边缘自适应的插值算法介绍,步骤,源码,优劣和出现的问题 5690次阅读
- 一文读懂自适应巡航系统 5710次阅读
- 自适应控制的应用实例 1.9w次阅读
- 自适应控制的优缺点_自适应控制存在的问题及发展 4.9w次阅读
- 自适应控制的分类_自适应控制的主要类型 2.9w次阅读
- 什么是自适应控制_自适应控制基本原理 5.5w次阅读
- matlab实现的自适应滤波算法 3.7w次阅读
- 自适应滤波算法理解与应用 2.5w次阅读
- 自适应滤波器的作用、原理以及相关应用 2w次阅读
- 一种创新性DPD线性化电路特有的自适应算法 2341次阅读
- 基于DSP的自适应滤波器的设计方案 8239次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论