arXiv cs.SE· Ayesha Binte Mostofa, Gehao Zhang, Sam Stern, Juan Zhai, Pubali Datta·· 4 小时前AI 评分38
Reparo：用 LLM 合成并验证访问控制策略
Reparo: Synthesizing and Validating Access Control Policies
AI 导读
Reparo 是一个 LLM 辅助的访问控制策略合成、修复与验证流水线，先从仓库证据中提取授权意图生成初始策略，再用官方校验工具修复错误，并由另一个 LLM 从同一证据推导行为预言机做语义验证。
来源：arXiv cs.SE · arxiv.org