您好,歡迎來電子發(fā)燒友網(wǎng)! ,新用戶?[免費注冊]

您的位置:電子發(fā)燒友網(wǎng)>源碼下載>加密解密>

可實現(xiàn)用戶身份認證的對稱密鑰加密協(xié)議

大?。?/span>2.46 MB 人氣: 2021-03-12 需要積分:0

  傳統(tǒng)對稱密鑰加密協(xié)議的加密和解密速度較快,但用戶無法進行身份認證,容易造成通信代理持有密鑰過多導(dǎo)致管理困難的問題,而非對稱密鑰加密協(xié)議可實現(xiàn)用戶的合法身份認證,但密鑰復(fù)雜度高,使其在處理大容量消息時運行速度較慢。為解決上述問題,結(jié)合對稱和非對稱密鑰加密方式,構(gòu)建D_ protocol混合密鑰加密協(xié)議。使用 Isabelle/HOL定理證明輔助工具對D_ protocol協(xié)議建立通信代理和消息序列的形式化模型,采用形式化操作語義描述用戶行為,通過歸納分析方式對通信協(xié)議消息交互過程涉及的相關(guān)定理展開驗證,結(jié)果表明D_ protocol協(xié)議在提高通信效率的同時具有較高的安全性,并且可在一定程度上抵抗外部攻擊和中間人攻擊。

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評論

      用戶評論
      評價:好評中評差評

      發(fā)表評論,獲取積分! 請遵守相關(guān)規(guī)定!

      ?