Видалення людини із зашифрованої групи має припинити отримання нею секретів, потрібних для майбутніх захищених повідомлень. Саме лише змінення списку учасників цього не забезпечує, якщо решта відправників продовжує використовувати ключовий матеріал, уже відомий колишньому учаснику.
Перехід також не відбувається миттєво в усій ненадійній мережі. Безпечна архітектура групи має визначати, якому стану складу учасників належить повідомлення та що робить відправник, доки він ще не обробив видалення.
Минулі та майбутні повідомлення — різні завдання
Колишній учасник може зберегти повідомлення, файли й ключі, отримані, коли він мав дозвіл. Видалення не змусить його забути історію та не зітре його знімки екрана.
Досяжна мета — виключити його з нового криптографічного стану після набуття видаленням чинності. Так само додавання людини ставить окреме питання: чи отримає вона доступ до старої історії. Продукти й протоколи використовують такі терміни, як пряма секретність, у різних контекстах, тому простий опис запланованого правила доступу часто зрозуміліший за неоднозначну назву.
Чому групам із ключами відправників потрібен новий стан
В архітектурі з ключами відправників кожен учасник може шифрувати звичайні групові повідомлення за допомогою ланцюжка, спільного з дозволеними одержувачами. Це дає змогу уникнути окремого шифрування всього вмісту для кожного одержувача під час кожного надсилання.
Після видалення колишній учасник усе ще може володіти старим ланцюжком. Тому решті відправників потрібен новий стан, який не розповсюджується виключеному учаснику, а клієнтам — узгоджений контекст складу для його використання. Ротація має охоплювати відповідних відправників і пристрої; зміни одного прапорця на сервері недостатньо.
Конкретний протокол має значення. MLS, визначений у RFC 9420, обробляє видалення через зафіксовану зміну епохи, що надає решті учасників нову ентропію. Це приклад визначеного переходу стану, а не твердження, що Livara реалізує MLS.
Що Livara документує для LGS1
Сторінка безпеки Livara описує один підписаний ланцюжок відправника на кожного відправника, а ключі відправників поширюються через попарні сеанси LVR1. У ній зазначено, що під час зміни складу створюються й поширюються нові ключі відправників.
Це підтримує твердження про опубліковану архітектуру оновлення ключів. Проте не встановлює виміряного часу «миттєвого відкликання» й не доводить правильної обробки кожної гонки, сценарію з офлайн-пристроєм та повторної спроби. Для цього потрібні аналіз реалізації та випробування.
Серверний контроль складу й криптографічне виключення також виконують різні завдання. Сервіс може відмовити в доставці або доступі, а шифрування має завадити виключеній стороні, яка має копію пізнішого шифротексту, відкрити його без нових секретів.
Корисний план перевірки видалення
У тестовій групі, для якої отримано дозвіл, перевірте ці сценарії з неконфіденційними повідомленнями:
| Сценарій | Питання, на яке треба відповісти |
|---|---|
| Учасника видалено, коли всі онлайн | Яке повідомлення першим належить новому стану складу? |
| Один із решти відправників офлайн | Чи мусить він оновити склад і ключі перед наступним надсиланням? |
| Видалений учасник підключається пізніше | Чи може він отримати нові розсилання ключів відправників або лише старий дозволений вміст? |
| Одночасно змінюються кілька учасників | Чи сходяться всі пристрої, що залишилися, до одного стану? |
| Старе повідомлення надсилається повторно | Чи зберігається його початкова епоха замість помилкового позначення як нового вмісту? |
Перевірка лише інтерфейсу може підтвердити видиму поведінку, але сама по собі не доводить криптографічного виключення. Ретельне оцінювання має досліджувати, які ключі й шифротексти може отримати виключений тестовий пристрій.
Що варто пам’ятати адміністраторам
Видаляйте непотрібних учасників, перевіряйте решту складу й не надсилайте нові конфіденційні матеріали, доки застосунок не обробить зміну. Якщо чинний учасник навмисно пересилає вміст, оновлення ключів групи не може запобігти такому розкриттю.
Для особливо чутливого використання запитайте в постачальника точні правила видалення, поведінку під час відкликання пристроїв і докази випробувань. Важлива обіцянка — чітко визначена межа для майбутніх повідомлень, а не непідтверджене твердження, що кнопка видалення знищує всі минулі копії.
