A2A-ForensicTrace：A2A 运行时防篡改证据的离线验证

Adil Alshammari, Sareh Assiri, Hayretdin Bahsi

论文 2026 原文 2026-09-27 arXiv preprint (cs.CR) arXiv:2609.33924 收录 2026-10-05 A2Aforensicsauditevidencecross-organizationverification

摘要

具有安全相关性的 A2A 执行可能跨越组织边界，使调查者无法实时访问全部参与系统。离线调查需要检查留存的记录及其跨记录关系是否一致。本文提出 A2A-ForensicTrace：一个离线验证层，把运行时观测转换为带类型的记录、推导与协议相关的关系，并把两者一并提交到一个事件追踪根（incident-trace root）之下；一份 Ed25519 签名的收据把该根与捕获摘要绑定到事件上下文。评估包含经由官方 A2A SDK 的240 次执行（动作由大模型选择），其中 120 次条件运行与 120 次配对对照：所有条件运行都返回预期的有界发现，没有对照产生指示，全部根与收据均通过验证。完整离线验证器的内存中延迟中位数为 1.61 ms（场景轨迹）；在独立的扩展性实验中，提交 1000 个叶子时为 30.85 ms。后续工作将扩展对 A2A 生命周期的覆盖。

引用本文条目

GB/T 7714-2015

Adil Alshammari, Sareh Assiri, Hayretdin Bahsi. A2A-ForensicTrace: Offline Verification of Tamper-Evident A2A Runtime Evidence[EB/OL]. arXiv preprint (cs.CR), 2026(2026-09-27)[2026-10-05]. https://arxiv.org/abs/2609.33924.

BibTeX

@misc{alshammari2026,
  author = {Adil Alshammari and Sareh Assiri and Hayretdin Bahsi},
  title = {A2A-ForensicTrace: Offline Verification of Tamper-Evident A2A Runtime Evidence},
  year = {2026},
  organization = {arXiv preprint (cs.CR)},
  howpublished = {\url{https://arxiv.org/abs/2609.33924}},
}

查看原文 ↗

本条目为「智联观察」资料库收录，引用时请注明来源与本页链接。