scyther工具介绍（快速入门教程）

scyther工具介绍（快速入门）

Scyther是一种在完美加密假设下对安全协议进行形式化分析的工具，其中假设所有加密功能都是完美的
1、菜单中选择verify verify claims来运行验证工具

2、验证过程中将出现一个新窗口。结果窗口显示协议中声明的摘要以及验证结果。在这里，我们可以找到协议是正确的，还是错误的。

3、按下attack按钮可查看对声明的攻击