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