Scyther spdl（比较准确的翻译）

1、协议的主要的核心是定义一个协议在协议中声明角色：  Protocol  ExampleProtocol(I,R){       role I{   };       role R{   }；//在角色中一开始我们没有定义角色的行为  }     ////在协议中声明两个角色，分别是 I 和   R        很多安全协议依赖生成一个随机的值，他们可以在一个角色中使用 fresh 声明一个临

>>阅读原文<<