论文09:21
GPT和DeepSeek在安全协议分析中的表现评估这篇论文用具体数据告诉你，GPT和DeepSeek在形式化验证上还比不上ProVerif这些专业工具，但推理模式能把精确率拉到66%，可能当个预筛选过滤器。
#OFMC
共 1 条 · 7 天 0 条 · 30 天 0 条
信息流里打上「OFMC」标签的资讯、产品与论文，按刊登时间排，新的在上。
7月24日
这篇论文用具体数据告诉你，GPT和DeepSeek在形式化验证上还比不上ProVerif这些专业工具，但推理模式能把精确率拉到66%，可能当个预筛选过滤器。