網(wǎng)絡(luò)攻擊過(guò)程的形式化描述方法研究
加入技術(shù)交流群
參考文獻(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]蔣總禮，姜守旭.形式語(yǔ)言與自動(dòng)機(jī)理論［M］.北京：清華大學(xué)出版社，2003.
[4]劉湘輝，殷建平,張玲，等.利用有限狀態(tài)機(jī)分析TCP協(xié)議握手過(guò)程的安全問(wèn)題［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.
評(píng)論