MAGIQ：具有可证明安全性的后量子多智能体 AI 治理系统

研究者提出 MAGIQ，一个面向多智能体 AI 系统的策略定义与执行框架，采用高效的后量子密码协议并提供可证明的安全保证。该框架允许用户为智能体间会话和任务定义通信与访问控制策略预算，包括一对多智能体会话的全局预算，支持基于会话的策略执行，并通过消息归属实现智能体对用户的可问责性。作者在 Universal Composability（UC）框架下形式化建模并证明了系统的正确性与安全性，评估了框架的计算与通信开销，并与现有智能体 AI 框架 SAGA 进行比较。文中援引 NIST 建议，自 2030 年起弃用 RSA、Diffie-Hellman 和椭圆曲线（ECC）等标准公钥算法，2035 年之后不允许使用。