OpenID Connect 程序的自动修复（扩展版）
软件工程
2025-10-06 v1 密码学与安全
摘要
OpenID Connect 通过提供基于单点登录（SSO）的安全便捷方法访问多个服务，彻底改变了在线身份验证。尽管其应用广泛，但 OpenID Connect 中的关键安全漏洞已导致重大财务损失和安全漏洞，凸显了对稳健缓解策略的需求。自动程序修复为生成 OpenID 实现的候选补丁提供了一个有前景的解决方案。然而，领域特定的复杂性以及精确定位故障和验证补丁的必要性等挑战必须得到解决。我们提出了 AuthFix，一个利用大语言模型进行 OpenID 缺陷自动修复的反例引导修复引擎。AuthFix 集成了三个关键组件：故障定位、补丁合成和补丁验证。通过采用一种新颖的基于 Petri 网的形式化验证器，AuthFix 通过有效建模交互来确保补丁的正确性。我们在 OpenID 缺陷数据集上的评估表明，AuthFix 成功为 23 个缺陷中的 17 个（74%）生成了正确的补丁，其中大部分补丁在语义上等同于开发者编写的修复。
引用
@article{arxiv.2510.02773,
title = {Automated Repair of OpenID Connect Programs (Extended Version)},
author = {Tamjid Al Rahat and Yanju Chen and Yu Feng and Yuan Tian},
journal= {arXiv preprint arXiv:2510.02773},
year = {2025}
}
备注
This is an extended version. The original paper is accepted to ASE 2025