1、目前,全球移動(dòng)電子商務(wù)呈現(xiàn)異常強(qiáng)勁的勢(shì)頭,我國(guó)移動(dòng)電子商務(wù)也在迅速發(fā)展。用戶使用移動(dòng)電子商務(wù)時(shí)最關(guān)心的是安全問(wèn)題,而移動(dòng)電子商務(wù)協(xié)議的安全是保證移動(dòng)電子商務(wù)安全的一個(gè)重要方面。移動(dòng)電子商務(wù)協(xié)議是一類特殊的電子商務(wù)協(xié)議,與傳統(tǒng)電子商務(wù)協(xié)議相比,由于移動(dòng)裝置和無(wú)線網(wǎng)絡(luò)的特點(diǎn),移動(dòng)電子商務(wù)協(xié)議的執(zhí)行環(huán)境更為復(fù)雜,從而使其更容易存在安全缺陷,同時(shí)也為其形式化分析與設(shè)計(jì)帶來(lái)了新的挑戰(zhàn)。
　　本文主要研究了移動(dòng)電子商務(wù)協(xié)議(包括無(wú)線認(rèn)證協(xié)議,

2、因?yàn)闊o(wú)線認(rèn)證協(xié)議是移動(dòng)電子商務(wù)協(xié)議的基礎(chǔ))的模型檢驗(yàn)分析與設(shè)計(jì),所取得的主要研究成果有:
　　(1)應(yīng)用模型檢驗(yàn)方法對(duì)無(wú)線認(rèn)證協(xié)議Server-specific MAKEP進(jìn)行分析,借助模型檢驗(yàn)工具SMV,成功地找到了協(xié)議存在的認(rèn)證性缺陷,并對(duì)該缺陷所產(chǎn)生的影響進(jìn)行了討論;
　　(2)針對(duì)Server-specific MAKEP協(xié)議存在的認(rèn)證性缺陷,給出了協(xié)議的一種改進(jìn),并對(duì)改進(jìn)后的協(xié)議再次進(jìn)行模型檢驗(yàn)分析,分析結(jié)果表明協(xié)