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

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

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