網絡攻擊過程的形式化描述方法研究

參考文獻：

［1］ TIDWELL T,LARSON R，FITCH 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的大規模入侵建模方法研究［J］.計算機工程與應用，2003，39（28）：197－199.

[3]蔣總禮，姜守旭.形式語言與自動機理論［M］.北京：清華大學出版社，2003.

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

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

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