论文部分内容阅读
在入侵检测系统的开发过程中应用形式化的规格说明方法,可保证所开发的系统能够满足系统的安全需求,增强用户对所实现系统的信任。以Z方法对所设计的分布式拒绝服务(DDoS)入侵检测系统进行规格说明为例,将Z的应用扩展到安全关键系统的开发和设计领域。
一种入侵检测系统的形式化建模及其检测方法
【摘 要】
：
在入侵检测系统的开发过程中应用形式化的规格说明方法,可保证所开发的系统能够满足系统的安全需求,增强用户对所实现系统的信任。以Z方法对所设计的分布式拒绝服务(DDoS)入侵检测系统进行规格说明为例,将Z的应用扩展到安全关键系统的开发和设计领域。
【机 构】
：
江西师范大学计算机信息工程学院,江西师范大学软件学院
【出 处】
：
计算机应用
【发表日期】
：
2006年07期
其他文献