在详细研究攻击实例的基础上，从攻击成功的根本原因出发，提出了一种新的重放攻击分类方法。该分类方法能够更清楚地认识到重放攻击的原理和本质,并针对不同的重放种类给出了避免攻击的原则性方法，对协议的设计和分析起到了借鉴作用。
2022-07-28 14:02:06
40KB
1
Uppaal是一个集成工具环境，用于对实时系统建模、验证和验证，该系统被建模为定时自动机网络，并扩展了数据类型（有界整数、数组等）。
该工具由瑞典乌普萨拉大学信息技术系和丹麦奥尔堡大学计算机科学系合作开发。
2022-07-04 21:00:56
108.18MB
1
基于概念层次网络（HNC）理论，对多动词出现的一种情况——动词连见，进行了分类研究，给出了相应的处理规则。同时，还提出了一种基于BNF范式和产生式规则的形式化规则描述语言，完成了对规则的形式化描述和软件实现。在此基础上，对真实语料中出现动词连见的语句进行了计算机自动处理，给出了处理结果。
2022-06-21 23:11:50
100KB
1
近期国内外很多安全研究人员使用Tamarin对一些经典安全协议进行分析，并发现了经典协议的漏洞，其中包括TLS核5G通信协议，以及最近火爆流行的ECU安全通信协议SecOC。
本文档为Tamarin用户手册，是学习Tamarin的最佳文档，内容包括：
工具介绍
安装方式介绍
入门案例讲解
消息加解密的表示方式
案例研究
相关工具链
等等。
2022-05-16 10:42:35
3.57MB
1