#fsm

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