Signal protokolü, uçtan uca şifreli mesajlaşma alanında uzun süredir altın standart olarak kabul ediliyor; Edward Snowden da bu protokolün önde gelen savunucuları arasında yer alıyor. Google DeepMind tarafından yapılan bir analiz ise protokolün güvenliğini "formal olarak doğruladığını" ortaya koydu.
Signal uygulamasının yanı sıra aynı protokol WhatsApp ve Google Messages tarafından da kullanılıyor; bu çalışma "bir dönüm noktası" olarak nitelendirildi.
"Formal doğrulama", bir kriptografik algoritma veya protokolün güvenlik iddialarını tüm koşullar altında matematiksel olarak kanıtlama veya çürütme işlemine verilen addır. Protokolün başarısız olacağı hiçbir durum kalmadığını garanti eder. Bu, güvenlik açıklarını bulmaya çalışan ancak başka açıkların bulunmadığını garanti edemeyen geleneksel test yöntemlerinden çok daha yüksek bir standarttır.
Formal doğrulamayı yürütmek için ajan tabanlı yapay zekâ kullanılması, hem kriptografi hem de yapay zekâ açısından büyük bir atılım olarak değerlendiriliyor. Ancak işlem son derece yüksek hesaplama gücü gerektiriyor; Google, bunun daha geniş ölçekte ne kadar pratik olacağı konusunun henüz netlik kazanmadığını belirtti.
DeepMind araştırmacıları, bulguların daha büyük bir sürecin yalnızca bir kilometre taşı olduğunu vurguluyor. "Bu sonuçtan çok heyecan duyuyoruz, ancak bunu dünyanın tüm yazılımlarına ölçeklendirebilmemiz için daha uzun bir yol var ve bunu yapmak istiyoruz," diyen DeepMind araştırma bilimcisi Swarat Chaudhuri, değerlendirmesini paylaştı.
Doğrulamanın Signal uygulamasının tamamından ziyade protokolün kendisine yönelik olduğu da belirtilmeli. Bununla birlikte, bilinen güvenlik açıkları içeren eski Signal sürümleri üzerinde test edildiğinde bu açıkların tespit edilip formal doğrulamayı geçemedi olarak işaretlenmesi, cesaret verici bir gösterge olarak değerlendirilebilir.
Google'ın, yapay zekâ kullanılmadan daha önce tamamlanmış bazı formal doğrulama çalışmalarından yararlanabildiği de ifade ediliyor. Analiz dört hafta sürdü ve gereken kaynakların ölçeği henüz açıklanmadı; bu nedenle diğer protokollerin de kısa sürede doğrulanmasını beklemek doğru olmaz. Yine de bu, çok önemli bir gelişme.
- Apple TV 4K (en güncel model)
- Apple AirPods Pro 3
- Apple HomeView
- meross Smart Garage Door Opener
- Apple.com'da sertifikalı yenilenmiş Apple ürünleri %15 indirimli
- Kablosuz CarPlay adaptörü
- Mac için Logitech MX Master 4