资料介绍
针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题,对安全协议一阶逻辑模型进行扩展,对逻辑推理中的规则及合一化操作进行分类,给出操作置换规则,在此基础上开发能对攻击进行重构的协议验证原型系统。通过具体的应用例子对其秘密性进行形式化验证,结果表明系统能给出易于理解的攻击序列。
关键词:攻击序列重构;安全协议;一阶逻辑模型
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 一阶电路的动态响应(2) 0次下载
- 基于改进SIP密钥协议的SIP安全认证模型 8次下载
- 基于稳定度的一阶逻辑项评估方法 5次下载
- 基于SQAG模型的网络攻击建模优化算法 6次下载
- 基于SQAG模型的网络攻击建模优化算法 14次下载
- 电路原理教程之一阶电路和二阶电路的时域分析学习课件免费下载 21次下载
- 一阶电路和二阶电路的时域分析详细资料概述免费下载 0次下载
- 正弦激励下的RL一阶电路暂态过程实验研究 25次下载
- 电路设计--一阶电路 0次下载
- 一阶滤波算法之深入研究 44次下载
- labview中位移+速度+加速度采集显示(一阶导、二阶导) 231次下载
- RC一阶电路的响应测试 0次下载
- 一阶RC电路的暂态响应
- 一阶电路的响应
- 一阶动态电路分析与计算 0次下载
- rc一阶电路放电与哪些参数有关联 1892次阅读
- 一阶和二阶温度补偿低压带隙基准电路设计 5037次阅读
- 一阶RC和RL电路的0状态响应的区别在哪? 2762次阅读
- 一阶电路与二阶电路的时域分析 9861次阅读
- 一阶高通滤波器学习 7156次阅读
- 一阶有源滤波器原理详解 2860次阅读
- 一阶数字低通滤波器原理及公式推导 3.4w次阅读
- 一阶有源相移振荡器电路图分享 4055次阅读
- HDI PCB的一阶,二阶和三阶是如何区分的?详细案例说明 6.3w次阅读
- 基于图像的微分的:一阶微分和二阶微分(拉普拉斯算子) 3w次阅读
- 一种基于FAHP和攻击树的信息系统安全评估方法 4156次阅读
- 一阶rc电路的暂态响应实验报告分析 14.5w次阅读
- 详谈一阶RC低通滤波器如何过滤高频噪声 7.1w次阅读
- 什么是rc一阶电路的零输出响应 1.8w次阅读
- 一阶有源低通滤波电路与最经典一阶低通滤波器电路图 17.8w次阅读
下载排行
本周
- 1DC电源插座图纸
- 0.67 MB | 2次下载 | 免费
- 2AN158 GD32VW553 Wi-Fi开发指南
- 1.51MB | 2次下载 | 免费
- 3AN148 GD32VW553射频硬件开发指南
- 2.07MB | 1次下载 | 免费
- 4AN111-LTC3219用户指南
- 84.32KB | 次下载 | 免费
- 5AN153-用于电源系统管理的Linduino
- 1.38MB | 次下载 | 免费
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下载 | 免费
- 7SM2018E 支持可控硅调光线性恒流控制芯片
- 402.24 KB | 次下载 | 免费
- 8AN-1308: 电流检测放大器共模阶跃响应
- 545.42KB | 次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 450次下载 | 免费
- 2免费开源CC3D飞控资料(电路图&PCB源文件、BOM、
- 5.67 MB | 138次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 130次下载 | 免费
- 4使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 53314A函数发生器维修手册
- 16.30 MB | 31次下载 | 免费
- 6美的电磁炉维修手册大全
- 1.56 MB | 24次下载 | 5 积分
- 7如何正确测试电源的纹波
- 0.36 MB | 17次下载 | 免费
- 8感应笔电路图
- 0.06 MB | 10次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935121次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73810次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
电子发烧友App






创作
发文章
发帖
提问
发资料
发视频
上传资料赚积分
评论