資料介紹
【摘要】反拒認是實現電子商務的一個重要前提條件。基于可信的第三方提出了一個面向傳輸的電子證據與反拒認協議TEENP,解決了收方和發方的拒認問題。擴充了類BAN信任邏輯的語義和邏輯推理規則,并用信任邏輯BAN對其進行了形式化分析。與相關協議相比,本協議是公平的、安全的和高效的。
關 鍵 詞 電子證據; 反拒認; 數字簽名; 加密; 網絡安全
Non-repudiation is one of the most important premises to achieve electronic commerce. Based on a trusty third party, this paper proposes a transmission-oriented electronic evidence and non-repudiation protocol transmission-oriented electronic evidence and non-repudiation protocol (TEENP) to resolve the possible repudiation problem both in receiver side and in sender side. We extend the semantics and reasoning rules of the belief logic BAN, and formal analysis of TEENP is presented using logic BAN. The protocol is fair, secure and efficient, compared with the corresponding protocols.
- 無人機無線通信協議的形式化認證綜述 9次下載
- 安全協議自適應分析算法 0次下載
- 通信協議形式化模型的研究 0次下載
- PCM協議的分析與驗證 9次下載
- IEEE 802.11r認證協議安全性分析及改進
- 基于Petri網的安全協議形式化描述和安全性驗證 18次下載
- 基于Petri網的安全協議形式化分析 29次下載
- 基于Spin的Rdt2.2及其改進的形式化分析
- 基于分層時間有色Petri網的支付協議公平性分析
- 一種安全協議分析算法研究
- 一種快速安全認證協議及其形式化分析
- 形式化方法和測試技術及其在安全中的應用
- 密碼協議形式化分析的計算合理性
- 基于消息匹配的認證協議分析
- 基于串空間模型的改進性N-S協議的分析
- 反極圖實驗數據的分析方法 519次閱讀
- 電動機的安裝形式有哪些?簡單分析 1907次閱讀
- eSPI協議抓包分析 3470次閱讀
- 完整的加密電子證據發現解決方案 786次閱讀
- 反激變換器電流尖峰分析 6664次閱讀
- 跳躍表數據結構與算法分析 853次閱讀
- 芯片開發中形式化驗證的是一個誤區 1976次閱讀
- 形式化建模(一) 1387次閱讀
- 通信產品EMC/EMI仿真優化分析 1164次閱讀
- 六個電子管收音機電路形式 1.6w次閱讀
- 首個基于5G網絡切片技術設計的電子證據平臺 3279次閱讀
- CAN總線通信性能的仿真分析研究 3169次閱讀
- 東方網力“天眼”結構化一體機實現實時視頻流結構化分析 5412次閱讀
- 反激開關電源波形分析 8.6w次閱讀
- 電子警察技術原理分析 2896次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多