09:21
官方一手arXiv: DeepSeek@Paolo Modesti, Syed Ahmed, Ioannis Sfyrakis, Derek Enodolomwanyi
推荐理由：这篇论文用具体数据告诉你，GPT和DeepSeek在形式化验证上还比不上ProVerif这些专业工具，但推理模式能把精确率拉到66%，可能当个预筛选过滤器。
安全协议分析
共 1 条相关 AI 资讯
7月24日
09:21
一篇论文评估了GPT和DeepSeek在符号安全协议分析中的能力，使用130个混淆的AnB/AnBx协议涵盖388个安全目标，与ProVerif和OFMC工具对比。Chat模式召回率69%-81%，但精确率低于31%。推理模式将GPT精确率提升至66.5%，DeepSeek至45.4%，但仅检测到一半以上攻击。在保密性目标上，推理模式F1达到95.7%。各模型在认证目标上表现最差，且判断不稳定。