移動電子商務協(xié)議的模型檢驗分析與設計研究.pdf

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

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