ＳＥＴ支付協(xié)議簡化版本的運(yùn)行模式分析
2005-04-29 00:00:00吳建耀張玉清楊波
計算機(jī)應(yīng)用研究 2005年10期
摘 要：主要使用運(yùn)行模式法對簡化的SET支付協(xié)議即Lu—Smolka協(xié)議進(jìn)行了形式化分析，通過分析找到了六種不同的攻擊形式，其中四種是新發(fā)現(xiàn)的攻擊，并且對這六種攻擊形式進(jìn)行了深入的分析，發(fā)現(xiàn)了其中的差異和可能造成的潛在攻擊，最后根據(jù)攻擊的特征對這六種攻擊進(jìn)行了分類。
關(guān)鍵詞：SET支付協(xié)議；運(yùn)行模式分析法；形式化分析
中圖法分類號：TP309．2
文獻(xiàn)標(biāo)識碼：A
文章編號：1001—3695(2005)10—0124—04
