Bir VPN protokol belirtiminin kanıtladığı ve kanıtlamadığı şeyler

Protokol belgesi uygulamalar arasında bir sözleşmedir ve dikkatle okumak, uyumlu iki tarafın neyi değiş tokuş edeceğini ve tasarımcıların hangi özellikleri güvence altına almayı amaçladığını söyler. Ancak bağlandığınız sunucuda hangi ikili dosyanın çalıştığını, o sunucunun nasıl yapılandırıldığını ya da sonrasında hesap kaydınıza ne olduğunu söylemez. Bunlar üç farklı kanıt türüdür ve belirtimi üçü birdenmiş gibi ele almak, bir protokol adının yapamayacağı işi yapmaya başlamasının yoludur. Üçünü ayrı tutmak bütün alıştırmadır.

Belge bir argümanın başlangıcıdır, sonucu değil.

Belgenin gerçekte ne belirlediği

WireGuard için protokol açıklaması bir Noise IK el sıkışması, sabit bir ilkel kümesi, mesaj yerleşimleri ve ardından paketleri taşıyan aktarım çerçevelemesini tanımlar. IKEv2 için karşılaştırılabilir belge RFC 7296'dır ve değiş tokuşları, yükleri ve önerilerin müzakere edilmesini belirler. Her iki durumda da kapsam kesindir: mesajlar, durum makinesi ve güvenlik hedeflerinin geçerli olduğu varsayımlar.

İsteğe bağlı kipler okumayı zorlaştırır. Bir el sıkışma için geçerli olan bir özellik, farklı bir kimlik doğrulama düzeni veya yedek yapılandırma kullanan bir dağıtım için geçerli olmayabilir.

Güvencelerin sona erdiği yer

Biçimsel analiz bir model hakkındaki soruyu yanıtlar. WireGuard'ın doğrulama çalışması Tamarin ispatlayıcısında simgesel bir model kullanır ve bu model, tasarımın varsayımları altında belirli saldırılara dayandığını gösterebilir; ancak dağıtılan bir kullanıcı alanı uygulamasının bellek güvenliği hatası olmadığını göstermez. Model ile makine arasındaki bu boşluk, gerçek olayların yaşadığı yerdir. Bir ispatı uygulama sertifikası olarak okumak kategori hatasıdır.

İleriye dönük gizlilik aynı sınırı gösterir. Özellik, anahtarların protokolün amaçladığı gibi yok edilmesine bağlıdır ve bu, mesaj biçiminin değil, uygulamanın ve ortamının özelliğidir. Silmeyi öngören bir tasarım, belleği diske aktaran bir platformda bunu zorlayamaz.

Katmanlı bağımlılıklar boşluğu daha da genişletir: TLS tabanlı bir tünelin arkasındaki TLS kütüphanesi, kullanıcı alanı tünelinin kullandığı çekirdek arabirimi ve rasgele sayı üreteci, hepsi protokol metninin dışındadır.

Baytları derlemenin içine kadar izleyin

Sürümleri belirleyip ardından bunları gerçekte trafiğe hizmet edenle karşılaştırarak belgeden yapıtlara geçin. Bir protokolü adlandıran ürün, belirtimin hiç tanımlamadığı sağlama, telemetri ve yönetim bileşenleri ekleyebilir.

openvpn --version | head -3
wg --version
dpkg -l | grep -E 'openvpn|wireguard|libssl'
ss -lunp | grep -E '1194|51820'
sha256sum ./wireguard-tools_1.0.20210914_amd64.deb

Yeniden üretilebilir derlemeler ve yayımlanmış sağlama toplamları, bir kaynak ağacını dağıtılan ikili dosyaya bağlamayı mümkün kılar. Bu bağ olmadan, yayımlanmış kaynak yalnızca denetimin mümkün olduğunu kanıtlar, çalışan dosyanın ona uyduğunu değil.

Yapılandırma aynı adıma aittir. Şifreleme takımları, izin verilen eşler ve yönlendirme ayarları dağıtım seçimleridir ve dikkatsizce yapılandırılmış uyumlu bir derleme yine zayıf bir tünel üretir.

Operasyonel uygulamaları ayrı tutun

Hesap kayıtları, ödeme verileri ve destek başvuruları hiçbir protokol metninin kısıtlamadığı operatör kararlarıdır. Bir denetim raporu belirtilen kapsam içindeki adlandırılmış bileşenleri kapsar ve bir gizlilik politikası niyetleri ve uygulamaları tanımlar; hiçbiri diğerinin yerini tutmaz ve hiçbiri kriptografik bir ifade değildir.

Kesin sonuç birikimlidir: belirtim tasarımı açıklar, derleme ve yapılandırma tüneli açıklar ve operatörün belgelenmiş uygulamaları tünelin hiç görmediği her şeyi açıklar. Bunlardan hangisini doğruladığınızı söyleyin ve iddia doğru kalır.