论文部分内容阅读
在分析系统行为以及其动作序列的语义的基础上,利用时序逻辑公式描述攻击特征,提出了一种基于模型检查的入侵检测方法,该方法解决了检测中的重复验证等问题,通过增加推理链的长度约束,引入时序算子处理统计攻击,从而优化了入侵检测过程.
一种基于模型检查的入侵检测方法
【摘 要】
：
在分析系统行为以及其动作序列的语义的基础上,利用时序逻辑公式描述攻击特征,提出了一种基于模型检查的入侵检测方法,该方法解决了检测中的重复验证等问题,通过增加推理链的
【机 构】
：
武汉生物制品研究所,武汉大学
【出 处】
：
武汉大学学报(理学版)
【发表日期】
：
2005年3期
其他文献
加强对体育文化价值的审视,有助于揭开体育活动的独特魅力,有助于解释体育运动受大众喜爱的原因,有助于我国体育强国梦的建设与实现。与此同时,体育电影是体育文化传播的重要
每个孩子都有满脑子的问题，只是有时他会“大胆质疑”，有时他又“不屑提问”。给三年级二班的孩子们上语文课，就有这样的感觉———你总要“加些小心”，他们抛出的问题很有意思，如
探究性阅读教学是学生在教师的指导下阅读文本,从不同角度发现问题,运用各种方法分析问题,通过积极的思考和互动解决问题,从而获得知识、生成新的认知的过程。近年来,我一直
随着经济全球化、信息化的发展和国际市场竞争环境的巨变，经济发展外部环境变革对海洋经济发展提出了挑战。越来越多的战略家和理论家开始关注巨变环境下中国海洋经济发展环境