Summary

  • BoF CURRENT обсуждал MLS для управления ключами record layer TLS 1.3, но группа не chartered; протокол IETF 126 говорит, что постановка задачи ещё не была достаточно понятна.
  • В двустороннем профиле применившая commit сторона отправляет аутентифицированный EpochKeyUpdate; инициатор не активирует ожидающее состояние до проверки подтверждения.
  • Отправка обновления, локальная установка, удаление старого секрета и успех приложения в новой эпохе — разные квитанции.

Два честных локальных состояния

A отправляет ConnectionUpdate. B проверяет и применяет commit, возвращает EpochKeyUpdate и начинает использовать новый материал. Запись B правдива. A остаётся в Awaiting EpochKeyUpdate и не делает временное состояние текущим, пока не проверит ответ состоянием, полученным из ожидающего commit.

Такая асимметрия не ошибка. Она запрещает выдавать локальное действие за доказательство удалённого принятия. Ошибка появляется, когда панель сворачивает цепочку в «ротация завершена».

Оба основных документа — индивидуальные Internet-Draft версии 01 без RFC stream. CURRENT остаётся незачартерованным BoF. В Вене спорили о границах задачи, соответствии двустороннего протокола многосторонним сценариям и возможностях уже существующих расширений TLS. Это предложение, а не утверждённая архитектура.

PCS возникает после обработки

RFC 9420 прямо говорит: Update proposal сам по себе не даёт post-compromise security. Он должен войти в Commit и быть обработан участниками. Forward secrecy требует также удаления старых приватных и использованных message keys.

Проекты экспортируют секреты MLS в TLS record layer и двигают эпоху in-band commits. Подтверждение доказывает знание нового состояния, но не удаление всех старых копий, прекращение доступа атакующего, действительность identity или непрерывность приложения.

Метка «PCS поддерживается» называет свойство конструкции, но не отмечает момент закрытия окна компрометации.

Коллизия и возобновление оставляют разные пути

При одновременных обновлениях начальные роли разрешают конфликт: одна сторона игнорирует конкурирующий commit, другая отбрасывает свой pending commit и применяет peer-версию. При возобновлении pending commit может быть передан снова, а уже применённый нельзя применять повторно. Определение разрыва оставлено транспорту.

Один конечный номер эпохи стирает разницу между обычным подтверждением, коллизией, повтором и возобновлением. После этого нельзя восстановить срок жизни старого материала.

Восемь квитанций

Minimum Initial Specification Лу Хэна ограничивает общий слой детерминированными сообщениями и переходами. Running-Code Primacy ставит выше реально проверенное, установленное и удалённое состояние. Следует разделять создание, отправку, удалённую аутентификацию, удалённое применение, ответ, локальную установку, удаление старого и первую запись приложения в новой эпохе.

Сам текст сохраняет TODO для полного security analysis, cross-protocol separation и части framing. BoF начинает работу, но не удостоверяет результат.

Источники и ограничения

Источники не доказывают chartered WG, консенсус IETF, принятый WG draft, RFC, завершённый анализ, интероперабельность, внедрение, измеренное восстановление, рабочий PQC, инцидент или результат сервиса.