1、近十年以來,電子商務(wù)系統(tǒng)所面臨的攻擊已經(jīng)從理論分析轉(zhuǎn)變?yōu)閬碜院诳鸵约熬W(wǎng)絡(luò)攻擊業(yè)余愛好者的實(shí)戰(zhàn)考驗(yàn)。因此,針對(duì)不同的應(yīng)用環(huán)境,不同的應(yīng)用領(lǐng)域,設(shè)計(jì)不同的安全策略,應(yīng)用不同的技術(shù)來全面保障交易的安全已經(jīng)成為當(dāng)務(wù)之急。同時(shí),對(duì)于給出的安全協(xié)議,也應(yīng)能夠?qū)Π踩赃M(jìn)行證明,而不是象以往那樣,只有等到發(fā)現(xiàn)安全漏洞之外,才采取補(bǔ)救措施。雖然可證明安全性的研究目前還處在一個(gè)非常初級(jí)的階段,距離真正的安全性證明還有較大的距離,但是畢竟提供了一個(gè)手段。

2、 本文研究電子商務(wù)安全中兩類基于密碼技術(shù)的電子交易協(xié)議--微支付協(xié)議和公平電子彩票協(xié)議的設(shè)計(jì),并分析或證明了設(shè)計(jì)方案的安全性。本文首先綜述了hash函數(shù)與hash鏈的相關(guān)知識(shí),雙線性對(duì)的相關(guān)知識(shí),以及可證明安全性的基本知識(shí)。對(duì)hash鏈的擴(kuò)展應(yīng)用是本文的一個(gè)重點(diǎn),在高效的微支付協(xié)議與公平電子彩票協(xié)議中都有重要應(yīng)用；雙線性對(duì)是構(gòu)造高效安全的可驗(yàn)證隨機(jī)函數(shù)的理論基礎(chǔ)；而可證明安全性是近幾年來信息安全研究的重要方向,是證明相關(guān)協(xié)議與算法計(jì)

3、算上安全的新手段。 關(guān)于微支付協(xié)議研究方面,我們?cè)诙嗑Shash鏈的基礎(chǔ)上,給出了具有權(quán)值重量的多維hash鏈的概念,對(duì)原有的方案進(jìn)行了改進(jìn),有效地提高了支付效率,并且給出了基于離散對(duì)數(shù)的電子現(xiàn)金方案。 在公平電子彩票研究方面,給出了基于雙線性困難問題的電子彩票協(xié)議設(shè)計(jì)。該協(xié)議綜合運(yùn)用了數(shù)字簽名、多層hash鏈協(xié)議與可驗(yàn)證隨機(jī)函數(shù),并且對(duì)延遲函數(shù)的概念進(jìn)行了實(shí)例化,給出了基于安全hash函數(shù)部分碰撞的安全、高效、可控的延遲