Standartlaştırılmış bileşen, inceleme için bir başlangıç noktasıdır; tüm mesajlaşma uygulaması için sertifika değildir.
ML-KEM-768, iki tarafın daha sonra mesajları korumak için kullanılabilecek ortak bir sır oluşturmasına yardımcı olur. Bir mesajlaşma sisteminin bileşenidir; eksiksiz sohbet protokolü, mesaj şifreleme algoritması veya uygulamanın güvenli olduğunu gösteren sertifika değildir.
NIST, 13 Ağustos 2024'te FIPS 203'ü yayımlayarak ML-KEM'i ve 512, 768, 1024 parametre kümelerini standartlaştırdı. Bunların güvenliği, kuantum saldırılarına dayanıklı olduğuna inanılan kafes tabanlı problemlere dayanır. “Dayanıklı olduğuna inanılan”, analizle desteklenen bir güvenlik varsayımıdır; gelecekte hiçbir zayıflık ortaya çıkamayacağına ilişkin söz değildir. NIST FIPS 203.
KEM, şifreli sohbette nereye oturur?
Bir şifreleme iddiasını okumanın yararlı yolu, anahtar malzemesini takip etmektir:
- İletişim kurmak istediğiniz karşı tarafın kimliğini doğrulayın. Kimliğe bürünen biriyle anahtar alışverişi, yine de yanlış kişiyle yapılan anahtar alışverişidir.
- Ortak gizli malzeme oluşturun. KEM, kapsülleme ve kapsül açma yoluyla bir sır sağlar.
- Anahtarları belirli amaçları için türetin. Anahtar türetme işlevi, protokolün farklı bölümlerinde kullanılan malzemeyi ayırır.
- Mesajları şifreleyin ve doğrulayın. Kimlik doğrulamalı şifreleme düzeni içeriği korur ve yetkisiz değişiklikleri saptar.
- Oturumu zaman içinde yönetin. Anahtar döndürme, silme, cihaz değişiklikleri ve kurtarma, daha sonraki bir ele geçirmenin neleri açığa çıkarabileceğini belirler.
Bu adımlar, ikinci adıma yönelik bir standardın neden tüm uygulamayı doğrulayamayacağını açıklar. NIST'in kuantum sonrası sık sorulan soruları, yeni standartların uygulanmasına ilişkin bağlam sunar.
ML-KEM neden klasik anahtar anlaşmasıyla birleştirilir?
Hibrit tasarım, kuantum sonrası bileşeni eliptik eğri Diffie–Hellman gibi klasik bir bileşenle birlikte kullanır. Amaçlanan yarar, geçiş döneminde varsayım kümelerinden yalnızca birine bağımlı kalmamaktır.
Güvenlik iddiası, yalnızca iki algoritmanın listesine değil, birleştirici mekanizmanın ve protokolün tamamına aittir. İnceleyenlerin hangi girdilerin doğrulandığını, nasıl kodlanıp birleştirildiğini, türetmeye hangi bağlamın bağlandığını ve bir bileşen hata verdiğinde ne olduğunu bilmesi gerekir. Tanımlanmış bir yapı olmadan sırları art arda eklemek, güvenlik gerekçesi değildir.
Kullanıcı için pratik soru “Ayarlar sayfasında kuantuma dayanıklı yazıyor mu?” değildir. “Hangi konuşmalar ve sürümler gerçekten bu yapıyı kullanıyor ve bu açıklamayı hangi kanıtlar destekliyor?” sorusudur.
Livara neyi belgeliyor?
Livara'nın güvenlik belgeleri, doğrudan sohbetlerdeki LVR1 oturumlarını klasik P-256 ve ML-KEM-768 malzemesi, içerik içinse AES-256-GCM kullanarak açıklar. LGS1 özel gruplarını ikili LVR1 oturumları üzerinden dağıtılan gönderici zincirleri olarak tanımlar. Bunlar farklı katmanlardır: olağan bir grup mesajı, her alıcı için mutlaka yeni bir ML-KEM alışverişi değildir.
Bu belgeleri geliştiricinin açıklaması olarak okuyun. Standartlaştırılmış kriptografik temel bileşenleri adlandırmak, Livara'nın özel bileşiminin bağımsız olarak denetlendiğini veya kurulu her derlemenin bunu doğru uyguladığını göstermez. Proof Lab, tarayıcı gösteriminin sınırlarını açıkça belirtir: tam LVR1/LGS1 ratchet mekanizmalarını çalıştırmaz ve protokol denetimi oluşturmaz.
Kuantum sonrası koruma neleri kapsamaz?
| Soru | ML-KEM tek başına neden yanıtlamaz? |
|---|---|
| Alıcı mesajımı kopyalayabilir mi? | Alıcı okunabilir içerik alır. |
| Cihazım casus yazılımdan temiz mi? | Uç nokta bütünlüğü ayrı bir güven varsayımıdır. |
| Yedekler korunuyor mu? | Yedek anahtarları ve kurtarma kuralları kendi tasarımlarını gerektirir. |
| Grup üyeliği değişiklikleri güvenli mi? | Kimlik doğrulama, üyelik ve yeniden anahtarlama kuralları önemlidir. |
| Hizmet üst veri tutuyor mu? | İçerik şifreleme, yönlendirmeyi veya zamanlamayı kendiliğinden gizlemez. |
| Arama, metin sohbetiyle aynı biçimde mi korunuyor? | Arama sinyalleşmesi ve medya farklı protokoller kullanabilir. |
Livara'nın tehdit modeli de özel konuşmaları herkese açık kanallardan ayırır ve cihaz düzeyindeki açığa çıkma riskini kabul eder. Doğrudan sohbet iddiasını ürünün bütün alanlarına genişletmeyin.
“FIPS 203 mesajlaşma” için alıcı kontrol listesi
Tam parametre kümesini ve protokol sürümünü; karşı taraf kimlik doğrulamasıyla anahtar birleştirmenin açıklamasını; desteklenen istemci sürümlerini; uyumsuz istemcilerle davranışı; ve dağıtılan gerçekleştirimle bağlantılı testleri veya inceleme bulgularını isteyin. Sağlayıcı FIPS doğrulaması iddia ediyorsa ilgili doğrulama kaydını ve kapsamını sorun. Bir FIPS yayınında açıklanan algoritmayı kullanmak, tek başına ürün veya modül doğrulamasının kanıtı değildir.
Parametre adından pil ömrü, veri işleme hızı veya uygulama yanıt verebilirliği sonucu çıkarmayın. Bunlar cihazı, derlemesi ve iş yükü belgelenmiş ölçümler gerektirir.
Mesajlaşma için yararlı değişim, uzun vadeli gizliliğe yönelik yeni bir araçtır. Değeri, bir pazarlama etiketini diğeriyle değiştirmeye değil; entegrasyona, gerçekleştirime ve işleyiş sınırlarına bağlıdır.
