基于分層的網絡安全協議驗證方法
2005-04-29 00:00:00張磊侯俊峰黃連生
計算機應用研究 2005年7期
摘 要：提出了一種新的基于分層的網絡安全協議驗證方法。首先對要驗證的安全屬性進行劃分，將其分成若干安全子屬性；其次對要進行驗證的安全協議在安全性等價的條件下進行轉換；然后逐步剖分成一個自底向上的多層協議，如果每一層子協議滿足所要驗證的安全屬性的一個子屬性，那么這個協議即可被證明是安全的。這種方法相比于傳統的驗證方法，不但高效，而且完備性更佳。
關鍵詞：安全協議；層次化；驗證方法
中圖法分類號：TP393．08
文獻標識碼：A
文章編號：1001—3695(2005)07—0143—03
