網(wǎng)絡(luò)攻擊過程的形式化描述方法研究

參考文獻(xiàn)：

［1］ TIDWELL T,LARSON R，F(xiàn)ITCH K，et al. Modeling internet attacks:proceedings of the 2001 IEEE workshop on information assurance and security[C].[S.l.]:[s.n.],2001:54－59.

[2]蘇一丹，李桂.基于DFA的大規(guī)模入侵建模方法研究［J］.計(jì)算機(jī)工程與應(yīng)用，2003，39（28）：197－199.

[3]蔣總禮，姜守旭.形式語言與自動(dòng)機(jī)理論［M］.北京：清華大學(xué)出版社，2003.

[4]劉湘輝，殷建平,張玲，等.利用有限狀態(tài)機(jī)分析TCP協(xié)議握手過程的安全問題［J］.計(jì)算機(jī)工程與科學(xué)，2002，24（4）：21－23.

[5]陳曉蘇，李永輝,肖道舉.基于IP欺騙攻擊的狀態(tài)分析法研究［J］.華中科技大學(xué)學(xué)報(bào)：自然科學(xué)版，2003，31（5）：3－5.

[6]張普兵，郭廣猛,廖成君.Internet中的電子欺騙攻擊及其防范［J］.計(jì)算機(jī)應(yīng)用，2001，21（1）：32－34.