用于生成保证案例的代理 RAG 和评估框架：欧盟网络弹性法案合规性的工业用例

由于网络安全合格评定的复杂性，遵守欧盟网络弹性法案 (CRA) 对中小企业来说是一项资源密集型挑战。然而，这对于证明监管合规性和确保产品安全性和弹性至关重要。为了解决这个问题，我们引入了一个自动化框架，用于使用基于正式的声明-论证-证据逻辑的代理检索增强生成来生成保证案例（AC）。通过系统地映射技术文档要求，该框架简化了认证证据的生成。我们在 Catalink 的 PATROLIoT 野火监测系统的案例研究中验证了我们的方法，其中代理 RAG 生成了 70 个具有高证据引用密度的 AC（每个 AC 约 4.4 个人工制品）。拟议的自然语言推理 (NLI) 评估器达到 0.88 的准确度，提供了可靠的证据基础和可追溯性，而专家验证的合理性 (3.06) 支持可解释的理由。对于从业者来说，这项工作提供了一种可扩展、可解释的方法，用于自动执行强制性 CRA 合格评定，减少人工工作量，同时保持透明的决策支持。