| 基于时序逻辑的3种网络攻击建模 |
| 聂凯;周清雷;朱维军;张朝阳; |
| 关键词：命题区间时序逻辑;实时攻击签名逻辑;模型检测;入侵检测 |
| 主要内容：与其他检测方法相比,基于时序逻辑的入侵检测方法可以有效地检测许多复杂的网络攻击。然而,由于缺少网络攻击的时序逻辑公式,该方法不能检测出常见的back,ProcessTable以及Saint 3种攻击。因此,使用命题区间时序逻辑(ITL)和实 |
| 《计算机科学》 2018,45(02):209-214 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号