Удаление человека из зашифрованной группы должно прекратить получение им секретов, необходимых для будущих защищённых сообщений. Одно изменение списка участников этого не обеспечивает, если оставшиеся отправители продолжают использовать ключевой материал, уже известный бывшему участнику.
Переход также не происходит мгновенно во всей ненадёжной сети. Безопасная архитектура группы должна определять, к какому состоянию состава относится сообщение и что делает отправитель, пока он ещё не обработал удаление.
Прошлые и будущие сообщения — разные задачи
Бывший участник может сохранить сообщения, файлы и ключи, полученные, пока он был уполномочен. Удаление не заставит его забыть историю и не сотрёт его снимки экрана.
Достижимая цель — исключить его из нового криптографического состояния после вступления удаления в силу. Аналогично добавление человека ставит отдельный вопрос: получит ли он доступ к старой истории. Продукты и протоколы используют такие термины, как прямая секретность, в разных контекстах, поэтому простое описание предполагаемого правила доступа часто понятнее неоднозначного ярлыка.
Почему группам с ключами отправителей нужно новое состояние
В архитектуре с ключами отправителей каждый участник может шифровать обычные групповые сообщения с помощью цепочки, общей с разрешёнными получателями. Это позволяет избежать отдельного шифрования всего содержимого для каждого получателя при каждой отправке.
После удаления бывший участник всё ещё может владеть старой цепочкой. Поэтому оставшимся отправителям нужно заменяющее состояние, которое не передаётся исключённому участнику, а клиентам — согласованный контекст состава для его использования. Ротация должна охватывать соответствующих отправителей и устройства; изменения одного флага на сервере недостаточно.
Важен конкретный протокол. MLS, определённый в RFC 9420, обрабатывает удаление через зафиксированную смену эпохи, предоставляющую оставшимся участникам новую энтропию. Это пример определённого перехода состояния, а не утверждение, что Livara реализует MLS.
Что Livara документирует для LGS1
Страница безопасности Livara описывает одну подписанную цепочку отправителя на каждого отправителя, причём ключи отправителей распространяются через попарные сеансы LVR1. В ней сказано, что при изменении состава создаются и распространяются новые ключи отправителей.
Это поддерживает утверждение об опубликованной архитектуре смены ключей. Но не устанавливает измеренное время «мгновенного отзыва» и не доказывает правильной обработки каждой гонки, сценария с офлайн-устройством и повторной попытки. Для этого нужны анализ реализации и испытания.
Серверный контроль состава и криптографическое исключение также выполняют разные задачи. Сервис может отказать в доставке или доступе, а шифрование должно мешать исключённой стороне, получившей копию последующего шифротекста, открыть его без новых секретов.
Полезный план проверки удаления
В тестовой группе, для которой получено разрешение, проверьте следующие сценарии с неконфиденциальными сообщениями:
| Сценарий | Вопрос, который нужно разрешить |
|---|---|
| Участник удалён, когда все онлайн | Какое сообщение первым относится к новому состоянию состава? |
| Оставшийся отправитель офлайн | Обязан ли он обновить состав и ключи перед следующей отправкой? |
| Удалённый участник подключается позже | Может ли он получить новые рассылки ключей отправителей или только старое разрешённое содержимое? |
| Одновременно меняются несколько участников | Сходятся ли все оставшиеся устройства к одному состоянию? |
| Старое сообщение отправляется повторно | Сохраняется ли исходная эпоха вместо ошибочной маркировки как нового содержимого? |
Проверка только интерфейса может подтвердить видимое поведение, но сама по себе не доказывает криптографическое исключение. Строгая оценка должна изучать, какие ключи и шифротексты может получить исключённое тестовое устройство.
Что следует помнить администраторам
Удаляйте ненужных участников, проверяйте оставшийся состав и не отправляйте новые конфиденциальные материалы, пока приложение не обработает изменение. Если действующий участник намеренно пересылает содержимое, смена групповых ключей не предотвратит такое раскрытие.
Для особо конфиденциального использования запросите у провайдера точные правила удаления, поведение при отзыве устройств и результаты испытаний. Важное обещание — чётко определённая граница для будущих сообщений, а не неподтверждённое заявление, что кнопка удаления уничтожает все прошлые копии.
