運行模式法分析ＴＷ密碼協議
2005-04-29 00:00:00王春玲唐志堅張玉清薛紀
計算機應用研究 2005年9期
摘 要：在介紹兩方密碼協議運行模式分析法的基礎上，運用運行模式分析法對自行設計的TW兩方密碼協議進行了分析，成功地發現了TW協議的攻擊，并驗證了此協議的安全性，說明了兩方密碼協議運行模式分析法的有效性。
關鍵詞：TW密碼協議；形式化分析；運行模式
中圖法分類號：TP309
文獻標識石馬：A
文章編號：1001—3695(2005)09—0108—03
