只为小站
首页
域名查询
文件下载
登录
论文研究-对安全协议重放攻击的分类研究.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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
拾荒者扫描器.zip
粒子群多无人机协同多任务分配.zip
房价预测的BP神经网络实现_python代码
知网情感词典(HOWNET)
2019综合测评仿真.zip
MPC 模型预测控制matlab仿真程序
大学生网页设计大作业-5个网页设计制作作品自己任选
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
基于yolov4-keras的抽烟检测(源码+数据集)
pytorch实现RNN实验.rar
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
Monet智能交通场景应用
工程伦理案例分享.docx
商用密码应用与安全性评估——霍炜.pdf
最新下载
javaweb摩托车商城(课程设计项目)
用有监督学习机制设计并实现模式识别方法,用于进行人脸面部特征识别,如性别(男性、女性)、年龄(儿童、青少年、成年、老年)、佩戴眼镜(是、否)、戴帽子(是、否)、
西电应用密码学与网络安全.rar
自动导出PFC5.0颗粒流的球编号、坐标、分组、半径信息(数值模拟、仿真)
调试备忘录-SWD协议解析 - 洛神殇 - 博客园1
psf2otf_circShift函数.zip
[MS-DOS.7.10完整安装光盘ISO版].DOS71CD
隐藏驱动卸载软件
ActiViz.NET-5.8.0.607-win64.exe
海康webcomponents最新版64位,32位
其他资源
《跳频通信》梅文华著
自适应模糊系统与控制——设计与稳定性分析
stm32f103步进电机控制模板
JAVA坦克大战+源代码(适合初学者)
自动门西门子S7-200PLC程序
Detection Estimation and Modulation Theory Part III -
11080游泳圈的最大子矩阵和
海康OCXweb监控视频插件及代码
OpenCV图像处理总结
广工数据结构课程设计 基于链表的航空客运订票系统.zip
qt实现老鼠走迷宫游戏(数据结构课设)
C++ MFC ATM系统
simple:一行ZSH提示,不会提示-源码
GNS3-2.2.17-all-in-one-regular.exe
博客文章链接检查器-源码
重庆德图电气TS-BDA系列直流电流变送器说明书(薄型).pdf
laravel-api-response-builder:构建美观,标准化且易于使用的Laravel REST API JSON响应-源码
键盘显示系统
车辆检测-基于车底阴影特征-基于路面灰度级的分割方法-高斯拟合直方图
基于MATLAB的DBN训练部分
SVM_light工具箱(matlab)
日文简化CAD ROOT PRO CAD
NPOI.dll各种DLL文件集合
武汉理工大学专业教育课程设计
Android基于wifi模块的局域网聊天以及文件传输app
Matlab车牌定位源代码