協議形式化分析Scyther 資料整理

1、性能分析      目前來說形式化的分析已經成爲安全協議的一種很流行的方法，但是每種工具都用其不同適合的協議，Scyther軟件是一種形式化分析工具，極大的促進了協議的分析和設計，scyther工具在運行界面和安全模型以及搜索等方面的綜合性優勢，形式化分析的方法源自於數學原理和邏輯推理，使用嚴格的語法和與語義，可以準確的 、迅速的證明協議的安全性，並找到協議存在的漏洞。    scyther

>>阅读原文<<