首页|期刊导航|自动化学报（英文版）|An Intrusion Detection Algorithm for Wireless Networks Based on ASDL

An Intrusion Detection Algorithm for Wireless Networks Based on ASDL

Weijun Zhu Miaolei Deng Qinglei Zhou

自动化学报（英文版）2018，Vol.5Issue(1)：92-107,16.

自动化学报（英文版）2018，Vol.5Issue(1)：92-107,16.DOI:10.1109/JAS.2017.7510754

An Intrusion Detection Algorithm for Wireless Networks Based on ASDL

Weijun Zhu ¹Miaolei Deng ²Qinglei Zhou¹

作者信息

1. School of Information Engineering, Zhengzhou University, Zhengzhou 450001, China
2. College of Information Science and Engineering,Henan University of Technology, Zhengzhou 450001, China
折叠

摘要

关键词

Attack signature description language(ASDL)/intrusion detection(ID)/model checking(MC)/temporal logic

Key words

Attack signature description language(ASDL)/intrusion detection(ID)/model checking(MC)/temporal logic

引用本文复制引用

Weijun Zhu,Miaolei Deng,Qinglei Zhou..An Intrusion Detection Algorithm for Wireless Networks Based on ASDL[J].自动化学报（英文版）,2018,5(1):92-107,16.

基金项目

This work was supported by the National Natural Science Foundation of China (U1204608,U1304606,61572444),the Postdoctoral Science Foundation of China (2012M511588,2015M572120),the National Key R&D Plan of China (2016YFB0800100),the Science Foundation for Young Key Teachers at the Universities of Henan Province (2014GGJS-001),and the Science and Technology Development Project of Henan Province (152102410033). （U1204608,U1304606,61572444）

自动化学报（英文版）

OACSCDEI

ISSN：2329-9266

访问量0

下载量0

段落导航