Безопасная проверка http4k DigestAuth nonce verifier по ghsa-c7jm-38gq-h67h: применимость, обратимый fixture, nonce-class / age / seen-before / verifier-result / auth-result, pass-rule и stop-rule без production-данных.
Проверьте применимость к http4k DigestAuth nonce verifier
Сначала зафиксируйте package source, точную runtime version, build digest, provenance commit и достижимость компонента http4k DigestAuth nonce verifier. GitHub Reviewed Advisory ghsa-c7jm-38gq-h67h опубликована 2026-06-19, обновлена 2026-06-19 и описывает механизм «http4k: `ServerFilters.DigestAuth` / `DigestAuthProvider` defaulted to an always-true nonce verifier, disabling replay protection in default deployments». Ecosystem boundary записи: «maven/org.http4k:http4k-security-digest >= 6.0.0.0, < 6.48.0.0; first patched 6.48.0.0». Диапазон служит фильтром, но не доказывает наличие затронутого кода в fork или сборке с backport. Отдельно отметьте feature flag, роль вызывающего субъекта и самый ранний чувствительный side effect. При неизвестной provenance результат остаётся unknown: нельзя заявлять эксплуатацию, распространённость, ущерб или поисковый спрос только по advisory.
Сформулируйте invariant: nonce связан со сроком жизни и состоянием использования, а ошибка verifi
Узкая пользовательская боль этого материала: default verifier принимает старый или повторный nonce и не отличает replay от первого запроса. Защитный invariant: nonce связан со сроком жизни и состоянием использования, а ошибка verifier ведёт к deny. Он проверяется раньше read, write, send, execute, cache commit, credential issue или выдачи identity. Заранее запишите pass-rule: только первый свежий nonce проходит, repeated, expired и unknown отклонены. Это самостоятельный ответ, потому что наблюдает собственную trust boundary и не подменяет её общим советом «обновитесь». Решающий артефакт — nonce-class / age / seen-before / verifier-result / auth-result; он не должен содержать имена, адреса, токены, содержимое рабочих объектов или иные персональные данные.
Соберите обратимый fixture для http4k DigestAuth nonce verifier
Безопасный опыт: С фиксированными clock и nonce store проверить valid-first, repeated, expired и unknown nonce; credential и HTTP-сервер не нужны. Все идентификаторы и данные синтетические; filesystem ограничен mkdtemp, persistence — memory adapter либо rollback transaction, сеть выключена или loopback-only. Добавьте безопасный контроль, один boundary case и recording adapter для чувствительного действия. До запуска сохраните digest входа и ожидаемую строку матрица решения; после — observed class, counters, final-state digest и cleanup proof. Не нужен эксплуатационный payload, массовый перебор, нагрузка или изменение production.
Заполните nonce-class / age / seen-before / verifier-result / auth-result
Читайте колонки «nonce-class / age / seen-before / verifier-result / auth-result» в причинном порядке, не ограничиваясь HTTP status или отсутствием exception. Сначала подтвердите, что безопасный контроль прошёл ту же ветвь, затем найдите stage, где policy приняла решение, и отдельно отметьте любой side effect. Green возможен только когда выполнено правило «только первый свежий nonce проходит, repeated, expired и unknown отклонены», состояние после cleanup совпадает с исходным, а альтернативное объяснение исключено. Если результат зависит от порядка, используйте один детерминированный interleaving и небольшой повтор; статистический стресс не заменяет доказательство механизма.
Сопоставьте исправление с механизмом, а не с номером
Patch provenance должна менять именно правило «nonce связан со сроком жизни и состоянием использования, а ошибка verifier ведёт к deny». Сравните affected и candidate build на одном fixture, сохранив одинаковые input digest и nonce-class / age / seen-before / verifier-result / auth-result. Boundary «maven/org.http4k:http4k-security-digest >= 6.0.0.0, < 6.48.0.0; first patched 6.48.0.0» помогает выбрать сборку, но версия сама по себе не подтверждает backport и reachability. Если upstream не записал first patched version для конкретной ecosystem entry, опирайтесь на commit/release provenance и не выдумывайте номер. Эта проверка не разрешает rollout: production update требует отдельного backup, canary, readiness, журналов и rollback.
Остановитесь до пересечения privacy и production boundary
Stop-rule: не перехватывать реальный Authorization header и не тестировать внешний endpoint. Немедленно завершите опыт при внешнем адресе, настоящем credential, privilege prompt, данных вне fixture, необратимой записи, неожиданном росте ресурсов, отсутствии безопасный контроль или невозможности cleanup. Такой исход помечается blocked, а не «почти прошёл». В support packet включите ghsa-c7jm-38gq-h67h, product/component, version/build provenance, boundary «maven/org.http4k:http4k-security-digest >= 6.0.0.0, < 6.48.0.0; first patched 6.48.0.0», обезличенную строку «nonce-class / age / seen-before / verifier-result / auth-result», expected/observed, stop reason и две прямые source URL. Payload, секреты, чужие логи, конфигурации и приватные ссылки не прикладывайте.
Завершите явным деревом решения
Дерево решения для http4k DigestAuth nonce verifier: доказана patched/non-affected provenance — not-applicable; ветвь недостижима по проверенной конфигурации — not-reachable; candidate выполняет «только первый свежий nonce проходит, repeated, expired и unknown отклонены» — ready-for-reviewed-update; наблюдается «default verifier принимает старый или повторный nonce и не отличает replay от первого запроса» — fail и эскалация владельцу компонента; недостаточно данных — unknown. К листу приложите одну строку из «nonce-class / age / seen-before / verifier-result / auth-result» и cleanup proof. Никакой лист не означает универсальную безопасность, факт атаки, обещание индексации или разрешение проверять чужую систему.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые ссылки, безопасный fixture, privacy-ограничения и отсутствие рекламных обещаний затем перепроверены по первичным источникам.
Источники и проверка
- GitHub Reviewed Advisory ghsa-c7jm-38gq-h67h проверено 2026-08-31
- Upstream security advisory http4k DigestAuth nonce verifier проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.