安全電子商務協議及其形式化分析研究

2004年

基礎理論

成果簡介

　　本研究取得可喜成果，共發表論文37篇，著作7部。組織國際會議3次。培養博士、碩士、博士后共51人。
　　本項目的主要研究成果和創新點包括：
　　（1）在國內率先進行電子商務協議的正確性、安全性、公平性、冗余性和防欺騙性研究，設計并實現了一組新型的安全和公平的電子商務協議；
　　（2）首次指出Kailar邏輯的缺陷：不能分析電子商務協議的公平性；非形式化地解釋...

相關成果

1. 非否認協議及協議形式化分析研究
2. 密碼協議的代數模型及其安全性
3. 電子商務安全技術
4. 認識邏輯及其在安全協議設計、驗證中的應用
5. 基于電子商務協議中加密算法的研究
6. 協議安全性測試系統
7. XML 安全認證協議研究
8. 電子商務安全交易與安全支付軟件
9. 密碼算法與安全協議-LOISPKI系統
10. 復雜密碼系統的形式化安全理論和應用
12. 密碼算法與安全協議－LOIS PKI系統
13. BPR的形式化方法及其實證研究
14. 基于ECC的高效安全多方計算協議研究
15. 國富安SEAL電子商務安全認證系統
16. 電子商務安全管理軟件系統
17. 基于PKI的電子商務安全環境構建研究
18. 安康大壩安全監測資料分析研究
19. 協議轉換裝置及其方法
20. 關于實施電子商務安全性方案的論證

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

安全電子商務協議及其形式化分析研究

標簽云

猜您想要的成果

相關專家

相關機構


	選擇導出文檔的格式關閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關閉發送短信成功


	提示信息關閉發送短信失敗


	提示信息關閉發送郵件失敗


	提示信息關閉郵件發送成功