Scyther 論文相關資料整理

1、Scyther 的特點使用方法     Scyther可以提供軌跡的簡單描述，方便分析協議可能出現的攻擊和表現，使用Athena算法，該軟件表現如下特點：       該軟件有明確的終止，能工提供無限會話協議安全性的證明，嫩共證明過程的樹狀圖，相比其他軟件能工提供更加有效的證明結構，輸出證明過程的樹狀圖；提供協議的多種可能的表現和攻擊，實現了多協議的並行分析，解決了傳統軟件的狀態空間爆炸問題，

>>阅读原文<<