無線安全協(xié)議測試方法研究與系統(tǒng)設計.pdf

1、迄今為止，協(xié)議測試領域所進行的工作主要集中在通信協(xié)議的一致性測試方面。對通信協(xié)議的一致性測試已經(jīng)有一套相對完整的自動化檢測技術，但其理論在具體實踐中還存在很大差距。作為網(wǎng)絡協(xié)議子類的無線安全協(xié)議，卻沒有一套簡單可行的測試方法。 因此，本文在分析無線安全協(xié)議特點的基礎上，提出對其進行測試的重點應為一致性和安全性。一致性測試主要檢測所實現(xiàn)的安全協(xié)議是否符合協(xié)議規(guī)范，為協(xié)議能夠正常運行和抵御攻擊提供基礎保障，安全性測試主要檢測所實現(xiàn)的

2、安全協(xié)議是否違反了安全性，進而判斷其安全指標。 一致性測試方面，本文根據(jù)項目需求，提出了針對無線安全協(xié)議的一致性測試流程。其中，改進的測試序列自動生成算法具有針對性、高效性、完備性等優(yōu)點。并提出了基于幀字段分析的方法來唯一確定符號集中的所有符號，從而達到狀態(tài)和遷移確認的目的。 安全性測試方面，本文研究了傳統(tǒng)與最新的研究方法，分析它們的利弊。在協(xié)議工程學的層面上，對基于黑盒測試理論與自學習算法的安全性測試流程進行擴展，給出