classe ara::crypto::x509::CertificateValidationCtx

usar

O método AddOcspResponse da classe ara::crypto::x509::CertificateValidationCtx valida uma resposta OCSP passada (ocspResponse) e, em caso de validade, a adiciona ao conjunto de respostas OCSP já registradas no contexto de validação [SWS_CRYPT_50124]. Múltiplas respostas podem ser adicionadas a um contexto [SWS_CRYPT_50124]. Por meio do parâmetro opcional trustedOcspIssuerCertificate, pode ser passado um certificado específico considerado confiável na verificação da resposta OCSP; se este parâmetro for omitido, a validação recorrerá aos certificados previamente configurados por meio de AddTrustedCertificate [SWS_CRYPT_50124].

A chamada síncrona retorna um ara::core::Result<CertificateValidationStatus>, que, em caso de adoção bem-sucedida, contém o status kValid ou, caso contrário, reflete o resultado da validação OCSP ou um erro [SWS_CRYPT_50124].

Tratamento de erros

A especificação não define códigos de erro padronizados para esta chamada [SWS_CRYPT_50124]. Se a operação falhar, ou o respectivo status de validação é transportado no resultado, ou um erro específico da implementação é sinalizado por meio do objeto Result [SWS_CRYPT_50124].

Simultaneidade e restrições

A operação é especificada como thread-safe e exception-safe [SWS_CRYPT_50124]. Para que a validação da resposta OCSP seja bem-sucedida, uma das seguintes condições deve ser satisfeita [SWS_CRYPT_50124]:

• O emissor foi previamente registrado no contexto como certificado confiável ou não confiável [SWS_CRYPT_50124].
• A assinatura provém de um certificado com a extensão id-kp-OCSPSigning definida da mesma autoridade certificadora (CA) [SWS_CRYPT_50124].
• A assinatura provém de uma CA confiável que foi passada diretamente via trustedOcspIssuerCertificate [SWS_CRYPT_50124].

Interação

As respostas OCSP registradas são incorporadas em verificações de validação subsequentes, tais como as realizadas por [SWS_CRYPT_50122] (ValidateCertificate) e [SWS_CRYPT_50123] (ValidateCertificateChain). Interpretação: É provável que as respostas OCSP devam ser adicionadas antes do início da validação do caminho para que o status de revogação dos certificados possa ser considerado. Pergunta Q-fbb0711617fd7895 (aberta)

O método AddTrustedCertificate da classe ara::crypto::x509::CertificateValidationCtx adiciona outro certificado ao conjunto de certificados confiáveis para validações subsequentes [SWS_CRYPT_50117].

usar

A chamada ocorre através da interface em ara/crypto/x509/certificate_validation_ctx.h. Como parâmetro, é passado trustedCertificate do tipo Certificate::Sptrc, que é considerado confiável na validação do caminho de certificação [SWS_CRYPT_50117]. A função retorna um ara::core::Result<void> vazio em caso de execução bem-sucedida [SWS_CRYPT_50117].

Tratamento de erros

A especificação não define códigos de erro padronizados para esta função [SWS_CRYPT_50117]. Se ocorrer um erro durante o processamento, é reportado um erro específico da implementação através do ara::core::Result [SWS_CRYPT_50117].

Simultaneidade e restrições

O método está declarado como noexcept=0, é considerado seguro para exceções (exception safe) e está explicitamente especificado como seguro para threads (thread-safe) [SWS_CRYPT_50117].

Interação

Os certificados confiáveis registados interagem com outras funções do contexto de validação:

• Em ValidateCertificateChain, uma cadeia de certificados de acordo com a RFC 5280 é validada em relação aos certificados confiáveis anteriormente guardados via AddTrustedCertificate, enquanto certificados não confiáveis são ignorados [SWS_CRYPT_50123].
• Em AddOcspResponse, um certificado confiável anteriormente definido no contexto pode ser utilizado como emissor para verificar a validade da resposta OCSP [SWS_CRYPT_50124].

O método AddUntrustedCertificate do tipo de contexto ara::crypto::x509::CertificateValidationCtx adiciona um certificado não confiável ao conjunto dos certificados previamente registados, para que este possa ser considerado durante a validação do caminho de certificação [SWS_CRYPT_50118]. A integração efetua-se através do ficheiro de cabeçalho #include "ara/crypto/x509/certificate_validation_ctx.h" [SWS_CRYPT_50118]. Como parâmetro, é passado um smart pointer para o certificado a considerar (Certificate::Sptrc untrustedCertificate) [SWS_CRYPT_50118]. Como o método retorna imediatamente um ara::core::Result<void>, o registo deverá ser processado de forma síncrona [SWS_CRYPT_50118]. Pergunta Q-879b384ff6efe687 (aberta)

No que diz respeito ao tratamento de erros, o AUTOSAR não especifica códigos de erro padronizados para esta interface [SWS_CRYPT_50118]. Em caso de sucesso, o ara::core::Result retornado não contém valor (void); em caso de erro, fornece um código de erro específico da implementação [SWS_CRYPT_50118]. Os chamadores têm, por isso, de verificar o objeto Result quanto a erros antes da utilização posterior do contexto de validação. O método está declarado como noexcept e classificado como seguro contra exceções (exception safe), pelo que nenhumas exceções de C++ são propagadas através do limite da interface [SWS_CRYPT_50118].

A operação está declarada explicitamente como segura para threads (thread-safe) [SWS_CRYPT_50118]. Múltiplas threads podem, portanto, introduzir certificados de forma concorrente no mesmo contexto de validação. É conveniente que a chamada seja efetuada antes do início da validação do caminho, a fim de assegurar que todos os certificados necessários estejam disponíveis para o algoritmo de validação [SWS_CRYPT_50118].

usar

O método IgnoreCriticalExtension em [SWS_CRYPT_50119] configura a instância de ara::crypto::x509::CertificateValidationCtx de modo a que uma extensão de certificado específica seja ignorada na verificação de certificados bem como de respostas OCSP. Isto aplica-se mesmo quando a extensão está marcada como crítica e não é suportada originalmente pelo contexto de validação. O parâmetro ignoredExtensionOid assume o OID da extensão a ignorar como ara::core::StringView. Múltiplas chamadas fazem com que todos os OIDs de extensão passados sejam ignorados. A execução é síncrona e está declarada como noexcept.

Tratamento de erros e simultaneidade

A função não especifica códigos de erro padronizados; em caso de sucesso fornece um ara::core::Result<void> vazio, enquanto em caso de erro está contido um código de erro específico da implementação [SWS_CRYPT_50119]. No que diz respeito à concorrência, a interface está especificada como segura para threads (thread-safe) e segura contra exceções (exception safe).

Restrições e interação

Se uma extensão crítica for ignorada, a validação funcional dessa extensão é da inteira responsabilidade da aplicação [SWS_CRYPT_50119]. Se a opção de validação kIgnoreUnknownCriticalExtensions estiver definida, a chamada não surte qualquer efeito adicional. A omissão de extensões críticas não suportadas deverá evitar que a verificação de caminho posterior falhe no âmbito de [SWS_CRYPT_40203] (por exemplo, na determinação do CertificateValidationStatus). Pergunta Q-a087c9a9543c092a (aberta)

usar

O método SetValidationOptions da classe ara::crypto::x509::CertificateValidationCtx serve, de acordo com [SWS_CRYPT_50120], para definir as opções para a realização de uma validação de certificado. Como parâmetro, a função puramente virtual espera CertificateValidationOptions, uma máscara de bits para identificação das opções de validação pretendidas. A chamada é disponibilizada através do cabeçalho ara/crypto/x509/certificate_validation_ctx.h.

Tratamento de erros

A interface retorna um ara::core::Result<void> de acordo com [SWS_CRYPT_50120]. Em caso de execução bem-sucedida, o resultado não contém qualquer valor (resultado vazio). Caso seja passado um valor inválido para as opções, a operação falha com o código de erro ara::crypto::CryptoErrc::kInvalidArgument. Aplica-se aqui uma semântica de rollback. Se ocorrer outro erro, pode ser retornado um código de erro específico da implementação.

Simultaneidade e restrições

De acordo com [SWS_CRYPT_50120], o método está especificado como seguro para threads (thread-safe) e pode ser chamado concorrentemente. Além disso, está declarado como seguro para exceções (exception safe) bem como com noexcept, razão pela qual nenhuma exceção pode ser lançada através do limite da interface.

O método ValidateCertificate da classe ara::crypto::x509::CertificateValidationCtx do cabeçalho ara/crypto/x509/certificate_validation_ctx.h realiza uma validação síncrona de caminho de certificação de acordo com a RFC 5280 [SWS_CRYPT_50122]. A verificação de validação ocorre com base na configuração prévia do contexto da instância. Como único parâmetro de entrada, o certificado a ser validado é passado através do ponteiro certificate do tipo Certificate::Sptrc [SWS_CRYPT_50122].

Como tipo de retorno é utilizado ara::core::Result<CertificateValidationResult::Sptrc>, que, em caso de sucesso, contém um ponteiro para o resultado da validação ou, em caso de falha, disponibiliza um código de erro [SWS_CRYPT_50122]. Além de erros específicos da implementação, pode ocorrer o código de erro específico ara::crypto::CryptoErrc::kIncompatibleArguments [SWS_CRYPT_50122]. Este possui semântica de rollback e é retornado quando uma resposta OCSP foi registrada por meio de AddOcspResponse, mas os CertificateValidationOptions configurados não especificam nenhum comportamento OCSP.

Com relação à segurança de execução e à concorrência, o método é especificado como thread-safe (thread-safe) bem como seguro contra exceções (exception safe) e não lança exceções (noexcept) [SWS_CRYPT_50122]. Como condição de ordenação, deve-se observar que o contexto de validação precisa ser previamente inicializado e configurado, visto que a verificação se baseia diretamente em suas pré-configurações [SWS_CRYPT_50122].

O método ValidateCertificateChain no contexto ara::crypto::x509::CertificateValidationCtx realiza uma validação síncrona de caminho de uma cadeia de certificados de acordo com a RFC 5280 [SWS_CRYPT_50123].

Utilização e parâmetros

Como entrada, a função espera por meio do parâmetro certificateChain uma cadeia do tipo ara::core::Span<Certificate::Sptrc>. Nela, o elemento 0 representa o certificado folha (Leaf Certificate), enquanto cada elemento subsequente deve conter o emissor do respectivo certificado precedente [SWS_CRYPT_50123]. A função ignora certificados que foram registrados previamente via AddUntrustedCertificate e valida a cadeia fornecida exclusivamente contra âncoras de confiança armazenadas por meio de AddTrustedCertificate [SWS_CRYPT_50123].

Tratamento de erros

O resultado é disponibilizado encapsulado como ara::core::Result<CertificateValidationResult::Sptrc>, contendo um ponteiro para o resultado da validação ou um código de erro [SWS_CRYPT_50123]. O erro ara::crypto::CryptoErrc::kIncompatibleArguments ocorre com semântica de rollback se uma resposta OCSP foi definida previamente via AddOcspResponse, mas os CertificateValidationOptions atuais não definem nenhum comportamento de OCSP [SWS_CRYPT_50123]. Outras causas de erro são reportadas como códigos de erro específicos da implementação [SWS_CRYPT_50123].

Simultaneidade e segurança de execução

A interface é declarada como noexcept, considerada segura contra exceções (exception safe) e classificada como segura para threads (thread-safe) para acesso concorrente [SWS_CRYPT_50123].