兰花 swMATH ID: 9807 软件作者: 朱利安·奥利文;让·古鲍特·拉雷克 描述: Orchids入侵检测工具。Orchids是一种基于快速在线模型检查技术的入侵检测工具。时态公式取自专门用于描述入侵特征的时态逻辑。它们将根据合并的网络和系统事件流进行检查,这些事件流共同形成一个线性克里普克结构。 主页: http://www.lsv.ens-cachan.fr/Software/langs/ 相关软件: 引用于: 3文件 全部的 前5名7位作者引用 2 让·古鲍特·拉雷克 1 Jean-Philippe Lachance 1 朱利安·奥利文 1 杨伟东 1 张海滨 1 周庆雷 1 朱伟军 2篇连载文章中引用 1 系统设计中的形式化方法 1 工程中的数学问题 在3个字段中引用 三 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 按年份列出的引文