Scyther

1、Security Protocol  ：a domain  analysis          一个安全协议描述了很多的行为，每一个行为称为角色，例如触发角色和 接受角色，一个系统有多个通信代理组成，每一个代理扮演一个或者多个角色（或许来自不同的协议）    代理执行的角色叫做一个运行。       协议规范:  描述了么一个角色的行为，我们认为这是语义的一个参数,我们定义了一个抽象的语法指定

>>阅读原文<<