資料介紹
【摘要】反拒認(rèn)是實(shí)現(xiàn)電子商務(wù)的一個(gè)重要前提條件。基于可信的第三方提出了一個(gè)面向傳輸?shù)碾娮幼C據(jù)與反拒認(rèn)協(xié)議TEENP,解決了收方和發(fā)方的拒認(rèn)問(wèn)題。擴(kuò)充了類(lèi)BAN信任邏輯的語(yǔ)義和邏輯推理規(guī)則,并用信任邏輯BAN對(duì)其進(jìn)行了形式化分析。與相關(guān)協(xié)議相比,本協(xié)議是公平的、安全的和高效的。
關(guān) 鍵 詞 電子證據(jù); 反拒認(rèn); 數(shù)字簽名; 加密; 網(wǎng)絡(luò)安全
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.
- 無(wú)人機(jī)無(wú)線(xiàn)通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 安全協(xié)議自適應(yīng)分析算法 0次下載
- 通信協(xié)議形式化模型的研究 0次下載
- PCM協(xié)議的分析與驗(yàn)證 9次下載
- IEEE 802.11r認(rèn)證協(xié)議安全性分析及改進(jìn)
- 基于Petri網(wǎng)的安全協(xié)議形式化描述和安全性驗(yàn)證 18次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化分析 29次下載
- 基于Spin的Rdt2.2及其改進(jìn)的形式化分析
- 基于分層時(shí)間有色Petri網(wǎng)的支付協(xié)議公平性分析
- 一種安全協(xié)議分析算法研究
- 一種快速安全認(rèn)證協(xié)議及其形式化分析
- 形式化方法和測(cè)試技術(shù)及其在安全中的應(yīng)用
- 密碼協(xié)議形式化分析的計(jì)算合理性
- 基于消息匹配的認(rèn)證協(xié)議分析
- 基于串空間模型的改進(jìn)性N-S協(xié)議的分析
- 反極圖實(shí)驗(yàn)數(shù)據(jù)的分析方法 519次閱讀
- 電動(dòng)機(jī)的安裝形式有哪些?簡(jiǎn)單分析 1907次閱讀
- eSPI協(xié)議抓包分析 3470次閱讀
- 完整的加密電子證據(jù)發(fā)現(xiàn)解決方案 786次閱讀
- 反激變換器電流尖峰分析 6664次閱讀
- 跳躍表數(shù)據(jù)結(jié)構(gòu)與算法分析 853次閱讀
- 芯片開(kāi)發(fā)中形式化驗(yàn)證的是一個(gè)誤區(qū) 1976次閱讀
- 形式化建模(一) 1387次閱讀
- 通信產(chǎn)品EMC/EMI仿真優(yōu)化分析 1164次閱讀
- 六個(gè)電子管收音機(jī)電路形式 1.6w次閱讀
- 首個(gè)基于5G網(wǎng)絡(luò)切片技術(shù)設(shè)計(jì)的電子證據(jù)平臺(tái) 3279次閱讀
- CAN總線(xiàn)通信性能的仿真分析研究 3169次閱讀
- 東方網(wǎng)力“天眼”結(jié)構(gòu)化一體機(jī)實(shí)現(xiàn)實(shí)時(shí)視頻流結(jié)構(gòu)化分析 5412次閱讀
- 反激開(kāi)關(guān)電源波形分析 8.6w次閱讀
- 電子警察技術(shù)原理分析 2896次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開(kāi)關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專(zhuān)業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論