Birini şifreli bir gruptan kaldırmak, gelecekteki korumalı mesajlar için gereken sırları almasını durdurmalıdır. Kalan göndericiler eski üyenin zaten bildiği anahtar malzemesini kullanmaya devam ederse yalnızca üye listesini değiştirmek bunu sağlamaz.
Geçiş, güvenilmez bir ağda da anlık değildir. Güvenli grup tasarımı, bir mesajın hangi üyelik durumuna ait olduğunu ve göndericinin kaldırma işlemini henüz işlemeden önce ne yapacağını tanımlamalıdır.
Geçmiş ve gelecekteki mesajlar farklı sorunlardır
Eski üye, yetkili olduğu sırada aldığı mesajları, dosyaları ve anahtarları saklayabilir. Kaldırma işlemi o kişiye geçmişi unutturamaz veya ekran görüntülerini silemez.
Ulaşılabilir hedef, onu kaldırma yürürlüğe girdikten sonraki yeni kriptografik durumdan dışlamaktır. Benzer biçimde birini eklemek de ayrı bir soruyu gündeme getirir: eski geçmişe erişim alıp almayacağı. Ürünler ve protokoller forward secrecy gibi terimleri farklı bağlamlarda kullandığından, amaçlanan erişim kuralının açık bir açıklaması çoğu zaman belirsiz bir etiketten daha anlaşılırdır.
Gönderici anahtarlı gruplar neden yeni duruma ihtiyaç duyar?
Bir gönderici anahtarı tasarımında, her katılımcı sıradan grup mesajlarını izin verilen alıcılarla paylaşılan bir zincirle şifreleyebilir. Böylece her gönderimde tüm içeriği her alıcı için ayrı ayrı şifrelemekten kaçınılabilir.
Kaldırmadan sonra eski üye hâlâ eski zincire sahip olabilir. Bu nedenle kalan göndericilerin dışlanan üyeye dağıtılmayan yeni bir duruma, istemcilerin de bunu kullanmak için üzerinde uzlaşılmış bir üyelik bağlamına ihtiyacı vardır. Rotasyon ilgili göndericileri ve cihazları kapsamalıdır; sunucu tarafındaki tek bir bayrağı değiştirmek yeterli değildir.
Protokolün ayrıntısı önemlidir. RFC 9420'de belirtilen MLS, kaldırmayı kalan üyelere yeni entropi sağlayan, kesinleştirilmiş bir dönem değişikliğiyle ele alır. Bu, tanımlı bir durum geçişi örneğidir; Livara'nın MLS uyguladığı iddiası değildir.
Livara LGS1 için ne belgeliyor?
Livara'nın güvenlik sayfası, her gönderici için bir imzalı gönderici zinciri ve ikili LVR1 oturumları üzerinden dağıtılan gönderici anahtarları tanımlar. Üyelik değiştiğinde yeni gönderici anahtarlarının oluşturulup dağıtıldığını belirtir.
Bu, yayımlanan yeniden anahtarlama tasarımı hakkındaki bir iddiayı destekler. Ölçülmüş bir “anında iptal” süresi ortaya koymaz ve her yarış durumunun, çevrimdışı cihaz senaryosunun ve yeniden denemenin doğru işlendiğini kanıtlamaz. Bunlar uygulama analizi ve test gerektirir.
Sunucu tarafı üyelik kontrolleri ile kriptografik dışlamanın görevleri de farklıdır. Hizmet teslimatı veya erişimi reddedebilir; şifreleme ise daha sonraki şifreli metnin bir kopyasına sahip dışlanmış tarafın yeni sırlar olmadan onu açmasını engellemelidir.
Yararlı bir kaldırma test planı
Yetkili bir test grubunda, hassas olmayan mesajlarla şu senaryoları kontrol edin:
| Senaryo | Yanıtlanması gereken soru |
|---|---|
| Herkes çevrimiçiyken üye kaldırılır | Yeni üyelik durumu altındaki ilk mesaj hangisidir? |
| Kalan göndericilerden biri çevrimdışıdır | Yeniden göndermeden önce üyeliği ve anahtarları yenilemesi gerekir mi? |
| Kaldırılan üye daha sonra yeniden bağlanır | Yeni gönderici anahtarı dağıtımlarını mı, yoksa yalnızca eskiden yetkili olduğu içeriği mi alabilir? |
| Birkaç üyelik değişikliği aynı anda olur | Kalan tüm cihazlar aynı duruma ulaşır mı? |
| Eski bir mesaj yeniden denenir | Yeni içerik diye yanlış etiketlenmek yerine özgün dönemi korunur mu? |
Yalnızca arayüze dayanan bir test görünür davranışı doğrulayabilir, ancak tek başına kriptografik dışlamayı kanıtlayamaz. Titiz bir değerlendirme, dışlanmış test cihazının hangi anahtarları ve şifreli metinleri elde edebildiğini incelemelidir.
Yöneticiler neyi hatırlamalı?
Gereksiz katılımcıları kaldırın, kalan üyeliği gözden geçirin ve uygulama değişikliği işleyene kadar yeni hassas materyal göndermeyin. Mevcut bir katılımcı içeriği kasıtlı olarak iletirse grubun yeniden anahtarlanması bu ifşayı önleyemez.
Çok hassas kullanım için sağlayıcıdan kaldırmanın kesin kurallarını, cihaz yetkisi iptal davranışını ve test kanıtlarını isteyin. Önemli vaat, bir kaldırma düğmesinin tüm geçmiş kopyaları yok ettiği yönündeki dayanaksız iddia değil, gelecekteki mesajlar için iyi tanımlanmış bir sınırdır.
