首页> 外文OA文献 >Formal Reasoning about Intrusion Detection Systems

【2h】

Formal Reasoning about Intrusion Detection Systems

机译：入侵检测系统的形式推理

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Tao Song;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Hypothesizing and Reasoning about Attacks Missed by Intrusion Detection Systems [J] . PENG NING, DINGBANG XU ACM Transaction on Information and System Security . 2004,第4期

机译：入侵检测系统遗漏攻击的假设和推理
2. An Efficient Formal Framework for Intrusion Detection Systems [J] . Mohsen Rouached, Hassen Sallay Procedia Computer Science . 2012,第1期

机译：入侵检测系统的高效正式框架
3. Immune Recognition Method Based on Analogy Reasoning in Intrusion Detection System [J] . ZHANG Changyou, CAO Yuanda, YANG Minghua, Wuhan University Journal of Natural Sciences . 2006,第6期

机译：入侵检测系统中基于类比推理的免疫识别方法
4. Formal Reasoning About Intrusion Detection Systems [C] . Tao Song, Calvin Ko, Jim Alves-Foss, International Symposium on Recent Advances in Intrusion Detection(RAID 2004); 20040915-17; Sophia Antipolis(FR) . 2004

机译：入侵检测系统的形式推理
5. Formal reasoning about intrusion detection systems. [D] . Song, Tao. 2007

机译：关于入侵检测系统的正式推理。
6. Formal reasoning about systems biology using theorem proving [O] . Adnan Rashid, Osman Hasan, Umair Siddique, 2011

机译：使用定理证明关于系统生物学的形式推理
7. Reasoning about Intrusion Detection Systems for High Speed Networks [O] . Mohsen Rouached 2012

机译：关于高速网络入侵检测系统的推理

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号