Yalnızca ağaç diyagramıyla gönderici anahtarı diyagramını değil, tanımlanmış bir işlemin maliyetini ve tanımlanmış bir tehdide ilişkin kanıtları karşılaştırın.
Messaging Layer Security (MLS) ve Livara'nın LGS1'i, grup sohbeti güvenliğine ilişkin birbirinin yerine geçen iki sertifika değildir. MLS bir IETF protokol standardıdır; LGS1 ise Livara'nın belgelenmiş, ürüne özgü tasarımıdır. Adil karşılaştırma, mimariyi, uygulama kanıtlarını ve kullanıcıların gerçekten deneyimlediği davranışı ayırmayı gerektirir.
Temel ayrım, ağaç tabanlı ortak grup durumu ile ikili oturumlar üzerinden dağıtılan gönderici anahtarlarıdır. Etiketlerden hiçbiri tek başına belirli bir uygulamanın çıkarılmış üyeyi, güncelliğini yitirmiş cihazı veya ele geçirilmiş anahtarı doğru işleyip işlemediğini söylemez.
Mimari fark
RFC 9420, asenkron grup anahtarı kurulumu için MLS'yi tanımlar. Ratchet ağacı ve grup dönemleri kullanır; belirtilen koşullar altında ileri gizlilik ve ele geçirilme sonrası güvenlik sağlar. Ağaç yapısı, grup büyüdükçe bazı anahtar güncelleme maliyetlerini azaltır.
Livara'nın güvenlik belgeleri, LGS1'i her üye için imzalı bir gönderici zinciri olarak tanımlar; zincirler ikili LVR1 oturumları üzerinden dağıtılır ve üyelik değişimlerinde yenilenir. Bu bir ürün iddiasıdır; LGS1'in MLS'ye uyduğunun veya aynı analize sahip olduğunun kanıtı değildir.
| Soru | MLS | Livara LGS1 belgeleri |
|---|---|---|
| Ortak yapı | Ratchet ağacı ve dönemler | Gönderici başına zincirler |
| Anahtar güncellemeleri | Grup durumu değişikliklerinin yeni bir dönemde kesinleştirilmesi | Yeni gönderici anahtarlarının üyelere dağıtılması |
| Belirtim durumu | IETF standardı, RFC9420 | Ürüne özgü yayımlanmış açıklama |
| Hâlâ değerlendirilmesi gerekenler | Uygulama entegrasyonu ve gerçekleştirim | Tam belirtim, gerçekleştirim ve bağımsız kanıtlar |
Bu tablo tasarım kategorilerini açıklar. Performans testi veya güvenlik sıralaması değildir.
“Logaritmik” ne anlama gelir, ne anlama gelmez?
Kriptografik bir güncelleme, sistemdeki bütün işi logaritmik hâle getirmeden, logaritmik sayıda şifreli ağaç yolu bileşeni kullanabilir. Mesajların yine dağıtılması gerekir, istemciler durum tutar ve davranış grup yapısına ve işlemlere bağlıdır. “MLS O(log N) mesaj gerektirirken LGS1'de her şey daha hızlıdır” şeklindeki eski karşılaştırma, farklı maliyetleri karıştırıyor ve ölçüm sunmuyordu.
MLS mimarisi, RFC 9750, teslim hizmetini kriptografik anahtar kurulumundan ayrı ele alır. Mesaj dağıtımını ve grup değişikliklerinin sıralanmasını tartışır. Bu ayrım önemlidir: istemci hesaplaması, commit içindeki baytlar, sunucunun toplam dağıtım yükü ve yeniden bağlanma trafiği farklı ölçütlerdir.
Anlamlı bir performans raporu şunları belirtmelidir:
- grup büyüklüğü ve kişi başına cihaz sayısı;
- işlemin normal mesaj, üye çıkarma, anahtar güncellemesi veya yeniden bağlanma olup olmadığı;
- başlatıcı istemcinin gönderdiği baytlar ile toplam teslim trafiğinin karşılaştırması;
- geçen süre, cihaz modeli, gerçekleştirim sürümü ve ağ koşulları;
- kaçırılan güncellemelerin ve tekrarlanan üyelik değişikliklerinin maliyeti.
Bu ayrıntılar olmadan “milisaniyeler”, “düşük durum ek yükü” veya belirli grup büyüklüğünde üstünlük iddiaları ortaya konmuş değildir.
Üye çıkarmak bir yaşam döngüsü testidir
Bir yöneticinin hesabı çıkarması, güvenlik konusunun yalnızca bir parçasıdır. İstemciler yeni üyelik durumu üzerinde anlaşmalı, uygun yeni anahtarları kullanmalı ve bu anahtarları dışlanan cihazlara vermemelidir. Eski açık metne veya eski anahtarlara zaten sahip olan kişi, eski içeriğe erişimini koruyabilir; çıkarma işlemi kopyalarını yok edemez.
Her iki sistem için de yararlı bir test şunu sorar: çıkarma tamamlandıktan sonra, çıkarılmış cihaz hassas olmayan yeni bir test mesajını çözebilir mi? Çevrimdışı olan üye güvenle güncel duruma yetişebilir mi? Hesaba ait tüm cihazlar ele alınıyor mu? Arayüz hataları veya üyelik değişikliklerini görünür kılıyor mu?
Bunlar önerilen değerlendirme sorularıdır; burada yapılmış testlerin sonuçları değildir. Ürün karşılaştırması, başarılı bir yönetici tıklamasını kriptografik dışlamayla eşitlemek yerine gözlenen sonucu ve test sürümünü yayımlamalıdır.
İleri gizlilik ve toparlanma koşulludur
Eski mesajları daha sonraki ele geçirilmeden korumak, eski gizli malzemenin kullanımdan kaldırılmasına bağlıdır. Gelecekteki mesajların korunmasını geri kazanmak, saldırgan ilgili erişimi kaybettikten sonra yeni sırların sisteme katılmasına bağlıdır. MLS'de grup güncellemelerini işlemek bu toparlanmanın parçasıdır; yalnızca güncellemeyi göndermek, her üyenin onu uygulamasıyla aynı şey değildir. RFC 9420 içindeki güvenlik değerlendirmelerine bakın.
Gönderici anahtarlı bir tasarımda, her göndericinin ele geçirilmiş durumunun nasıl değiştirildiğini ve yeniden dağıtıldığını sorun. Tek yönlü zincir tek başına, mevcut durumunu bilen saldırgana karşı otomatik olarak iyileşen bir yapı gibi anlatılmamalıdır. Yeniden dağıtımda kullanılan ikili koruma önemlidir; ancak grup düzeyinde tam analizin yerini tutmaz.
Kuantum sonrası iddialar belirli bir şifre takımı ve kapsam gerektirir
Temel RFC9420'de tanımlanan şifre takımları klasik açık anahtar mekanizmaları kullanır. MLS genişletilebilir olduğundan, belirli bir gerçekleştirim hakkındaki iddia, tüm MLS dağıtımlarının kalıcı olarak klasik olduğunu ilan etmek yerine gerçek şifre takımını ve uzantılarını belirtmelidir.
LGS1'in belgelenmiş hibrit LVR1 dağıtımı kullanımı, her grup işlemi için bağımsız olarak analiz edilmiş kuantum sonrası garantiden farklı bir iddiadır. FIPS 203, ML-KEM'i standartlaştırır; onu içeren grup protokolünün tamamını sertifikalandırmaz. Yalnızca KEM adını değil, kimlik doğrulamayı, üyelik değişikliklerini, anahtarların ele geçirilmesini ve gerçekleştirimi birlikte değerlendirin.
Ürün kararı vermeden önce ne istenmeli?
Güncel protokol belirtimini, test vektörlerini ve çözülmemiş bulgular dahil sürüme özgü bağımsız incelemeyi isteyin. Ardından olağan ürün gereksinimlerini karşılaştırın: desteklenen cihazlar, güncelleme davranışı, kurtarma, moderasyon rolleri ve sunucularda tutulan veriler.
MLS mimarisi uygulama hizmetlerini ve bunların güven varsayımlarını açıkça ele alır. Benzer şekilde Livara'nın tehdit modeli, ürün iddialarıyla birlikte okunmalıdır. Şifreleme yetkili katılımcıları güvenilir yapmaz, ekran görüntülerini engellemez veya her tür üst veriyi ortadan kaldırmaz.
Kanıt yoksa tasarımı otomatik olarak güvensiz ya da üstün diye etiketlemek yerine “ortaya konmamış” olarak kaydedin. Karar, grubunuzun risklerini ve mevcut kanıtların kalitesini yansıtmalıdır.
Sık sorulan sorular
LGS1 bir MLS gerçekleştirimi midir?
Yayımlanan açıklamalar farklı mimariler gösterir. Bu yazı LGS1'i MLS gerçekleştirimi olarak tanımlamaz veya birlikte çalışabilirlik iddiasında bulunmaz.
MLS tüm üyelerin aynı anda çevrimiçi olmasını gerektirir mi?
Hayır. Asenkron kullanım tasarımın parçasıdır. Uygulamaların gecikmiş güncellemeler, eski durum ve uzun süre çevrimdışı kalan üyeler için yine de politikalara ihtiyacı vardır.
Kuantum sonrası anahtar dağıtımı grup güvenliğini çözer mi?
Hayır. Anahtar kurulumunun bir bölümünü ele alır. Kimlik, üyelik, anahtar yaşam döngüsü, uç nokta güvenliği ve gerçekleştirim için hâlâ kanıt gerekir.
Hangi tasarım daha hızlıdır?
Bu yazıda kazananı ortaya koyan bir performans testi yoktur. Grubunuz için önemli işlemleri ve dağıtımı ölçün.
