網(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.
評(píng)論