实体
Tamarin Prover
Tamarin Prover
PulseAugur coverage of Tamarin Prover — every cluster mentioning Tamarin Prover across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
AI Agent 支付协议接受形式安全分析
研究人员使用 Tamarin Prover 对四种 Agent 支付协议进行了形式化分析，包括 x402、MPP、ACP 和 AP2。该研究旨在识别这些对于使 AI Agent 能够进行交易至关重要的协议中的安全漏洞和不一致之处。分析发现了 40 项先前未记录的形式一致性发现，强调了在支付生命周期的不同阶段需要更强的绑定和状态约束。这些发现已通过概念验证的实现和 SDK 级别的证明得到验证。
-
RL框架在Tamarin中自动化安全协议分析
研究人员开发了一个强化学习（RL）框架，以自动化和缩短使用Tamarin工具分析安全协议的过程。这种受AlphaZero启发的创新方法采用神经启发式来指导蒙特卡洛树搜索，并从已完成的子证明中学习。在16个案例研究上的评估表明，与现有方法相比，RL方法能够自动找到更多证明并生成更短的证明，从而显著减少了协议验证所需的人工努力。