Аудит и выбор криптографических зависимостей

Выбор криптографической библиотеки — одно из самых важных решений в области безопасности для проекта. Даже добросовестные разработчики, использующие плохую библиотеку, могут создать небезопасные системы. И наоборот, хорошо спроектированная библиотека затрудняет совершение катастрофических ошибок. Процесс выбора должен быть систематическим и учитывать историю безопасности, проектирование API, состояние сопровождения и соответствие назначению.

Один из первых вопросов о любой криптографической библиотеке — когда её в последний раз независимо проверяли и что именно охватывал этот аудит. Аудит версии 1.0, проведённый пять лет назад, даёт меньше уверенности в безопасности версии 3.0, используемой сегодня. Ищите аудиты, проведённые известными компаниями в области безопасности (NCC Group, Trail of Bits, Quarkslab, Cure53), которые охватывают конкретные функции, планируемые к использованию. Некоторые библиотеки публикуют отчёты об аудитах; отсутствие какого-либо аудита — существенный фактор риска.

Изучите историю CVE библиотеки в NVD (Национальной базе данных уязвимостей). Обратите внимание на количество CVE, оценки их серьёзности, классы представленных ими уязвимостей (логические ошибки, повреждение памяти или слабости алгоритмов) и скорость выпуска исправлений разработчиками. Библиотека с редкими CVE, которые оперативно устраняются, демонстрирует ответственное сопровождение. Большое количество CVE высокой серьёзности или медленный выпуск исправлений — тревожный сигнал.

Криптографические библиотеки без сопровождения опасны. Проверьте дату последнего коммита, частоту выпусков и устраняются ли проблемы, указанные в уведомлениях безопасности. У библиотеки, последний коммит которой был три года назад, могут быть известные уязвимости, которые уже никогда не исправят. Размер сообщества важен для широты проверки: широко используемые библиотеки получают больше внимания исследователей безопасности, чем нишевые проекты.

Для безопасности лучше использовать меньший и более строго определённый набор API. Библиотеки, предоставляющие множество вариантов алгоритмов и параметров конфигурации, создают возможности для неправильной настройки. Сравните libsodium, где для каждого сценария предусмотрена одна функция и алгоритм фиксирован, с OpenSSL EVP, где отдельно выбираются шифр, режим, размер ключа, дополнение и обработка вектора инициализации. Чем сложнее неправильно использовать библиотеку, тем лучше она подходит для проектов, ориентированных на безопасность.

Операции с секретными данными, такие как сравнение ключей, расшифрование и проверка подписей, должны использовать алгоритмы с постоянным временем выполнения, которые не выполняют ветвления и не обращаются к памяти в зависимости от секретных значений. Убедитесь, что документация библиотеки явно заявляет о гарантии постоянного времени для чувствительных операций, либо проверьте, что в исходном коде используются одобренные функции сравнения за постоянное время. Библиотеки без такой гарантии уязвимы к атакам по времени выполнения через побочный канал.

Хорошая криптографическая библиотека должна поддерживать современные алгоритмы и планировать отказ от устаревших. Она должна предлагать ChaCha20-Poly1305 или AES-256-GCM для шифрования, Ed25519 или ECDSA P-256 для подписей, X25519 для обмена ключами и Argon2id для хеширования паролей. Библиотеки, предлагающие только устаревшие алгоритмы (DES, RC4, MD5, SHA-1), не подходят для новых развёртываний независимо от остальных своих качеств.

Оцените транзитивные зависимости: от каких библиотек зависит ваша криптографическая библиотека и насколько надёжны они с точки зрения безопасности? Библиотека без внешних зависимостей, например libsodium, несёт минимальный риск для цепочки поставок. Библиотека, зависящая от десятка пакетов npm, у каждого из которых есть собственные зависимости, имеет широкую поверхность атаки в цепочке поставок. Проверьте, использует ли библиотека воспроизводимые сборки, чтобы можно было убедиться в соответствии распространяемого двоичного файла исходному коду.

Регулируемые отрасли — здравоохранение, финансы и государственный сектор — часто требуют криптографических модулей, прошедших валидацию FIPS 140-2 или 140-3. Валидация FIPS требует больших затрат и времени, поэтому её прошли лишь некоторые библиотеки. OpenSSL с провайдером FIPS, BoringCrypto (используемый в crypto/tls языка Go) и некоторые библиотеки HSM прошли валидацию FIPS. Если для вашего развёртывания требуется соответствие FIPS, это требование существенно сужает выбор библиотек.

Аппаратные модули безопасности (HSM) и облачные службы KMS часто предоставляют закрытые API для операций с ключами. Тесная привязка приложения к AWS KMS или конкретному поставщику HSM создаёт риск зависимости от поставщика. Оцените, предоставляет ли библиотека уровни абстракции, например интеграцию Tink с KMS, позволяющие менять поставщиков. Также учитывайте, что прекращение поддержки со стороны поставщика HSM или повышение им цен может привести к значительным затратам на миграцию.

Самое важное правило при выборе криптографических зависимостей: используйте известные и широко применяемые библиотеки, реализующие общепринятые стандарты, и никогда не реализуйте криптографические примитивы самостоятельно. Как бы хорошо Вы ни понимали теорию, правильная реализация AES, RSA, операций с эллиптическими кривыми или аутентифицированного шифрования в рабочем коде чрезвычайно сложна и почти никогда не оправдывает связанный с этим риск по сравнению с использованием проверенной библиотеки.

Контрольный список для выбора библиотеки: проверьте охват и отчёт недавнего независимого аудита, изучите историю CVE и время реакции на выпуск исправлений, убедитесь в активном сопровождении и взаимодействии с сообществом, отдавайте предпочтение меньшему объёму API, устойчивому к неправильному использованию, подтвердите гарантии постоянного времени для чувствительных операций, убедитесь в поддержке современных алгоритмов, оцените зависимости цепочки поставок, проверьте валидацию FIPS при наличии нормативных требований, учтите риск зависимости от поставщика KMS и всегда используйте проверенные библиотеки вместо самостоятельной реализации примитивов.