论文部分内容阅读
随着网络入侵技术的不断发展，攻击行为表现出不确定性、复杂性和多样性的特点，攻击活动往大规模、协同化和多层次方向发展。网络攻击的日益复杂化迫切需要有一种新的描述方法对之进行有效的形式化建模，Z语言和确定有限自动机(DFA)是广泛使用的形式化工具，适合用来精确表示模型的语法和语义。文章建立了基于DFA的攻击模型，并在此基础上利用Z语言对之进行了有效的形式化描述。