类 ara::crypto::x509::CertificateValidationCtx

使用

类 ara::crypto::x509::CertificateValidationCtx 的方法 AddOcspResponse 验证传入的 OCSP 响应（ocspResponse），并在有效时将其添加到验证上下文中已存储的 OCSP 响应集中 [SWS_CRYPT_50124]。可以向一个上下文中添加多个响应 [SWS_CRYPT_50124]。通过可选参数 trustedOcspIssuerCertificate 可以传入特定证书，该证书在检查 OCSP 响应时被视为受信任；如果省略此参数，验证将采用先前通过 AddTrustedCertificate 配置的证书 [SWS_CRYPT_50124]。

同步调用返回一个 ara::core::Result<CertificateValidationStatus>，其在成功接收时包含状态 kValid，或在其他情况下反映 OCSP 验证的结果或错误 [SWS_CRYPT_50124]。

错误处理

规范未为此调用定义标准化的错误码 [SWS_CRYPT_50124]。如果操作失败，则要么在结果中传递相应的验证状态，要么通过 Result 对象指示特定于实现的错误 [SWS_CRYPT_50124]。

并发性与限制

该操作被指定为线程安全且异常安全 [SWS_CRYPT_50124]。为了使 OCSP 响应的验证成功，必须满足以下条件之一 [SWS_CRYPT_50124]：

• 签发者之前已作为受信任或不受信任的证书存储在上下文中 [SWS_CRYPT_50124]。
• 签名来自同一证书颁发机构（CA）且设置了扩展 id-kp-OCSPSigning 的证书 [SWS_CRYPT_50124]。
• 签名来自直接通过 trustedOcspIssuerCertificate 传入的受信任 CA [SWS_CRYPT_50124]。

相互作用

已注册的 OCSP 响应会进入后续的验证检查中，正如 [SWS_CRYPT_50122]（ValidateCertificate）和 [SWS_CRYPT_50123]（ValidateCertificateChain）所执行的那样。解释：OCSP 响应大概率需要在路径验证启动之前添加，以便能够考虑证书的吊销状态。 问题 Q-fbb0711617fd7895 (未决)

类 ara::crypto::x509::CertificateValidationCtx 的方法 AddTrustedCertificate 将又一个证书补充到用于后续验证的受信任证书集合中 [SWS_CRYPT_50117]。

使用

调用通过 ara/crypto/x509/certificate_validation_ctx.h 中的接口进行。作为参数传递类型为 Certificate::Sptrc 的 trustedCertificate，该证书在证书路径验证中被视为受信任 [SWS_CRYPT_50117]。该函数在成功执行后返回一个空的 ara::core::Result<void> [SWS_CRYPT_50117]。

错误处理

规范未为此函数定义标准化的错误代码 [SWS_CRYPT_50117]。如果在处理过程中发生错误，将通过 ara::core::Result 报告实现特定的错误 [SWS_CRYPT_50117]。

并发性与限制

该方法被声明为 noexcept=0，被视为异常安全（exception safe），并被明确规范定义为线程安全（thread-safe）[SWS_CRYPT_50117]。

相互作用

已注册的受信任证书与验证上下文的其他功能协同工作：

• 在 ValidateCertificateChain 中，根据 RFC 5280 针对此前通过 AddTrustedCertificate 存放的受信任证书验证证书链，同时忽略不受信任的证书 [SWS_CRYPT_50123]。
• 在 AddOcspResponse 中，此前在上下文中设置的受信任证书可用作签发者，以检查 OCSP 响应的有效性 [SWS_CRYPT_50124]。

上下文类型 ara::crypto::x509::CertificateValidationCtx 的方法 AddUntrustedCertificate 将不可信证书添加到先前注册的证书集中，以便在证书路径验证期间予以考虑 [SWS_CRYPT_50118]。通过头文件 #include "ara/crypto/x509/certificate_validation_ctx.h" 进行包含 [SWS_CRYPT_50118]。作为参数，传入指向待考虑证书的智能指针（Certificate::Sptrc untrustedCertificate）[SWS_CRYPT_50118]。由于该方法直接返回一个 ara::core::Result<void>，注册过程可能是同步处理的 [SWS_CRYPT_50118]。 问题 Q-879b384ff6efe687 (未决)

在错误处理方面，AUTOSAR 没有为此接口指定标准化的错误代码 [SWS_CRYPT_50118]。在成功的情况下，返回的 ara::core::Result 不包含任何值（void）；在错误的情况下，它提供一个实现特定的错误代码 [SWS_CRYPT_50118]。因此，调用方在进一步使用验证上下文之前，必须检查 Result 对象是否存在错误。该方法被声明为 noexcept 并归类为异常安全（exception safe），从而不会跨越接口边界传播 C++ 异常 [SWS_CRYPT_50118]。

该操作被明确声明为线程安全（thread-safe）[SWS_CRYPT_50118]。因此，多个线程可以并发地将证书引入同一个验证上下文中。该调用在路径验证开始之前执行是合理的，以确保验证算法所需的所有证书均已就绪 [SWS_CRYPT_50118]。

使用

[SWS_CRYPT_50119] 上的方法 IgnoreCriticalExtension 配置 ara::crypto::x509::CertificateValidationCtx 的实例，以便在检查证书以及 OCSP 响应时忽略特定证书扩展。即使该扩展被标记为关键且原本不受验证上下文支持，此规则同样适用。参数 ignoredExtensionOid 作为 ara::core::StringView 接收待忽略扩展的 OID。多次调用会导致所有传入的扩展 OID 都被忽略。执行同步进行，并被声明为 noexcept。

错误处理与并发

该函数未指定标准化的错误代码；在成功的情况下，它返回一个空的 ara::core::Result<void>，而在错误的情况下，包含一个实现特定的错误代码 [SWS_CRYPT_50119]。在并发性方面，该接口被指定为线程安全（thread-safe）和异常安全（exception safe）。

限制与交互

如果忽略了关键扩展，则该扩展的业务验证完全由应用程序负责 [SWS_CRYPT_50119]。如果设置了验证选项 kIgnoreUnknownCriticalExtensions，则该调用不会产生额外效果。忽略不支持的关键扩展可能有助于防止 [SWS_CRYPT_40203] 范围内的后续路径检查（例如在确定 CertificateValidationStatus 时）失败。 问题 Q-a087c9a9543c092a (未决)

使用

类 ara::crypto::x509::CertificateValidationCtx 的方法 SetValidationOptions 根据 [SWS_CRYPT_50120] 用于设定执行证书验证的选项。作为参数，纯虚函数需要 CertificateValidationOptions，即用于标识所需验证选项的位掩码。该调用通过头文件 ara/crypto/x509/certificate_validation_ctx.h 提供。

错误处理

根据 [SWS_CRYPT_50120]，该接口返回一个 ara::core::Result<void>。成功执行后，结果不包含任何值（空结果）。如果为选项传递了无效值，则操作失败并返回错误代码 ara::crypto::CryptoErrc::kInvalidArgument。此时应用回滚语义。如果发生其他错误，可以返回实现特定的错误代码。

并发性与限制

根据 [SWS_CRYPT_50120]，该方法被规范定义为线程安全（thread-safe），并允许并发调用。它还被声明为异常安全（exception safe）以及带有 noexcept，因此不允许跨接口边界抛出异常。

来自头文件 ara/crypto/x509/certificate_validation_ctx.h 中类 ara::crypto::x509::CertificateValidationCtx 的方法 ValidateCertificate 执行符合 RFC 5280 的同步证书路径验证 [SWS_CRYPT_50122]。验证检查基于实例上下文的先前配置进行。作为唯一的输入参数，待验证证书通过类型为 Certificate::Sptrc 的指针 certificate 传入 [SWS_CRYPT_50122]。

返回类型为 ara::core::Result<CertificateValidationResult::Sptrc>，其在成功时包含指向验证结果的指针，或在出错时提供错误码 [SWS_CRYPT_50122]。除特定于实现的错误外，还可能出现特定错误码 ara::crypto::CryptoErrc::kIncompatibleArguments [SWS_CRYPT_50122]。该错误码具有回滚语义，并且在通过 AddOcspResponse 存储了 OCSP 响应但配置的 CertificateValidationOptions 未指定任何 OCSP 行为时返回。

关于执行安全性和并发性，该方法被指定为线程安全（thread-safe）以及异常安全（exception safe），并且不引发异常（noexcept）[SWS_CRYPT_50122]。作为顺序条件需要注意的是，验证上下文必须事先初始化和配置，因为检查直接建立在其预设配置之上 [SWS_CRYPT_50122]。

上下文 ara::crypto::x509::CertificateValidationCtx 中的方法 ValidateCertificateChain 根据 RFC 5280 对证书链执行同步路径验证 [SWS_CRYPT_50123]。

用法与参数

作为输入，该函数通过参数 certificateChain 期望一个类型为 ara::core::Span<Certificate::Sptrc> 的链。其中元素 0 代表叶证书（Leaf Certificate），而每个后续元素必须包含紧邻前一个证书的签发者 [SWS_CRYPT_50123]。该函数忽略先前通过 AddUntrustedCertificate 注册的证书，并仅针对通过 AddTrustedCertificate 配置的信任锚验证传入的链 [SWS_CRYPT_50123]。

错误处理

结果封装为 ara::core::Result<CertificateValidationResult::Sptrc> 提供，其中包含指向验证结果的指针或错误码 [SWS_CRYPT_50123]。如果先前通过 AddOcspResponse 设置了 OCSP 响应，但当前的 CertificateValidationOptions 未定义 OCSP 行为，则错误 ara::crypto::CryptoErrc::kIncompatibleArguments 会以回滚语义发生 [SWS_CRYPT_50123]。其他错误原因作为具体实现特定的错误码返回 [SWS_CRYPT_50123]。

并发性与执行安全性

该接口被声明为 noexcept，被视为异常安全（exception safe），并被归类为支持并发访问的线程安全（thread-safe） [SWS_CRYPT_50123]。