Scyther

1、Security Protocol  ：a domain  analysis          一個安全協議描述了很多的行爲，每一個行爲稱爲角色，例如觸發角色和 接受角色，一個系統有多個通信代理組成，每一個代理扮演一個或者多個角色（或許來自不同的協議）    代理執行的角色叫做一個運行。       協議規範:  描述了麼一個角色的行爲，我們認爲這是語義的一個參數,我們定義了一個抽象的語法指定

>>阅读原文<<