Scyther-Compromise 協議形式化安全分析如何改進協議

1、最終的目的是如何將協議的不安全因素進行改進，提升安全性能。對協議中有關的加密和認證的過程進行形式化分析驗證的時候通過添加敵手模型的（DY模型和eCK強安全模型），接受者和發送者之間的通信過程可能存在被攻擊者干擾，即就是存在攻擊輸出。那麼我們的目的就不光光是驗證了現有協議確實在哪一個方面確實存在攻擊點位。而是通過對協議過程中參加的實體或者產生的量進行不同方式的加密。 2、常見的修改措施     

>>阅读原文<<