離線電子現(xiàn)金系統(tǒng)安全性分析.pdf

1、通過網(wǎng)絡(luò)進(jìn)行商品交易會給越來越多的商家和顧客帶來方便,但最關(guān)鍵的問題是如何安全地實(shí)現(xiàn)支付,并保證交易各方私有信息的安全等.現(xiàn)有的電子支付方式主要有信用卡、電子支票和電子現(xiàn)金三種.電子現(xiàn)金支付是目前一種比較先進(jìn)的安全電子支付方式,已成為當(dāng)前研究的熱點(diǎn)之一.本文<'1>在風(fēng)險(xiǎn)分析的基礎(chǔ)上,采用通用準(zhǔn)則開發(fā)模型進(jìn)行離線電子現(xiàn)金系統(tǒng)的安全性分析.通用準(zhǔn)則在結(jié)構(gòu)上具有開放性、內(nèi)在完備性和實(shí)用性等特點(diǎn),不足是沒有給出風(fēng)險(xiǎn)分析的模型和方法.在對傳統(tǒng)風(fēng)

2、險(xiǎn)分析進(jìn)行了理論研究與實(shí)踐探討的基礎(chǔ)上,采用Markov分析方法確定系統(tǒng)的失效狀態(tài);并采用故障樹分析方法進(jìn)行定性風(fēng)險(xiǎn)分析.以通用準(zhǔn)則思想框架為指導(dǎo),利用其開發(fā)模型,歸納了離線電子現(xiàn)金系統(tǒng)面臨的主要七類威脅,并推導(dǎo)出該類系統(tǒng)應(yīng)達(dá)到的安全目的,進(jìn)而提出離線電子現(xiàn)金系統(tǒng)的安全要求,并形成了一個基于軟件的離線電子現(xiàn)金系統(tǒng)的保護(hù)輪廓.對郭濤等人提出的離線電子現(xiàn)金協(xié)議SEECP的安全性進(jìn)行了深入分析和證明.分別對其完備性、匿名性、不可重用性等八個命