#fsm

2020-8-29 16:19
在分析网络安全事件时,检测算法根据布尔表达式评估属性,以确定事件是否属于类。本文介绍如何将布尔表达式转换为有限状态机,以实现更简单、高性能的计算。 开源项目CyberProbe就是这种实现的特色。在Python中实现了规则到有限状态机(FSM)的转换和FSM形式规则的应用。CyberProbe支持使用数百万条规则,这......
2020-5-2 17:54
该程序使用FSMSpec中提供的输入(见下文)来构建FSM的底层图形,并使用idris-ct在其上生成免费类别。然后,它使用执行中提供的初始状态和路径(分别称为x和[x1,.,xn])来评估组合idx;x1;.;xn。它返回SUCCESS或ERROR,具体取决于这是否定义了FREE类别中的有效态射。 这将在ELBA的......