论文用 Tamarin 形式化分析 x402、MPP、ACP、AP2 四个智能体支付协议
论文在 Tamarin 中形式化建模 x402、MPP、ACP、AP2 四个代表性智能体支付协议，基于统一的智能体支付生命周期抽象刻画各协议的角色、状态、信任假设与阶段转换。
完整解读供应链安全 · 论文
另有 33 篇还没有研究类型，暂不在这些分类里。
分析/可解释性arXiv:2609.00060 · 分析/可解释性arXiv:2609.29757 · OllamaDrama：用蜜罐测量暴露 LLM 基础设施遭受的攻击
完整解读
已经到底了