对抗性植入下的证据验证：区分真实与对抗性植入法医证据的博弈论框架

我们将法医证据验证形式化为一个双人零和博弈。针对三种对手能力等级（受限/中等/高能力）×三种分析策略（仅内容/跨源/密码认证）进行了N=4500次模拟事件研究。协调的多源扩展显示，在对手协调水平k≥2时，仅内容策略优于跨源策略（协调的谎言通过了关联性检查）。策略集成实现了平均+12.8个百分点的增益。等成本预算分析显示，在预算相同情况下，三倍的仅内容策略胜过集成策略。对手预算的帕累托前沿分析表明，仅内容策略体系在测试范围内始终未被突破。本文是AIACW（AI自主网络武器）研究计划第二波（论文P10-P20）的一部分。第一波（P1-P9）已于2026年第二季度在同行评审会议（NDSS、ACM CCS、IEEE S&P、USENIX安全、牛津网络安全杂志、ACM计算调查）上发表。第二波确定了经验内核。P19（跨论文整合测试）和P20（方法论元论文）提供了计划级验证和文档。