資料介紹
為了克服現有的邏輯方法不適合分析電子商務協議的缺點,本文提出了一種基于協議
認證目標的協議分析方法,該方法針對不同功能的協議,給出了他們要實現的目標:實體認證目標、密鑰認證目標和伴隨有密鑰建立的實體認證目標。在文章的最后我們通過分析
Diffie-Hellman 密鑰建立協議驗證了該方法的正確性和易用性。
關鍵字:密碼協議,認證目標,Diffie-Hellman 密鑰建立協議
Study on One Way of Analysis Cryptographic Protocols Base on Protocols Authentication Goals WANG Bin1, ZANG Shao-wu1 ,MA Zhi2 (1 Institute of Electronic Technology, the PLA Information Engineering University, Zhengzhou 450004, China; 2 Institute of Information Engineering, the PLA Information Engineering University, Zhengzhou 450002, China) Abstract : This paper introduces a kind of formal method which is based on protocols authentication goals to analyse cryptographic protocols. This method conquer the shortcoming of current formal methods that isn’t fit to analyse electric commerce protocols, and it aim at the goals of all kinds of protocols functions. There are three goals of protocols: key authentication goals、 entity authentication goals and entity authentication combined with key authentication goals.At the last of this paper we use Diffie-Hellman key agreement protocol as an example to verify this way is correct and easily to use.
Key Words:cryptographic protocols, authentication goals,D-H key agreement protocols
認證目標的協議分析方法,該方法針對不同功能的協議,給出了他們要實現的目標:實體認證目標、密鑰認證目標和伴隨有密鑰建立的實體認證目標。在文章的最后我們通過分析
Diffie-Hellman 密鑰建立協議驗證了該方法的正確性和易用性。
關鍵字:密碼協議,認證目標,Diffie-Hellman 密鑰建立協議
Study on One Way of Analysis Cryptographic Protocols Base on Protocols Authentication Goals WANG Bin1, ZANG Shao-wu1 ,MA Zhi2 (1 Institute of Electronic Technology, the PLA Information Engineering University, Zhengzhou 450004, China; 2 Institute of Information Engineering, the PLA Information Engineering University, Zhengzhou 450002, China) Abstract : This paper introduces a kind of formal method which is based on protocols authentication goals to analyse cryptographic protocols. This method conquer the shortcoming of current formal methods that isn’t fit to analyse electric commerce protocols, and it aim at the goals of all kinds of protocols functions. There are three goals of protocols: key authentication goals、 entity authentication goals and entity authentication combined with key authentication goals.At the last of this paper we use Diffie-Hellman key agreement protocol as an example to verify this way is correct and easily to use.
Key Words:cryptographic protocols, authentication goals,D-H key agreement protocols
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于格的后量子認證密鑰協商協議綜述 7次下載
- 一種格上基于R-LWE問題的認證密鑰交換協議 9次下載
- 無線射頻識別雙向認證協議 7次下載
- RFID系統中基于CPK-ECC的雙向認證協議 1次下載
- 一種高效安全的認證密鑰協商協議 0次下載
- IEEE 802.11r認證協議安全性分析及改進 25次下載
- 802.1x協議認證機制及缺陷的研究 17次下載
- 對稱目標的ISAR像橫向距離定標方法與性能分析 12次下載
- 基于802.1x協議及IP認證實現多重認證技術研究 24次下載
- Needham-Schroeder對稱密鑰認證協議安全性分析 23次下載
- 一種快速安全認證協議及其形式化分析 9次下載
- 一種基于混合模式的密碼協議入侵檢測方法 18次下載
- 密碼協議形式化分析的計算合理性 11次下載
- 基于Hash函數的RFID認證協議 37次下載
- 基于消息匹配的認證協議分析 23次下載
- eSPI協議抓包分析 980次閱讀
- 什么是IP協議 3567次閱讀
- 分析目標的雷達散射截面積研究 1175次閱讀
- WSN網絡層路由協議算法的挑戰與研究 1567次閱讀
- ARP是什么意思?ARP是什么協議?ARP協議用于什么地方 1.7w次閱讀
- 基于視覺密碼的RFID安全協議是怎樣認證的 953次閱讀
- 零知識證明技術如何在路印3.0協議中運用 1518次閱讀
- 簡單網絡管理協議(SNMP)的研究與應用 2935次閱讀
- CAN總線協議是什么?CAN總線協議有哪些?CAN總線協議知識分析 7.3w次閱讀
- 一文解析物聯網協議 4212次閱讀
- 斯坦福提出基于目標的策略強化學習方法——SOORL 4990次閱讀
- pd充電協議是什么_pd協議快充什么意思 80.2w次閱讀
- icmp協議行為分析研究 3062次閱讀
- 無線傳感器網絡基于分簇的路由協議概述 3036次閱讀
- LTE協議棧軟件分析測試方法 6363次閱讀
下載排行
本周
- 14K 十倍光學變焦攝像頭模組OZ080規格書
- 0.59 MB | 5次下載 | 免費
- 2LC329 紅外熱成像專用無線圖傳模塊規格書
- 0.37 MB | 2次下載 | 免費
- 3W5500V1.3中文數據手冊
- 2.17 MB | 2次下載 | 1 積分
- 4直流開關電源基礎介紹
- 12.86 MB | 1次下載 | 1 積分
- 5CoAP協議中文版PDF電子書免費下載
- 0.82 MB | 0次下載 | 免費
- 6同步降壓電源管理芯片PL2733C數據手冊
- 0.26 MB | 次下載 | 免費
- 7四路雙輸入正與非門SNx4AHC02數據表
- 2.9MB | 次下載 | 免費
- 8具有三態輸出的八路總線收發器SNx4AC245數據表
- 2.28MB | 次下載 | 免費
本月
- 1儲能電源市場分析
- 7.99 MB | 16次下載 | 免費
- 2傳感芯片選型指南
- 3.60 MB | 14次下載 | 免費
- 3ATmega8芯片中文手冊
- 2.45 MB | 8次下載 | 1 積分
- 42A多電池高效開關充電器AN_SY6912A中文資料規格書
- 1.43 MB | 8次下載 | 免費
- 5儲能電源市場分析報告
- 2.61 MB | 7次下載 | 免費
- 6山特TG400UPS工作原理與維修
- 0.39 MB | 5次下載 | 1 積分
- 72023年光伏行業發展回顧報告
- 2.50 MB | 5次下載 | 免費
- 84K 十倍光學變焦攝像頭模組OZ080規格書
- 0.59 MB | 5次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935094次下載 | 免費
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420050次下載 | 免費
- 3Altium DXP2002下載入口
- 未知 | 233068次下載 | 免費
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191333次下載 | 免費
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183317次下載 | 免費
- 6labview8.5下載
- 未知 | 81569次下載 | 免費
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73795次下載 | 免費
- 8NI LabVIEW中實現3D視覺的工具和技術
- 未知 | 70088次下載 | 免費
評論
查看更多