×

兰花

swMATH ID: 9807
软件作者: 朱利安·奥利文;让·古鲍特·拉雷克
描述: Orchids入侵检测工具。Orchids是一种基于快速在线模型检查技术的入侵检测工具。时态公式取自专门用于描述入侵特征的时态逻辑。它们将根据合并的网络和系统事件流进行检查,这些事件流共同形成一个线性克里普克结构。
主页: http://www.lsv.ens-cachan.fr/Software/langs/
相关软件:
引用于: 3文件

按年份列出的引文