clase ara::crypto::x509::CertificateValidationCtx

usar

El método AddOcspResponse de la clase ara::crypto::x509::CertificateValidationCtx valida una respuesta OCSP transmitida (ocspResponse) y, si es válida, la añade al conjunto de respuestas OCSP ya depositadas en el contexto de validación [SWS_CRYPT_50124]. Se pueden añadir varias respuestas a un contexto [SWS_CRYPT_50124]. Mediante el parámetro opcional trustedOcspIssuerCertificate se puede transmitir un certificado específico que se considera de confianza durante la verificación de la respuesta OCSP; si se omite este parámetro, la validación recurre a los certificados configurados previamente mediante AddTrustedCertificate [SWS_CRYPT_50124].

La llamada síncrona devuelve un ara::core::Result<CertificateValidationStatus> que, en caso de adopción correcta, contiene el estado kValid o, en caso contrario, refleja el resultado de la validación OCSP o bien un error [SWS_CRYPT_50124].

Manejo de errores

La especificación no define códigos de error estandarizados para esta llamada [SWS_CRYPT_50124]. Si la operación falla, se transmite el estado de validación correspondiente en el resultado o se señaliza un error específico de la implementación a través del objeto Result [SWS_CRYPT_50124].

Concurrencia y restricciones

La operación está especificada como thread-safe y exception-safe [SWS_CRYPT_50124]. Para que la validación de la respuesta OCSP tenga éxito, debe cumplirse una de las siguientes condiciones [SWS_CRYPT_50124]:

• El emisor se depositó previamente en el contexto como certificado de confianza o no de confianza [SWS_CRYPT_50124].
• La firma proviene de un certificado con la extensión id-kp-OCSPSigning establecida de la misma autoridad de certificación (CA) [SWS_CRYPT_50124].
• La firma proviene de una CA de confianza que se transmitió directamente a través de trustedOcspIssuerCertificate [SWS_CRYPT_50124].

Interacción

Las respuestas OCSP registradas se incorporan a las verificaciones de validación posteriores, tal como las realizan [SWS_CRYPT_50122] (ValidateCertificate) y [SWS_CRYPT_50123] (ValidateCertificateChain). Interpretación: Es probable que las respuestas OCSP deban añadirse antes del inicio de la validación de la ruta para que pueda tenerse en cuenta el estado de revocación de los certificados. Pregunta Q-fbb0711617fd7895 (abierta)

El método AddTrustedCertificate de la clase ara::crypto::x509::CertificateValidationCtx complementa el conjunto de certificados de confianza para validaciones posteriores con un certificado adicional [SWS_CRYPT_50117].

usar

La llamada se realiza a través de la interfaz en ara/crypto/x509/certificate_validation_ctx.h. Como parámetro se pasa trustedCertificate de tipo Certificate::Sptrc, el cual se considera de confianza en la validación de la ruta de certificación [SWS_CRYPT_50117]. En caso de ejecución correcta, la función devuelve un ara::core::Result<void> vacío [SWS_CRYPT_50117].

Manejo de errores

La especificación no define códigos de error estandarizados para esta función [SWS_CRYPT_50117]. Si se produce un error durante el procesamiento, se notifica un error específico de la implementación a través del ara::core::Result [SWS_CRYPT_50117].

Concurrencia y restricciones

El método está declarado como noexcept=0, se considera seguro frente a excepciones (exception safe) y está especificado explícitamente como seguro para subprocesos (thread-safe) [SWS_CRYPT_50117].

Interacción

Los certificados de confianza registrados interactúan con otras funciones del contexto de validación:

• En ValidateCertificateChain se valida una cadena de certificados según RFC 5280 frente a los certificados de confianza depositados previamente a través de AddTrustedCertificate, mientras que los certificados no confiables se ignoran [SWS_CRYPT_50123].
• En AddOcspResponse se puede recurrir a un certificado de confianza establecido previamente en el contexto como emisor para comprobar la validez de la respuesta OCSP [SWS_CRYPT_50124].

El método AddUntrustedCertificate del tipo de contexto ara::crypto::x509::CertificateValidationCtx añade un certificado no confiable al conjunto de certificados registrados previamente, para que pueda ser tenido en cuenta durante la validación de la ruta de certificación [SWS_CRYPT_50118]. La inclusión se realiza a través del archivo de cabecera #include "ara/crypto/x509/certificate_validation_ctx.h" [SWS_CRYPT_50118]. Como parámetro se pasa un puntero inteligente al certificado que se va a tener en cuenta (Certificate::Sptrc untrustedCertificate) [SWS_CRYPT_50118]. Dado que el método devuelve inmediatamente un ara::core::Result<void>, es de suponer que el registro se procesa de forma síncrona [SWS_CRYPT_50118]. Pregunta Q-879b384ff6efe687 (abierta)

En cuanto al tratamiento de errores, AUTOSAR no especifica códigos de error estandarizados para esta interfaz [SWS_CRYPT_50118]. En caso de éxito, el ara::core::Result devuelto no contiene ningún valor (void); en caso de error, entrega un código de error específico de la implementación [SWS_CRYPT_50118]. Por lo tanto, los emisores de la llamada deben comprobar si hay errores en el objeto Result antes de continuar utilizando el contexto de validación. El método está declarado como noexcept y clasificado como seguro ante excepciones (exception safe), con lo que no se propagan excepciones C++ a través del límite de la interfaz [SWS_CRYPT_50118].

La operación está declarada explícitamente como segura para subprocesos (thread-safe) [SWS_CRYPT_50118]. Por lo tanto, múltiples subprocesos pueden ingresar certificados concurrentemente en el mismo contexto de validación. Es conveniente que la llamada se realice antes del inicio de la validación de la ruta, con el fin de garantizar que todos los certificados necesarios estén disponibles para el algoritmo de validación [SWS_CRYPT_50118].

usar

El método IgnoreCriticalExtension en [SWS_CRYPT_50119] configura la instancia de ara::crypto::x509::CertificateValidationCtx de modo que se ignore una extensión de certificado específica durante la verificación de certificados y de respuestas OCSP. Esto se aplica incluso si la extensión está marcada como crítica y originalmente no es admitida por el contexto de validación. El parámetro ignoredExtensionOid toma el OID de la extensión a ignorar como ara::core::StringView. Múltiples llamadas hacen que se ignoren todos los OID de extensión transferidos. La ejecución se realiza de forma síncrona y está declarada como noexcept.

Tratamiento de errores y concurrencia

La función no especifica códigos de error estandarizados; en caso de éxito devuelve un ara::core::Result<void> vacío, mientras que en caso de error contiene un código de error específico de la implementación [SWS_CRYPT_50119]. En lo relativo a la concurrencia, la interfaz está especificada como segura para subprocesos (thread-safe) y segura ante excepciones (exception safe).

Restricciones e interacción

Si se ignora una extensión crítica, la validación funcional de dicha extensión recae por completo en la responsabilidad de la aplicación [SWS_CRYPT_50119]. Siempre que la opción de validación kIgnoreUnknownCriticalExtensions esté establecida, la llamada no surte ningún efecto adicional. Omitir extensiones críticas no admitidas debería evitar que falle la posterior comprobación de ruta en el marco de [SWS_CRYPT_40203] (por ejemplo, al determinar el CertificateValidationStatus). Pregunta Q-a087c9a9543c092a (abierta)

usar

El método SetValidationOptions de la clase ara::crypto::x509::CertificateValidationCtx sirve, según [SWS_CRYPT_50120], para definir las opciones para la realización de una validación de certificados. Como parámetro, la función puramente virtual espera CertificateValidationOptions, una máscara de bits para identificar las opciones de validación deseadas. La llamada se proporciona a través del encabezado ara/crypto/x509/certificate_validation_ctx.h.

Manejo de errores

La interfaz devuelve según [SWS_CRYPT_50120] un ara::core::Result<void>. En caso de ejecución correcta, el resultado no contiene ningún valor (resultado vacío). Si se pasa un valor no válido para las opciones, la operación falla con el código de error ara::crypto::CryptoErrc::kInvalidArgument. En este caso se aplica una semántica de reversión. Si se produce otro error, se puede devolver un código de error específico de la implementación.

Concurrencia y restricciones

Según [SWS_CRYPT_50120], el método está especificado como seguro para subprocesos (thread-safe) y puede llamarse concurrentemente. Además, está declarado como seguro frente a excepciones (exception safe), así como con noexcept, por lo que no deben lanzarse excepciones a través del límite de la interfaz.

El método ValidateCertificate de la clase ara::crypto::x509::CertificateValidationCtx del encabezado ara/crypto/x509/certificate_validation_ctx.h lleva a cabo una validación síncrona de la ruta de certificación conforme a RFC 5280 [SWS_CRYPT_50122]. La comprobación de validación se realiza sobre la base de la configuración previa del contexto de la instancia. Como único parámetro de entrada se pasa el certificado que se va a validar a través del puntero certificate del tipo Certificate::Sptrc [SWS_CRYPT_50122].

Como tipo de retorno sirve ara::core::Result<CertificateValidationResult::Sptrc>, el cual contiene en caso de éxito un puntero al resultado de la validación o proporciona un código de error en caso de fallo [SWS_CRYPT_50122]. Además de los errores específicos de la implementación, puede producirse el código de error específico ara::crypto::CryptoErrc::kIncompatibleArguments [SWS_CRYPT_50122]. Este cuenta con semántica de reversión y se devuelve si se ha depositado una respuesta OCSP mediante AddOcspResponse, pero los CertificateValidationOptions configurados no especifican ningún comportamiento OCSP.

En cuanto a la seguridad de ejecución y concurrencia, el método está especificado como seguro para subprocesos (thread-safe) y seguro contra excepciones (exception safe), y no lanza excepciones (noexcept) [SWS_CRYPT_50122]. Como condición de orden de ejecución, debe tenerse en cuenta que el contexto de validación debe inicializarse y configurarse previamente, ya que la verificación se basa directamente en sus ajustes predeterminados [SWS_CRYPT_50122].

El método ValidateCertificateChain en el contexto ara::crypto::x509::CertificateValidationCtx realiza una validación síncrona de la ruta de una cadena de certificados según RFC 5280 [SWS_CRYPT_50123].

Uso y parámetros

Como entrada, la función espera a través del parámetro certificateChain una cadena de tipo ara::core::Span<Certificate::Sptrc>. En este caso, el elemento 0 representa el certificado hoja (Leaf Certificate), mientras que cada elemento sucesivo debe contener el emisor del respectivo certificado precedente [SWS_CRYPT_50123]. La función ignora los certificados que se registraron previamente a través de AddUntrustedCertificate y valida la cadena transferida exclusivamente frente a anclas de confianza depositadas mediante AddTrustedCertificate [SWS_CRYPT_50123].

Manejo de errores

El resultado se proporciona encapsulado como ara::core::Result<CertificateValidationResult::Sptrc>, que contiene un puntero al resultado de la validación o un código de error [SWS_CRYPT_50123]. El error ara::crypto::CryptoErrc::kIncompatibleArguments se produce con semántica de reversión (rollback) si previamente se estableció una respuesta OCSP a través de AddOcspResponse, pero los CertificateValidationOptions actuales no definen ningún comportamiento OCSP [SWS_CRYPT_50123]. Otras causas de error se notifican como códigos de error específicos de la implementación [SWS_CRYPT_50123].

Concurrencia y seguridad de ejecución

La interfaz está declarada como noexcept, se considera segura frente a excepciones (exception safe) y está clasificada como segura para subprocesos (thread-safe) para el acceso concurrente [SWS_CRYPT_50123].