利用構造類別代數的協議安全測試方法

摘要：針對協議安全測試中數據流的描述問題，在構造類別代數的基礎上引入變異分析，由此提出了一種協議安全測試方法，基于協議的描述設計了變異算子，然后對一致性公式集進行變異分析，從而得到安全變異項集，將變異項轉換為實際的安全測試例集，并描述由此進行的協議安全測試步驟，測試實踐表明，所提方法能與一致性測試良好地結合，在一定程度上覆蓋已知安全漏洞，并具有發現潛在問題的能力。

關鍵詞：協議安全測試；構造類別代數；變異分析

中圖分類號：TP311 文獻標志碼：A 文章編號：0253-987X(2008)12-1481-05