国家重点实验室开放基金(5146010103JB0601)

作品数:3被引量:3H指数:1
导出分析报告
相关作者:余昭平徐丽萍张岚更多>>
相关机构:解放军信息工程大学更多>>
相关期刊:《计算机工程与应用》更多>>
相关主题:遗传算法入侵检测KAILAR逻辑形式化分析公平更多>>
相关领域:自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-3
视图:
排序:
基于快速模式匹配的分级检测模型
《计算机工程与应用》2005年第35期132-134,共3页余昭平 徐丽萍 
现代通信国家重点实验室基金(编号:5146010103JB0601;5143603ZD1ZS0601)
针对当前入侵检测系统中的一些问题,提出了基于遗传算法和扩张矩阵的规则生成方法以及分级检测的思想,给出了算法详细流程,建立了分级检测模型,并通过理论分析和实验验证了规则生成算法的有效性和检测模型的检测性能。
关键词:入侵检测 遗传算法 扩张矩阵 分级模型 
改进的Kailar逻辑在协议分析中的应用被引量:2
《计算机工程与应用》2005年第32期118-120,148,共4页余昭平 张岚 
现代通信国家重点实验室基金(编号:5146010103JB0601;5143603ZDIZS0601)
通过对Kailar逻辑进行改进,提出了一种新的用于分析电子商务协议的形式化方法。新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力。该方法既能推导协议的可追究性又能分析协议的公平性,与其它的方法相比较,这一新方法...
关键词:电子商务 协议 可追究性 公平性 形式化分析 
基于扩张矩阵和GA的入侵检测新方法被引量:1
《计算机工程与应用》2005年第10期147-148,178,共3页余昭平 徐丽萍 祝世雄 
现代通信国家重点实验室基金(编号:5146010103JB0601;5143603ZD1ZS0601)
提出了一种新的基于扩张矩阵和遗传算法理论产生最优检测规则的方法。该方法产生的规则简单、能够反映问题的本质。实验结果表明,它的检测效果优于同类的其它方法。
关键词:入侵检测 扩张矩阵理论 遗传算法 
检索报告 对象比较 聚类工具 使用帮助 返回顶部