電子證據(jù)與反拒認協(xié)議及形式化分析

【摘要】反拒認是實現(xiàn)電子商務(wù)的一個重要前提條件?；诳尚诺牡谌教岢隽艘粋€面向傳輸?shù)碾娮幼C據(jù)與反拒認協(xié)議TEENP，解決了收方和發(fā)方的拒認問題。擴充了類BAN信任邏輯的語義和邏輯推理規(guī)則，并用信任邏輯BAN對其進行了形式化分析。與相關(guān)協(xié)議相比，本協(xié)議是公平的、安全的和高效的。
關(guān) 鍵 詞 電子證據(jù); 反拒認; 數(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.