ArXiv提出FAVA框架：基于证据支持权限图的大语言模型智能体授权机制

摘要：FAVA（Formal Authorization for Verified Agents）是一种针对大语言模型智能体执行的新型授权框架，旨在解决静态工具级权限在动态环境中的不足。该框架利用大语言模型引导的权限中间表示（IR）将模糊的自然语言任务转化为结构化约束，并通过确定性降级过程生成证据支持的权限图，精确跟踪数据流、依赖关系和上下文标签。SMT授权器在执行任何效果性操作前对当前图进行数学验证，运行时网关器则根据验证结果执行或拦截操作。实验表明，FAVA在多个基准测试中实现了90.5%的决策合规率，成功拦截了动态违规轨迹。

---

核心突破

FAVA框架通过以下创新点解决了大语言模型智能体在动态环境中的授权问题：

1. 大语言模型引导的权限中间表示（IR）：将自然语言任务转化为结构化约束，确保任务描述的准确性和可操作性。
2. 证据支持的权限图：通过确定性降级过程生成权限图，精确跟踪数据流、依赖关系和上下文标签，为安全授权提供坚实基础。
3. SMT授权器：在执行任何效果性操作前对权限图进行数学验证，确保其符合安全策略。
4. 运行时网关器：根据SMT授权器的验证结果执行或拦截操作，实现动态环境下的安全授权。

技术亮点

• 动态适应性：FAVA能够根据运行时状态和数据流的变化动态调整授权决策，适应复杂多变的应用场景。
• 高合规率：在多个基准测试中，FAVA实现了90.5%的决策合规率，显著提升了智能体执行的安全性。
• 拦截违规轨迹：成功拦截了动态违规轨迹，展示了其在防止潜在安全漏洞方面的有效性。

行业影响

FAVA框架的提出为大语言模型智能体在安全关键领域的应用提供了新的技术路径，特别是在需要高安全性和可靠性的场景中，如金融、医疗和关键基础设施。随着大语言模型智能体在各个领域的普及，FAVA框架有望成为确保智能体安全执行的重要工具。

开发者建议

• 集成FAVA框架：开发者可以将FAVA框架集成到现有的大语言模型智能体系统中，以提升授权机制的安全性和动态。
• 评估与优化：在应用FAVA框架时，建议进行充分的评估和优化，以确保其在特定应用场景中的适用性和有效性。
• 持续监控：即使在部署FAVA框架后，也应持续监控智能体的执行情况，及时发现和解决潜在的安全问题。

---

消息来源：ArXiv cs.AI (2026-07-29)

—— 完 ——

主题标签： #大语言模型 #智能体 #授权机制 #安全 #ArXiv