一种入侵检测系统的形式化建模及其检测方法

• 作者: 余敏 彭雅丽 章志明
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 入侵检测系统 Z语言 建模 分布式拒绝服务
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 信息安全
• 页码范围: 1643-1645
• 页数: 3页
• 分类号: TP393.08
• 字数: 2284字
• 语种: 中文

摘要

在入侵检测系统的开发过程中应用形式化的规格说明方法,可保证所开发的系统能够满足系统的安全需求,增强用户对所实现系统的信任.以Z方法对所设计的分布式拒绝服务(DDoS)入侵检测系统进行规格说明为例,将Z的应用扩展到安全关键系统的开发和设计领域.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余敏	江西师范大学计算机信息工程学院	94	616	12.0	19.0
2	章志明	江西师范大学软件学院	33	198	6.0	12.0
3	彭雅丽	江西师范大学计算机信息工程学院	16	46	4.0	6.0