近期国内外很多安全研究人员使用Tamarin对一些经典安全协议进行分析，并发现了经典协议的漏洞，其中包括TLS核5G通信协议，以及最近火爆流行的ECU安全通信协议SecOC。
本文档为Tamarin用户手册，是学习Tamarin的最佳文档，内容包括：
工具介绍
安装方式介绍
入门案例讲解
消息加解密的表示方式
案例研究
相关工具链
等等。
2022-05-16 10:42:35
3.57MB
1
学习tamarin的必读文档之一，建议在阅读tamarin用户手册之前先阅读该文档。该文档为tamarin-prover的入门级介绍文档，可以快速了解tamarin的用途、使用方式与效果。
2022-01-26 14:00:23
454KB
1