计算机工程与应用2004，Vol.40Issue(23)：135-136,168,3.
网络攻击的形式化建模探讨
The Study on Formalization of Network Attack
摘要
关键词
攻击建模 形式化 Z(Object-Z)语言 确定有限自动机(DFA)分类
信息技术与安全科学引用本文复制引用
苏一丹,李桂..网络攻击的形式化建模探讨[J].计算机工程与应用,2004,40(23):135-136,168,3.基金项目
广西科技攻关项目(编号:0322012-5) （编号:0322012-5）
广西教育厅科研基金(编号:030709) （编号:030709）
