用于公平交換的若干協(xié)議和規(guī)范的研究與應(yīng)用.pdf

1、該文的研究內(nèi)容包括如下幾個(gè)方面:1.公平準(zhǔn)則:全面地分析了公平性的各個(gè)要素,提出了適用于公平交換協(xié)議的公平準(zhǔn)則;對公平強(qiáng)弱問題進(jìn)行了討論,給出一組定義,將公平交換協(xié)議分成三個(gè)不同的層次,并給出公平性差異的若干結(jié)論:2.公平的信息交換:研究了小步進(jìn)和第三方這兩類公平交換協(xié)議;在半可信第三方基礎(chǔ)上,提出了條件可信第三方的思想,同時(shí)結(jié)合離線第三方的思想提出了基于條件可信離線第三方的公平交換協(xié)議和不可否認(rèn)協(xié)議;3.公平邏輯:定義了用于實(shí)現(xiàn)公平性

2、分析的形式化語句和規(guī)則,目的是認(rèn)證協(xié)議的參與方能否獲得他所應(yīng)該獲得的來自正確實(shí)體的消息,從而能夠分析獲得上的公平性;并使用該邏輯,分析了兩個(gè)典型的公平交換協(xié)議,從而說明該方法的應(yīng)用方式和結(jié)果;4.EMV智能卡支付規(guī)范:系統(tǒng)地分析了應(yīng)用得最為廣泛的智能卡支付規(guī)范EMV的協(xié)議流程和安全機(jī)制,得出EMV用以實(shí)現(xiàn)應(yīng)用的一些重要安全性假設(shè);進(jìn)一步分析表明一些假設(shè)的存在安全弱點(diǎn);在不改變交易流程的前提下,提出相應(yīng)的改進(jìn)意見;5.芯片電子商務(wù):系統(tǒng)地