基于類ｐｉ演算的電子支付協議安全性形式化研究
2006-01-01 00:00:00顧永跟李國強王國鈞
計算機應用研究 2006年3期
摘 要：設計一個滿足安全需求的協議非常困難，并且極易出錯，因此利用形式化方法來檢驗安全協議引起了人們極大的關注。使用了類pi演算來驗證電子支付協議的認證性和匿名性。
關鍵詞：類pi演算；電子支付協議；認證性；匿名性
中圖法分類號：TP301；TP309
文獻標識碼：A
文章編號：1001—3695(2006)03—0022—03
