網絡攻擊過程的形式化描述方法研究
參考文獻:
[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].計算機工程與應用,2003,39(28):197-199.
[3]蔣總禮,姜守旭.形式語言與自動機理論[M].北京:清華大學出版社,2003.
[4]劉湘輝,殷建平,張玲,等.利用有限狀態(tài)機分析TCP協(xié)議握手過程的安全問題[J].計算機工程與科學,2002,24(4):21-23.
[5]陳曉蘇,李永輝,肖道舉.基于IP欺騙攻擊的狀態(tài)分析法研究[J].華中科技大學學報:自然科學版,2003,31(5):3-5.
[6]張普兵,郭廣猛,廖成君.Internet中的電子欺騙攻擊及其防范[J].計算機應用,2001,21(1):32-34.
評論