一種改進(jìn)的SET協(xié)議安全性研究及其形式化分析.pdf

1、目前，電子商務(wù)中主要采用的安全協(xié)議有：安全套接層協(xié)議（SSL：Security Socket Layer）協(xié)議和安全電子交易協(xié)議（SET： Secure Electronic Transaction）。SET協(xié)議在Internet購物環(huán)境中提供了消費(fèi)者、商家和銀行之間的認(rèn)證，確保了交易數(shù)據(jù)的安全性、完整性、可靠性和交易的不可否認(rèn)性。目前，SET協(xié)議已獲得 IETF標(biāo)準(zhǔn)認(rèn)可，已成為事實上的標(biāo)準(zhǔn)。
　　但是，到目前為止 SET協(xié)議并未

2、吸引足夠的商家和消費(fèi)者，并沒有得到廣泛的應(yīng)用，其原因在于SET協(xié)議本身比較復(fù)雜，處理速度慢，完成一個SET交易過程需要較長時間；SET協(xié)議只保證了錢原子性，并不滿足發(fā)送原子性和商品原子性，沒有解決交易后證據(jù)的生成和保留問題；SET協(xié)議沒有說明收單銀行給在線商店付款前，是否必須收到消費(fèi)者的貨物接受證書，因此，在線商店提供的貨物不符合質(zhì)量標(biāo)準(zhǔn)，消費(fèi)者提出異議，責(zé)任由誰來負(fù)。
　　BAN邏輯和Kailar邏輯是常見的電子商務(wù)協(xié)議形式化分

3、析方法，但是它們只能分析電子商務(wù)協(xié)議的有限性質(zhì)，不能分析電子商務(wù)協(xié)議的可追究性，并且在遇到重放攻擊時 BAN邏輯和Kailar邏輯不能正確分析主體的責(zé)任性。
　　本文對 SET協(xié)議進(jìn)行了全面的分析研究，對 SET協(xié)議交易模型進(jìn)行了改進(jìn)，提高了SET協(xié)議交易效率，對 SET協(xié)議存在的各種問題提出相應(yīng)的改進(jìn)方案，完善了SET協(xié)議。同時，對 Non-monotonic Dynamic邏輯進(jìn)行了研究，結(jié)合Kailar邏輯的優(yōu)點，利用一種新