Scyther spdl（比較準確的翻譯）

1、協議的主要的核心是定義一個協議在協議中聲明角色：  Protocol  ExampleProtocol(I,R){       role I{   };       role R{   }；//在角色中一開始我們沒有定義角色的行爲  }     ////在協議中聲明兩個角色，分別是 I 和   R        很多安全協議依賴生成一個隨機的值，他們可以在一個角色中使用 fresh 聲明一個臨

>>阅读原文<<