Yazı 5 / 124 dk okuma

Aktarım kanalına asla güvenilmez

Kablosuz bağlantıların güvenlik sicili kötüdür. AirNox hangisinin yeterince güvenli olduğunu tartışmak yerine hiçbirinin güvenli olmadığını varsayar ve güvenliği bir katman yukarıda kurar.

Bir dizüstü bilgisayar ile bir telefon arasında, gürültülü üç taşıyıcı şeridinden geçen kilitli, mühürlü bir kapsül
Taşıyıcılar gürültülü. Kapsül değil.
İçindekiler

Taşıyıcılar kimlik kanıtı değildir

Bluetooth eşleştirmesi (pairing), iki cihazın bir eşleştirme dansından geçtiğini kanıtlar. NFC yakınlığı, bir şeyin bir okuyucuya birkaç santimetre mesafede olduğunu kanıtlar. QR kodu, bir kameranın bir desen gördüğünü kanıtlar. Bunların hiçbiri karşı tarafta kimin olduğunu kanıtlamaz ve bu taşıyıcıların her biri herkesin gözü önünde saldırıya uğradı: gizlice dinleme, anahtar gücünün düşürülmesi, iki sıradan telefonla bir dokunuşun şehrin öbür ucuna aktarılması.

Bu yüzden üçünü de düşman kabul ediyoruz. Her biri dinlenebilir, araya veri sokulabilir, aktarma (relay) yapılabilir. Taşıyıcının iddia ettiği hiçbir şey, hiçbir şeyin kanıtı sayılmaz.

Üç katman: en altta düşman taşıyıcılar, ortada AirNox oturumu, en üstte sizin kararınız
Altta taşıyıcılar. Üstte oturum. En üstte siz.

Bir kez eşleştirin

Güven bir kez, masaüstünü ve telefonu eşleştirdiğinizde kurulur. Masaüstü bir QR kodu gösterir, telefon onu tarar. Ardından iki ekran da kısa bir kod gösterir ve siz bunları karşılaştırırsınız. Eşleşiyorlarsa iki cihaz, hiçbir taşıyıcının görmediği anahtarlar üzerinde anlaşmıştır ve o andan itibaren her biri diğerinin kimliğini bilir. Eşleşmiyorlarsa araya bir şey girmiştir ve orada durursunuz.

Bu karşılaştırma, kanalı bir insanın kontrol ettiği tek andır ve önemli olan da o andır. Sonrasındaki her şey, kendi gözlerinizle kurduğunuz güveni devralır.

Üç adım: bir QR kodu tarayın, iki ekrandaki kısa kodu karşılaştırın, eşleştirildi; altta değiştirilmiş, tekrar oynatılmış ve sırası bozuk mesajlar atılıyor
Tek bir karşılaştırma, sonra oturum devralır.

Oturum

Eşleştirmeden sonra masaüstü ile telefon arasındaki her mesaj, cüzdanın sahip olduğu bir oturumun içinde taşınır. Oturum uçtan uca şifrelidir (end-to-end); dinlenen bir taşıyıcıdan gürültüden başka bir şey sızmaz. Karşılıklı kimlik doğrulamalıdır (mutually authenticated); her iki taraf da mesajın eşleştiği cihazdan geldiğini, onun kılığına girmiş bir şeyden gelmediğini bilir. Üzerinde çalıştığı taşıyıcıya bağlıdır; bir yolda yakalanan mesaj başka bir yolda tekrar oynatılamaz.

Oturum, yaygın olarak kullanılan güvenli tünellerin de dayandığı türden, iyi incelenmiş, modern bir el sıkışma tasarımı üzerine kuruludur. Kriptografide doğaçlama yapmayız.

Neler atılır

Yolda değiştirilen bir mesaj kimlik doğrulamasından geçemez ve atılır. Tekrar oynatılan mesaj sıra dışı gelir, o da atılır. Sırası bozuk gelenin akıbeti de aynıdır. Eşleştirilmiş cihazdan gelmeyen bir mesaj el sıkışmayı asla geçemez. Her durumda telefon imzalanacak hiçbir şey göstermez, çünkü geçerli hiçbir şey gelmemiştir.

Bluetooth LE ve NFC'nin kolaylığının güvenlikten hiçbir şey götürmemesinin sebebi budur. Taşıyıcı istediği kadar zayıf olabilir. Alttaki radyo bağlantısının güvenli olup olmadığı, hiç cevaplamamız gerekmeyen bir sorudur.

Her taşıyıcıda aynı oturum

Oturum ışıkla mı, radyo dalgasıyla mı, dokunuşla mı taşındığını bilmez. QR ile eşleştirip ardından günlük işler için Bluetooth LE'yi, terminalde de NFC'yi kullanabilirsiniz; hiçbiri için yeniden eşleştirme gerekmez. Taşıyıcı değiştirmek neye güvenildiğini değiştirmez, çünkü taşıyıcıya en başından beri hiç güvenilmedi.

Hâlâ air gap mi?

Püristler, air gap'in yalnızca ışık demek olduğunu söyler. Kelime üzerine tartışmayacağız. Katı versiyonu istiyorsanız yalnızca QR kodlarını kullanın; bu seçenek her zaman mevcut. Bizim önemsediğimiz özellik kelimenin altında yatıyor: anahtarları tutan cihazın internete giden hiçbir yolu yoktur ve karşıya geçen tek şey, telefonun kendi başına çözdüğü bir istek ile üretmeyi seçtiği bir imzadır. Bluetooth LE üzerinden bir oturum bu özelliği korur. Kattığı şey ise onu kullanmaya devam etmenizdir.

Serinin tamamı

  1. Bilgisayarın ele geçirildiğini varsayın
  2. Mass Adoption Security: imzalayıcı, zaten sahip olduğunuz bir telefon
  3. Air gap'in üzerinden üç yol: QR kodları, Bluetooth LE ve NFC
  4. Radyo dalgalarında görünmez: kimsenin tarayarak bulamayacağı bir imzalayıcı
  5. Aktarım kanalına asla güvenilmez
  6. Telefonun size gösterdikleri: imzalayıcıda işlem analizi
  7. Telefon kendi kaydını tutar
  8. Masaüstünüzdeki kasa: Argon2id ve tahmine direnen bir profil
  9. Tarayıcı cüzdanı olmadan dApp'ler
  10. Kuralları olan bir MCP sunucusu: sınırlar içinde yapay zekâ ajanları
  11. Her şey için tek korumalı cüzdan
  12. Küçük ve native: C++, JavaScript çalışma ortamı yok; iş istasyonunda da Raspberry Pi'da da

Bekleme listesine katılın

E-posta adresinizi bırakın, size sürüm haberlerini gönderelim. Başka hiçbir şey göndermeyiz.