arXiv:2603.06365cs.CRcs.AI2026-03被引 2

用事件溯源架构让AI代码安全审计可追溯、可复现、可验证。

ESAA-Security: An Event-Sourced, Verifiable Architecture for Agent-Assisted Security Audits of AI-Generated Code

  • 将安全审计拆分为4阶段26任务,通过事件日志约束AI行为
  • 生成带风险矩阵和修复建议的结构化报告,支持回放验证
  • 适合需要合规审计的AI代码开发团队,尤其关注可追溯性

AI辅助代码生成虽提升效率,却加剧了功能正确但结构不安全的问题。当前基于提示的安全审查常存在覆盖不均、结果不可复现、无证据支持及缺乏审计追踪等缺陷。本文提出ESAA-Security,是面向代理式安全审计的专用架构,聚焦于AI生成或修改的代码。该框架将审计流程规范化为四个阶段:侦察、领域审计执行、风险分类与最终报告,涵盖26个任务、16个安全领域和95项可执行检查。系统输出包括结构化检查结果、漏洞清单、严重性分级、风险矩阵、修复指引、执行摘要及最终的Markdown/JSON报告。核心思想是将安全审查从自由对话转向以证据为基础的受控流程,通过合约与事件驱动。代理在受限协议下发出结构化意图,协调器验证后将其持久化至追加只读日志,并通过重放与哈希校验一致性。最终报告自动生成且具备可审计性,确保全过程可追溯、可复现、风险导向。

原文摘要 · Abstract (English)

AI-assisted software generation has increased development speed, but it has also amplified a persistent engineering problem: systems that are functionally correct may still be structurally insecure. In practice, prompt-based security review with large language models often suffers from uneven coverage, weak reproducibility, unsupported findings, and the absence of an immutable audit trail. The ESAA architecture addresses a related governance problem in agentic software engineering by separating heuristic agent cognition from deterministic state mutation through append-only events, constrained outputs, and replay-based verification. This paper presents ESAA-Security, a domain-specific specialization of ESAA for agent-assisted security auditing of software repositories, with particular emphasis on AI-generated or AI-modified code. ESAA-Security structures auditing as a governed execution pipeline with four phases reconnaissance, domain audit execution, risk classification, and final reporting and operationalizes the workflow into 26 tasks, 16 security domains, and 95 executable checks. The framework produces structured check results, vulnerability inventories, severity classifications, risk matrices, remediation guidance, executive summaries, and a final markdown/JSON audit report. The central idea is that security review should not be modeled as a free-form conversation with an LLM, but as an evidence-oriented audit process governed by contracts and events. In ESAA-Security, agents emit structured intentions under constrained protocols; the orchestrator validates them, persists accepted outputs to an append-only log, reprojects derived views, and verifies consistency through replay and hashing. The result is a traceable, reproducible, and risk-oriented audit architecture whose final report is auditable by construction.

AI安全代码审计事件溯源可验证

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。