| 一种入侵检测系统的形式化建模及其检测方法的研究 |
| |
| 引用本文： | 彭雅丽,章志明,余敏.一种入侵检测系统的形式化建模及其检测方法的研究[J].计算机应用,2006,26(7):1643-1645. |
| |
| 作者姓名： | 彭雅丽 章志明 余敏 |
| |
| 作者单位： | 1. 江西师范大学,计算机信息工程学院,江西,南昌,330022
2. 江西师范大学,软件学院,江西,南昌,330022 |
| |
| 基金项目： | 中国科学院资助项目;江西省分布计算工程技术研究中心资助项目 |
| |
| 摘 要： | 在入侵检测系统的开发过程中应用形式化的规格说明方法，可保证所开发的系统能够满足系统的安全需求，增强用户对所实现系统的信任。以Z方法对所设计的分布式拒绝服务(DDoS)入侵检测系统进行规格说明为例，将Z的应用扩展到安全关键系统的开发和设计领域。
|
| 关 键 词： | 入侵检测系统 Z语言 建模 分布式拒绝服务 |
| 文章编号： | 1001-9081（2006）07-1643-03 |
| 收稿时间： | 2006-01-12 |
| 修稿时间： | 2006-01-122006-03-06 |
Formal modeling of a kind of IDS and its detection technology |
| |
| PENG Ya-li,ZHANG Zhi-ming,YU Min.Formal modeling of a kind of IDS and its detection technology[J].journal of Computer Applications,2006,26(7):1643-1645. |
| |
| Authors: | PENG Ya-li ZHANG Zhi-ming YU Min |
| |
| Affiliation: | 1. Computer Information Engineering College, Jiangxi Normal University, Nanchang Jiangxi 330022, China; 2. School of Software, Jiangxi Normal University, Nanchang Jiangxi 330022, China |
| |
| Abstract: | Apparently,applying formal specification to the procedure of developing an intrusion detection system can fulfill its security requirement and win the confidence of users.Taking an Distributed Denial of Service(DDoS) intrusion detection system as an example,how Z can be used to specify and model the security-critical systems was illustrated. |
| |
| Keywords: | intrusion detection system Z modeling Distributed Denial of Service(DDoS) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
