[發(fā)明專利]高效安全協(xié)議拒絕服務(wù)攻擊檢測系統(tǒng)的實現(xiàn)方法

無效

• 申請?zhí)枺?/td>: 200810019276.9
• 申請日: 2008-01-18
• 公開（公告）號: CN101217546A
• 公開（公告）日: 2008-07-09
• 發(fā)明（設(shè)計）人: 蔣睿;周世健;張卓立
• 申請（專利權(quán)）人: 東南大學(xué)
• 主分類號: H04L29/06
• 分類號: H04L29/06;H04L9/36
• 代理公司: 南京經(jīng)緯專利商標(biāo)代理有限公司
• 代理人: 葉連生

1.一種高效安全協(xié)議拒絕服務(wù)攻擊檢測系統(tǒng)的實現(xiàn)方法，其特征在于，使用C/S系統(tǒng)結(jié)構(gòu)設(shè)計，支持多用戶、多進(jìn)程并發(fā)操作，從客戶端獲得安全協(xié)議的協(xié)議輸入，在服務(wù)器端由輸入內(nèi)容進(jìn)行基于擴(kuò)展Strand?Space模型的形式化語言轉(zhuǎn)換，然后根據(jù)兩項拒絕服務(wù)攻擊檢測規(guī)則進(jìn)行拒絕服務(wù)攻擊自動檢測，最后由檢測結(jié)果輸出判決結(jié)果和改進(jìn)建議，以檢測報告形式返回至客戶端。

2.根據(jù)權(quán)利要求1所述的高效安全協(xié)議拒絕服務(wù)攻擊檢測系統(tǒng)的實現(xiàn)方法，其特征是，所述安全協(xié)議的協(xié)議輸入，是使用基于Java腳本技術(shù)的IE客戶端界面，通過客戶輸入和菜單選項實現(xiàn)對協(xié)議的輸入。

3.根據(jù)權(quán)利要求1所述的高效安全協(xié)議拒絕服務(wù)攻擊檢測系統(tǒng)的實現(xiàn)方法，其特征是，所述的形式化語言轉(zhuǎn)換，是按照擴(kuò)展Strand?Space模型的語法和語義要求，把由協(xié)議輸入所獲得的協(xié)議消息轉(zhuǎn)換成由擴(kuò)展Strand?Space模型理論所描述的形式化語言。

4.根據(jù)權(quán)利要求1所述的高效安全協(xié)議拒絕服務(wù)攻擊檢測系統(tǒng)的實現(xiàn)方法，其特征是，所述的擴(kuò)展Strand?Space模型，是基于賦權(quán)圖的概念在Strand?Space模型理論基礎(chǔ)上對模型中的各條邊進(jìn)行賦值，而擴(kuò)展成的新模型。

5.根據(jù)權(quán)利要求1所述的高效安全協(xié)議拒絕服務(wù)攻擊檢測系統(tǒng)的實現(xiàn)方法，其特征是，所述拒絕服務(wù)攻擊自動檢測，是指基于拒絕服務(wù)攻擊檢測規(guī)則，對形式化轉(zhuǎn)換后的安全協(xié)議形式語言采用新型匹配算法，進(jìn)行自動分析檢測，并生成檢測判決結(jié)果。

6.根據(jù)權(quán)利要求1所述的高效安全協(xié)議拒絕服務(wù)攻擊檢測系統(tǒng)的實現(xiàn)方法，其特征是，所述拒絕服務(wù)攻擊檢測規(guī)則，是根據(jù)擴(kuò)展Strand?Space模型和Fail-stop協(xié)議概念，對賦值的邊在模型節(jié)點處進(jìn)行權(quán)值判斷，分別建立的兩項拒絕服務(wù)攻擊檢測規(guī)則；只要安全協(xié)議不能通過其中任何一項規(guī)則，即可判決該協(xié)議拒絕服務(wù)攻擊檢測失敗，也即此安全協(xié)議不具有抗拒絕服務(wù)攻擊能力。

7.根據(jù)權(quán)利要求1所述的高效安全協(xié)議拒絕服務(wù)攻擊檢測系統(tǒng)的實現(xiàn)方法，其特征是，所述的檢測結(jié)果輸出，內(nèi)容為判決結(jié)果和改進(jìn)建議，是依據(jù)拒絕服務(wù)攻擊自動檢測的結(jié)果，在客戶端IE界面以檢測報告的形式顯示和輸出。