Symbolic Attack Chain Generation from Atomic Red Team Techniques: An Empirical Study of Predicate Representation Granularity

摘要：现代网络安全中，自动化攻击链生成对防御和安全评估至关重要，但人工构建无法应对攻击行为的快速增长。经典AI规划（如PDDL）提供了一种形式化自动生成攻击链的方法，但其效果依赖于将攻击技术准确翻译为符号谓词的粒度。当前最先进的系统如AUR

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