класс ara::crypto::x509::CertificateValidationCtx

Использование

Метод AddOcspResponse класса ara::crypto::x509::CertificateValidationCtx валидирует переданный ответ 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].

Параллелизм и ограничения

Операция специфицирована как thread-safe и exception-safe [SWS_CRYPT_50124]. Для успешной валидации ответа OCSP должно выполняться одно из следующих условий [SWS_CRYPT_50124]:

• Издатель был ранее сохранён в контексте как доверенный или несанкционированный сертификат [SWS_CRYPT_50124].
• Подпись исходит от сертификата с установленным расширением id-kp-OCSPSigning того же центра сертификации (CA) [SWS_CRYPT_50124].
• Подпись исходит от доверенного CA, переданного напрямую через trustedOcspIssuerCertificate [SWS_CRYPT_50124].

Взаимодействие

Зарегистрированные ответы OCSP учитываются в последующих проверках валидации, таких как выполняемые [SWS_CRYPT_50122] (ValidateCertificate) и [SWS_CRYPT_50123] (ValidateCertificateChain). Интерпретация: по всей видимости, ответы OCSP должны добавляться до запуска валидации пути, чтобы можно было учесть статус отзыва сертификатов. Вопрос Q-fbb0711617fd7895 (открытый)

Метод AddTrustedCertificate класса ara::crypto::x509::CertificateValidationCtx дополняет набор доверенных сертификатов для последующих валидаций ещё одним сертификатом [SWS_CRYPT_50117].

Использование

Вызов осуществляется через интерфейс в ara/crypto/x509/certificate_validation_ctx.h. В качестве параметра передаётся trustedCertificate типа Certificate::Sptrc, который считается доверенным при валидации пути сертификации [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, в то время как не vàлидные/недоверенные сертификаты игнорируются [SWS_CRYPT_50123].
• В AddOcspResponse ранее установленный в контексте доверенный сертификат может привлекаться в качестве издателя для проверки действительности OCSP-ответа [SWS_CRYPT_50124].

Метод AddUntrustedCertificate типа контекста ara::crypto::x509::CertificateValidationCtx добавляет недоверенный сертификат ко множеству ранее зарегистрированных сертификатов, чтобы он мог быть учтен во время валидации пути сертификации [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].

Использование

Метод IgnoreCriticalExtension для [SWS_CRYPT_50119] конфигурирует экземпляр ara::crypto::x509::CertificateValidationCtx таким образом, чтобы конкретное расширение сертификата игнорировалось при проверке сертификатов, а также ответов OCSP. Это справедливо и в том случае, если расширение помечено как критическое и изначально не поддерживается контекстом валидации. Параметр ignoredExtensionOid принимает OID игнорируемого расширения как ara::core::StringView. Многократные вызовы приводят к тому, что игнорируются OID всех переданных расширений. Выполнение происходит синхронно и объявлено как noexcept.

Обработка ошибок и параллелизм

Функция не специфицирует стандартизированных кодов ошибок; в случае успеха она возвращает пустое ara::core::Result<void>, тогда как в случае ошибки содержится код ошибки, специфичный для реализации [SWS_CRYPT_50119]. В отношении параллелизма интерфейс специфицирован как потокобезопасный (thread-safe) и безисключительный (exception safe).

Ограничения и взаимодействие

Если критическое расширение игнорируется, содержательная валидация этого расширения полностью лежит на ответственности приложения [SWS_CRYPT_50119]. Если установлен параметр валидации kIgnoreUnknownCriticalExtensions, вызов не оказывает дополнительного действия. Пропуск неподдерживаемых критических расширений, по-видимому, предотвращает сбой последующей проверки пути в рамках [SWS_CRYPT_40203] (например, при определении CertificateValidationStatus). Вопрос Q-a087c9a9543c092a (открытый)

Использование

Метод SetValidationOptions класса ara::crypto::x509::CertificateValidationCtx служит согласно [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, вследствие чего выброс исключений через границу интерфейса запрещён.

Метод ValidateCertificate класса ara::crypto::x509::CertificateValidationCtx из заголовочного файла ara/crypto/x509/certificate_validation_ctx.h выполняет синхронную валидацию пути сертификации согласно RFC 5280 [SWS_CRYPT_50122]. Проверка валидации осуществляется на основе предварительной конфигурации контекста экземпляра. В качестве единственного входного параметра проверяемый сертификат передаётся через указатель certificate типа Certificate::Sptrc [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].

Метод ValidateCertificateChain в контексте ara::crypto::x509::CertificateValidationCtx выполняет синхронную валидацию пути цепочки сертификатов согласно 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]. Ошибка ara::crypto::CryptoErrc::kIncompatibleArguments возникает с семантикой отката, если ранее через AddOcspResponse был установлен OCSP-ответ, однако текущие CertificateValidationOptions не определяют поведение OCSP [SWS_CRYPT_50123]. Другие причины ошибок возвращаются в виде зависимых от реализации кодов ошибок [SWS_CRYPT_50123].

Параллелизм и надёжность выполнения

Интерфейс объявлен как noexcept, считается безопасным к исключениям (exception safe) и классифицирован как потокобезопасный (thread-safe) для параллельного доступа [SWS_CRYPT_50123].