可實現(xiàn)用戶身份認證的對稱密鑰加密協(xié)議
大?。?/span>2.46 MB 人氣： 2021-03-12 需要積分：0
傳統(tǒng)對稱密鑰加密協(xié)議的加密和解密速度較快，但用戶無法進行身份認證，容易造成通信代理持有密鑰過多導致管理困難的問題，而非對稱密鑰加密協(xié)議可實現(xiàn)用戶的合法身份認證，但密鑰復雜度高，使其在處理大容量消息時運行速度較慢。為解決上述問題，結合對稱和非對稱密鑰加密方式，構建D_ protocol混合密鑰加密協(xié)議。使用 Isabelle/HOL定理證明輔助工具對D_ protocol協(xié)議建立通信代理和消息序列的形式化模型，采用形式化操作語義描述用戶行為，通過歸納分析方式對通信協(xié)議消息交互過程涉及的相關定理展開驗證，結果表明D_ protocol協(xié)議在提高通信效率的同時具有較高的安全性，并且可在一定程度上抵抗外部攻擊和中間人攻擊。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
可實現(xiàn)用戶身份認證的對稱密鑰加密協(xié)議下載
相關電子資料下載
- 5G 3GPP全球頻譜介紹 36
- 華為辟謠將發(fā)射萬枚低軌衛(wèi)星 難道要華為去學馬斯克搞星鏈？ 49
- 6g需要衛(wèi)星嗎？6g需要多少衛(wèi)星？ 109
- STM32速成筆記(14)—CAN通信 139
- 以技術創(chuàng)新推動產(chǎn)業(yè)進步丨納特通信參加2023杭州電磁技術及產(chǎn)業(yè)創(chuàng)新大會 131
- 遠程IO模塊物聯(lián)網(wǎng)應用提高工業(yè)自動化生產(chǎn)效率 136
- HASH算法加密芯片的工作原理及其在STM32 MCU上的應用 48
- 移遠通信5G RedCap模組拿下首個中國移動5G物聯(lián)網(wǎng)開放實驗室5G及輕量化產(chǎn)品能力 50
- 移遠通信5G RedCap模組拿下首個中國移動5G物聯(lián)網(wǎng)開放實驗室5G及輕量化產(chǎn)品能力 125
- 陶瓷晶體諧振器在現(xiàn)代科技中的重要性 32