分布式拒绝服务攻击建模与形式化描述

摘要：

分布式拒绝服务(DDoS)攻击严重威胁网络的安全性.需要有合适的模型来刻画DDoS攻击的行为特征,指导DDoS攻击的分析、检测和防御.使用攻击树对分布式拒绝攻击进行建模,并引入Object_Z语言对具体攻击模式进行了面向对象的形式化描述.分布式拒绝服务攻击的攻击树模型可以刻画出分布式拒绝服务攻击的本质特征,对其具体子类的形式化描述又可以降低构造攻击模型的复杂度,从而易于使用,分析和维护.

关键词：网络安全、分布式拒绝攻击、攻击建模、攻击树、Object_Z语言

所属期刊栏目：27

分类号：TP393(计算技术、计算机技术)

在线出版日期：2006-12-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：4125-4127,4138