| 一种基于模型检查的入侵检测方法 |
| |
| 引用本文： | 张燕,傅建明,孙晓梅.一种基于模型检查的入侵检测方法[J].武汉大学学报(理学版),2005,51(3):319-322. |
| |
| 作者姓名： | 张燕 傅建明 孙晓梅 |
| |
| 作者单位： | 1. 武汉生物制品研究所,信息中心,湖北,武汉,430060
2. 武汉大学,计算机学院,湖北,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金资助项目(90104005)，湖北省自然科学基金资助项目(2002AB0037) |
| |
| 摘 要： | 在分析系统行为以及其动作序列的语义的基础上，利用时序逻辑公式描述攻击特征，提出了一种基于模型检查的入侵检测方法，该方法解决了检测中的重复验证等问题，通过增加推理链的长度约束，引入时序算子处理统计攻击，从而优化了入侵检测过程。
|
| 关 键 词： | 入侵检测 攻击模式 模型检查 时序逻辑 |
| 文章编号： | 1671-8836(2005)03-0319-04 |
| 修稿时间： | 2004年9月10日 |
A Method of Intrusion Detection Based on Model-Checking |
| |
| ZHANG Yan,Fu Jian-ming,Sun xiao-mei.A Method of Intrusion Detection Based on Model-Checking[J].JOurnal of Wuhan University:Natural Science Edition,2005,51(3):319-322. |
| |
| Authors: | ZHANG Yan Fu Jian-ming Sun xiao-mei |
| |
| Institution: | ZHANG Yan~1,FU Jian-ming~2,SUN Xiao-mei~2 |
| |
| Abstract: | The behavior of systems is analyzed and the semantics of action sequences are given, and a method of Intrusion detection based on model checking is presented to improve verifying processes, such as dealing with the problem of repeated verifications, adding constraint of deducing length, and exploiting a temporal operator to represent statistic attacks. |
| |
| Keywords: | intrusion detection attack pattern model checking temporal logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
