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