本文提出将AI渗透测试Agent工作流建模为有限状态机,通过状态、事件、Guard和迁移表实现确定性执行,解决中断恢复、重复执行、权限越界等问题。核心结论是模型负责建议,状态机负责准入,工具负责执行,证据门负责结论,确保工作流按范围校验、候选研判、人工审批、安全验证、证据复核、报告生成顺序执行。建议采用机器可读迁移表替代模型自行判断下一步。
网络安全文章















