近期国内外很多安全研究人员使用Tamarin对一些经典安全协议进行分析，并发现了经典协议的漏洞，其中包括TLS核5G通信协议，以及最近火爆流行的ECU安全通信协议SecOC。
本文档为Tamarin用户手册，是学习Tamarin的最佳文档，内容包括：
工具介绍
安装方式介绍
入门案例讲解
消息加解密的表示方式
案例研究
相关工具链
等等。
2022-05-16 10:42:35
3.57MB
1
网络协议的形式化分析与设计
古天龙
2003
计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程
2021-04-13 10:36:25
59.15MB
1