Scyther 形式化分析工具資料整理（三）

1、作者Cas Cremers在做TLS1.3的時候我麼發現並沒有使用Scyther 形式化豐分析工具對其進行分析，而是使用了 The Tamarin 。作者建立了TLS.13的模型。 那麼我的目標是 使用Scyther工具對TLS1.2協議的握手協議和TLS1.3版本的握手協議分別進行形式化的分析。通過對比TLS1.3較之前的TLS1.2版本上的改進之後是否還存在攻擊圖輸出。或者改變TLS1.3

>>阅读原文<<