文件名称：网络安全协议形式化分析验证工具Tamarin的用户手册
文件大小：3.57MB
文件格式：PDF
更新时间：2022-01-26 09:04:20
协议验证 协议安全 tamarin 形式化分析验证 网络安全
近期国内外很多安全研究人员使用Tamarin对一些经典安全协议进行分析，并发现了经典协议的漏洞，其中包括TLS核5G通信协议，以及最近火爆流行的ECU安全通信协议SecOC。 本文档为Tamarin用户手册，是学习Tamarin的最佳文档，内容包括： 工具介绍 安装方式介绍 入门案例讲解 消息加解密的表示方式 案例研究 相关工具链 等等。