Layer Order Semantics for Automata-Based Cybersecurity

本文提出了一种基于自动机理论的形式化框架，用于分析和理解分层网络安全流水线中顺序敏感的安全故障。当前网络安全架构通常采用多阶段流水线来处理证据并做出决策，但不同阶段的转换顺序会显著影响哪些安全事实被暴露给哪些层级。作者给出了层顺序的有限状态

历史摘要 · 未重新核验 · arXiv cs.CR