只为小站
首页
域名查询
文件下载
登录
论文研究-对安全协议重放攻击的分类研究.pdf
在详细研究攻击实例的基础上,从攻击成功的根本原因出发,提出了一种新的重放攻击分类方法。该分类方法能够更清楚地认识到重放攻击的原理和本质,并针对不同的重放种类给出了避免攻击的原则性方法,对协议的设计和分析起到了借鉴作用。
2022-07-28 14:02:06
40KB
安全协议
重放攻击
形式化分析
1
UPPAAL工具+运行环境(jre1.8)
Uppaal是一个集成工具环境,用于对实时系统建模、验证和验证,该系统被建模为定时自动机网络,并扩展了数据类型(有界整数、数组等)。 该工具由瑞典乌普萨拉大学信息技术系和丹麦奥尔堡大学计算机科学系合作开发。
2022-07-04 21:00:56
108.18MB
形式化分析
系统仿真
1
网络安全协议
形式化分析
验证工具Tamarin的用户手册
近期国内外很多安全研究人员使用Tamarin对一些经典安全协议进行分析,并发现了经典协议的漏洞,其中包括TLS核5G通信协议,以及最近火爆流行的ECU安全通信协议SecOC。 本文档为Tamarin用户手册,是学习Tamarin的最佳文档,内容包括: 工具介绍 安装方式介绍 入门案例讲解 消息加解密的表示方式 案例研究 相关工具链 等等。
2022-05-16 10:42:35
3.57MB
协议验证
协议安全
tamarin
形式化分析验证
1
tamarin-prover入门级介绍
学习tamarin的必读文档之一,建议在阅读tamarin用户手册之前先阅读该文档。该文档为tamarin-prover的入门级介绍文档,可以快速了解tamarin的用途、使用方式与效果。
2022-01-26 14:00:23
454KB
网络安全
Tamarin
形式化分析验证
协议安全
1
利用CSP方法对IEEE 802.11w
形式化分析
运行在IEEE 802.11i基础上的IEEE 802.11w增加了对无线网络管理帧的保护,针对IEEE 802.11w协议的安全性问题,利用了通信顺序进程(CSP)对其进行
形式化分析
。对协议运行在恶意环境中,存在攻击者的情况下,利用CSP方法建立了攻击者和协议主体的CSP进程模型。使用模型检测工具故障发散改进器(FDR)进行仿真实验,对协议的认证和安全属性进行了校验,发现该协议存在中间人攻击情况,为提高IEEE 802.11w的安全性提供了帮助。
2021-11-23 11:02:12
844KB
无线网络;
形式化分析;
故障发散改进器;
通信顺序进程
1
网络协议的
形式化分析
与设计
网络协议的
形式化分析
与设计 古天龙 2003 计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程
2021-04-13 10:36:25
59.15MB
网络协议
形式化
1
网络协议的
形式化分析
与设计_11134266.zip
网络协议 网络协议的
形式化分析
与设计,是PDG格式的电子书,请用PDG软件来阅读
2021-04-13 10:02:49
3.89MB
网络协议
网络协议的形式化分析与设计
1
形式化分析
工具Scyther软件的说明手册
形式化分析
的工具Scyther软件的说明手册,可以对工业协议和安全加密的协议进行
形式化分析
2021-03-27 15:40:50
381KB
Scythe
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
CNN卷积神经网络Matlab实现
大学生网页设计大作业-5个网页设计制作作品自己任选
Keil5安装包
PLECS中文手册.pdf
基于VMD算法的信号降噪.rar
Elsevier爱思唯尔的word模板.zip
航迹融合算法MATLAB仿真程序
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
Steam离线安装版
2020年大学生数学建模竞赛C题省一论文(包括材料和代码)
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
韦来生《数理统计》课后习题与答案
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
MTALAB NSGA2算法
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
最新下载
小甲鱼调试篇od使用教程课件和实验程序
DLT645电表模拟器.rar
博世BMI160 中文数据手册
osmocom-bb虚拟镜像下载地址
Keil C51 uVision 5.27 汉化文件.zip
集成电路中的五种浪涌保护器的防护方法
Windows与Linux安全加固脚本.rar
S7-1500_CAD.rar
my_CLPSO.m
DIGICO调音台 SD12_V1143_Offline离线编程软件
其他资源
《破译者》 中文版 戴维.卡尔
考勤管理系统(C++,SQL)
88E1112原理图参考设计
Microsoft.ReportViewer.WebForms, Version=10.0.0.0
Spring技术内幕:深入解析Spring架构与设计原理(第2版)(带书签)
graphviz-2.38.msi
长周期光纤光栅传输谱的MATLAB仿真
美赛2020latex模板.zip
关于解密后的校园二手书商城c2c的数据库文件
Unity中使用红蓝光的方法实现3D效果
matlab2012b许可证文件下载
匹配滤波器设计实验报告
IEC 60086-1:2015 Primary batteries - Part 1: General - 完整英文版(100页)
Fast Monte Carlo inversion for extracting the optical properties of tubular tissues
jd-gui.rar
Kafka KSQL实战.docx
Redis Desktop Managerv.0.8.8.384
数学原理[罗素]清晰版
websocket服务端与客户端通信实例
图形学的几道基础练习(计算机图形学)
论文查重工具
springmvc整合
汇编语言程序从大到小排列一串数字
铭泰企业进销存管理系统完整源代码