Post-Quantum Kriptografi ve Havacılık: “Harvest Now, Decrypt Later” Tehdidi
Bir havacılık yazılım mühendisi olarak, genelde “yarının tehditleri” ile ilgilenmek zorunda kalırsınız. Bir uçak 2026’da sertifiye ediliyorsa, 2050’ye kadar hizmette olması muhtemeldir. Bu da bugün aldığınız kriptografik kararların, onlarca yıl sonra bile geçerli olması gerektiği anlamına gelir. İşte tam bu noktada Post-Quantum Kriptografi (PQC) sahneye çıkıyor — ve havacılık sektörü, belki de en çok etkilenecek sektörlerden biri.
Kuantum Tehdidi: Matematiksel Temeller
Bugün kullandığımız asimetrik kriptografinin güvenliği, belirli matematiksel problemlerin klasik bilgisayarlarla çözülemeyecek kadar zor olmasına dayanır.
RSA — Güvenliği büyük sayıların asal çarpanlarına ayrılmasının (integer factorization) zorluğuna dayanır. RSA-2048, 617 basamaklı bir sayının çarpanlarına ayrılmasını gerektirir. Klasik bilgisayarlarla bu, evrenin ömründen uzun sürer.
ECDSA / ECDH — Güvenliği eliptik eğri üzerinde ayrık logaritma probleminin (ECDLP) zorluğuna dayanır. P-256 eğrisinde 256-bit güvenlik, RSA-3072 ile eşdeğer kabul edilir.
Diffie-Hellman — Güvenliği sonlu grup üzerinde ayrık logaritma probleminin zorluğuna dayanır.
1994’te Peter Shor, kuantum bilgisayarların bu problemlerin hepsini polinom zamanda çözebileceğini gösterdi. Shor’un algoritması hem integer factorization hem discrete logarithm problemini verimli şekilde çözer. Bu, RSA’nın, ECDSA’nın ve Diffie-Hellman’ın kuantum bilgisayar karşısında tamamen savunmasız olduğu anlamına gelir.
Ek olarak, 1996’da Lov Grover, kuantum bilgisayarların simetrik şifreleme ve hash fonksiyonlarına karşı kare kök hızlanma sağlayabileceğini gösterdi. Bu, AES-128’in güvenlik seviyesini 64-bite düşürür. Çözüm basit: AES-256 kullanmak yeterli — Grover’ın etkisiyle 128-bit güvenlik kalır ki bu hâlâ güvenlidir. Asıl sorun asimetrik kriptografinedir.
CRQC: Ne Zaman Gelecek?
CRQC (Cryptographically Relevant Quantum Computer), RSA-2048 veya ECC P-256’yı makul sürede kıracak kapasitedeki kuantum bilgisayarını tanımlar. Tahminler değişkendir:
İyimser tahminler (Google, IBM roadmap’leri) 2030-2035 aralığını gösteriyor. Temkinli tahminler 2035-2045 diyor. Bazı uzmanlar 2050 sonrasını veya “hiçbir zaman pratik olmayacak” senaryosunu da dile getiriyor.
Ama kesinlik burada önemli değil. Önemli olan risk yönetimidir. Havacılıkta bir platformun ömrü 25-30 yıldır. 2026’da sertifiye edilen bir uçak 2055’e kadar uçabilir. Bu platform için kriptografik kararları bugün alıyorsunuz. Eğer CRQC 2040’ta gelirse ve siz bugün sadece RSA kullanıyorsanız, platform ömrünün yarısında savunmasız kalırsınız.
“Harvest Now, Decrypt Later” (HNDL)
HNDL, PQC tartışmasını teorikten pratik bir tehdide dönüştüren kavramdır. Strateji basit ama etkilidir:
Bir devlet aktörü veya sofistike saldırgan, bugün şifreli iletişimi yakalar ve depolar. Henüz çözemez — ama kuantum bilgisayar hazır olduğunda bu verileri geriye dönük olarak çözer. Depolama maliyeti her yıl düşüyor; petabaytlarca veriyi saklamak artık ucuz. Yakalama kapasitesi ise fiber optik tap’lerden uydu iletişim kesintisine kadar geniş bir yelpazede mevcut.
Bu saldırı modeli havacılık için özellikle ciddidir ve bunun birkaç nedeni var:
Uzun ömürlü gizlilik. Bir uçağın aviyonik yazılım güncelleme protokolü bugün kaydedilirse ve 15 yıl sonra çözülürse, saldırgan güncelleme mekanizmasının kriptografik yapısını anlayabilir. Bu bilgiyle sahte yazılım güncellemesi oluşturma riski doğar.
Uzun sertifikasyon döngüleri. Havacılık yazılımında kriptografik altyapıyı değiştirmek, DO-178C/DO-326A kapsamında yeniden sertifikasyon gerektirir. Bu süreç yıllarca sürebilir. Dolayısıyla “kuantum bilgisayar geldiğinde geçeriz” stratejisi havacılıkta işlemez — hazırlık yıllar öncesinden başlamalıdır.
Donanım güncelleme kısıtı. Bir web sunucusunun TLS konfigürasyonunu dakikalar içinde değiştirebilirsiniz. Bir aviyonik kutunun kriptografik donanımını değiştirmek ise hem lojistik hem sertifikasyon açısından büyük bir iştir — özellikle bir filo genelinde.
Tedarik zinciri riski. Havacılık tedarik zinciri global ve karmaşıktır. Bir alt-tedarikçinin iletişiminin bugün kaydedilmesi ve gelecekte çözülmesi, tasarım bilgilerinin sızmasına yol açabilir.
NIST PQC Standartları: Detaylı İnceleme
NIST, 2016’da başlattığı standardizasyon sürecini büyük ölçüde tamamladı. Üç ana standart yayınlandı, her biri farklı bir matematiksel temele dayanıyor.
ML-KEM (FIPS 203) — Key Encapsulation Mechanism
Eski adıyla CRYSTALS-Kyber. Lattice tabanlı bir KEM algoritması. Güvenliği Module Learning With Errors (MLWE) probleminin zorluğuna dayanır — yüksek boyutlu lattice’lerde hatalı örneklerden orijinal vektörü kurtarmanın klasik ve kuantum bilgisayarlarla zor olduğu varsayılır.
KEM, asimetrik şifrelemenin modern formülasyonudur. Geleneksel public-key encryption yerine, iki tarafın paylaşımlı bir anahtar üzerinde anlaşmasını sağlar. Bu paylaşımlı anahtar daha sonra simetrik şifreleme (AES-256-GCM gibi) için kullanılır.
Üç güvenlik seviyesi vardır. ML-KEM-512 NIST security level 1 (AES-128 eşdeğeri) ile en hızlı variant’tır. ML-KEM-768 security level 3 (AES-192 eşdeğeri) ile genel kullanım için önerilir. ML-KEM-1024 ise security level 5 (AES-256 eşdeğeri) ile uzun ömürlü gizlilik gerektiren uygulamalar içindir.
Performans profili ilginçtir. Key generation ve encapsulation işlemleri ECDH ile karşılaştırılabilir hızdadır — x86-64’te ML-KEM-768 keygen 30-40 μs civarındadır. Asıl fark boyutlardadır:
Algoritma Public Key Ciphertext Shared Secret
─────────────────────────────────────────────────────────
X25519 32 byte 32 byte 32 byte
ML-KEM-512 800 byte 768 byte 32 byte
ML-KEM-768 1,184 byte 1,088 byte 32 byte
ML-KEM-1024 1,568 byte 1,568 byte 32 byteML-KEM-768’in public key’i X25519’dan 37 kat büyük. Bu, TLS handshake boyutunu artırır ama modern internet altyapısı için sorun değildir. Ancak bant genişliği kısıtlı aviyonik data bus’larda ciddi bir mühendislik problemidir.
ML-DSA (FIPS 204) — Digital Signature Algorithm
Eski adıyla CRYSTALS-Dilithium. Yine lattice tabanlı, dijital imzalar için. Güvenliği Module Learning With Errors ve Module Short Integer Solution (MSIS) problemlerine dayanır.
Dijital imzalar havacılıkta birçok yerde kullanılır. Yazılım imzalama (yüklenen binary’nin bütünlüğü), sertifika doğrulama (TLS sertifikaları), mesaj bütünlüğü (data link mesajları) ve kimlik doğrulama (cihaz autentikasyonu).
Algoritma Public Key Secret Key İmza Boyutu
─────────────────────────────────────────────────────────
ECDSA P-256 64 byte 32 byte 64 byte
RSA-2048 256 byte - 256 byte
ML-DSA-44 1,312 byte 2,560 byte 2,420 byte
ML-DSA-65 1,952 byte 4,032 byte 3,309 byte
ML-DSA-87 2,592 byte 4,896 byte 4,627 byteML-DSA-65 imzası ECDSA P-256’dan 52 kat büyük. Bu boyut farkı, özellikle sertifika zincirlerinde (birden fazla imzanın birbirine bağlı olduğu yapılarda) ve her pakete imza eklendiği protokollerde ciddi bir etki yaratır.
Performans açısından ML-DSA, RSA’dan hızlı ama ECDSA’dan yavaştır. ML-DSA-65 sign işlemi yaklaşık 250 μs, verify yaklaşık 130 μs sürer (x86-64, 3.6 GHz). Gömülü ARM işlemcilerde bu değerler 4-5 kat artabilir.
SLH-DSA (FIPS 205) — Stateless Hash-Based Signature
Eski adıyla SPHINCS+. Lattice tabanlı değil, hash tabanlı bir imza algoritması. Güvenliği yalnızca hash fonksiyonlarının (SHA-256 veya SHAKE256) güvenliğine dayanır.
Bu, SLH-DSA’yı özel kılar: eğer yarın lattice problemlerinde bir kırılma olursa (MLWE’nin düşünülenden daha kolay olduğu kanıtlanırsa), ML-KEM ve ML-DSA savunmasız kalır ama SLH-DSA güvende kalır. Bu nedenle SLH-DSA “muhafazakar yedek” olarak konumlandırılır.
Dezavantajı performans ve boyuttur. İmza boyutları devasa olabilir:
Algoritma Public Key İmza Boyutu
──────────────────────────────────────────────────────
SLH-DSA-SHA2-128s 32 byte 7,856 byte
SLH-DSA-SHA2-128f 32 byte 17,088 byte
SLH-DSA-SHA2-256s 64 byte 29,792 byte
SLH-DSA-SHA2-256f 64 byte 49,856 byte“s” (small) variant’lar daha küçük imza üretir ama daha yavaştır. “f” (fast) variant’lar daha hızlıdır ama daha büyük imza üretir. En küçük variant (128s) bile ECDSA’dan 123 kat büyük imza üretir. SLH-DSA’nın aviyonik data bus’larda kullanımı son derece sınırlı olacaktır — ama yazılım güncelleme imzalama gibi bant genişliği kısıtı olmayan senaryolarda değerli bir yedek olarak düşünülebilir.
Havacılık Yazılımı İçin Pratik Sonuçlar
Aviyonik Data Bus Kısıtları
Aviyonik data bus’lar belirli mesaj boyutu limitlerine sahiptir ve PQC’nin büyük boyutları bu limitlerle çatışır.
ARINC 429: 32-bit word tabanlı, tek yönlü (simplex) veri bus’ı. Her word 32 bit veri taşır. ML-KEM-768’in 1184 byte’lık public key’ini aktarmak için 296 adet ARINC 429 word’ü (37 adet 8-word label) gerekir. Bu, fragmentasyon ve reassembly mekanizması gerektirir ve bus yükünü ciddi şekilde artırır.
MIL-STD-1553: 20-bit data word tabanlı, her mesaj en fazla 32 word (640 bit = 80 byte) taşıyabilir. ML-DSA-65’in 3309 byte’lık imzasını aktarmak için en az 42 ayrı mesaj gerekir. Bu, bus timing budget’ını zorlayabilir.
AFDX (ARINC 664): Ethernet tabanlı, çok daha geniş bant genişliği sunar ama BAG (Bandwidth Allocation Gap) ve frame boyutu (max 1518 byte Ethernet frame) limitleri hâlâ mevcuttur. ML-KEM handshake verileri tek frame’e sığabilir ama sertifika zincirleri fragmentasyon gerektirir.
Bu kısıtlar, PQC geçişinde protokol seviyesinde yeniden tasarım gerektirebilir. Mevcut protokollere “PQC ekle” yaklaşımı yerine, PQC boyutlarını göz önünde bulunduran yeni mesajlaşma yapıları tasarlanmalıdır.
DO-178C ve DO-326A Sertifikasyon Etkileri
Kriptografik algoritma değişikliği, DO-178C perspektifinden bakıldığında ciddi bir etki analizi gerektirir.
DO-326A (Airborne Electronic Hardware Security), güvenlik gereksinimlerinin yazılım geliştirme sürecine nasıl entegre edileceğini tanımlar. PQC geçişi bu çerçevede bir güvenlik gereksinimi değişikliği olarak ele alınmalıdır. Değişen kütüphane ve algoritma yeni birim testleri, entegrasyon testleri ve muhtemelen MC/DC coverage gereksinimi doğurur. DAL A sistemlerde bu süreç aylar, hatta yıllar alabilir.
Kullanılacak PQC kütüphanelerin tool qualification süreci de önemlidir. liboqs gibi açık kaynak kütüphaneler production’da kullanılabilir ama DO-330 kapsamında TQL-1 veya TQL-2 seviyesinde kalifikasyon gerekebilir. Bu, kütüphanenin kaynak kodunun incelenmesi, test kapsamının doğrulanması ve CI/CD süreçlerinin dokümante edilmesi anlamına gelir.
Hibrit Kriptografi
Geçiş döneminde en güvenli strateji hibrit kriptografidir — hem klasik hem PQC algoritmalarını birlikte kullanmak. Hibrit yaklaşımda iki paylaşımlı anahtar üretilir (biri klasik, biri PQC) ve birleştirilir. İkisinden biri kırılsa bile diğeri korumayı sürdürür.
TLS 1.3’te hibrit key exchange zaten pratikte kullanılıyor. Google Chrome ve Cloudflare, X25519+ML-KEM-768 hibrit key exchange destekliyor. Bu yaklaşım aviyonik iletişim protokollerine de uyarlanabilir.
Hibrit yaklaşımın havacılık için avantajları: PQC algoritmaları henüz genç, lattice tabanlı bir zafiyet bulunursa klasik koruma devam eder. Sertifikasyon süreçlerinde “eski + yeni” yaklaşımı daha kolay kabul görür. Geriye dönük uyumluluk da sağlanmış olur.
Gömülü Platform Performansı
Aviyonik bilgisayarlar genelde PowerPC, ARM Cortex-R veya Cortex-A tabanlıdır ve modern masaüstü işlemcilerin çok gerisinde kalır. PQC algoritmalarının bu platformlardaki performansı kritik bir değerlendirme faktörüdür.
Lattice tabanlı algoritmalar (ML-KEM, ML-DSA) temelinde matrix-vector çarpımı ve NTT (Number Theoretic Transform) kullanır. Bu işlemler SIMD komutlarıyla hızlandırılabilir ve FPGA/ASIC implementasyonlarına uygundur. ARM Cortex-A53 (1.2 GHz) üzerinde ML-KEM-768 keygen yaklaşık 150 μs, ML-DSA-65 sign yaklaşık 1.2 ms sürer — çoğu uygulama için kabul edilebilir.
Kritik soru şudur: bu işlemler zaman kısıtlamalı döngülerde (real-time loop) mi yapılacak, yoksa başlangıçta bir kere mi? TLS handshake başlangıçta olduğu için genellikle kabul edilebilir. Ama her paket imzalanıyorsa (bazı güvenlik protokollerinde olduğu gibi) imza doğrulama süresi darboğaz olabilir.
Geçiş Yol Haritası
NIST, federal kurumlar için crypto agility roadmap yayınladı. Havacılık sektörü için uyarlanmış bir versiyon:
Faz 1 (2025-2027): Keşif ve envanter. Mevcut sistemlerde hangi kriptografik algoritmaların, nerede ve ne amaçla kullanıldığını belirlemek. Yazılım güncelleme mekanizmaları, data link’ler, kimlik doğrulama, EFB iletişimi, bakım terminalleri — hepsi incelenmeli. Her kullanım noktası için HNDL riskini değerlendirmek.
Faz 2 (2027-2030): Pilot uygulama. Kritik olmayan bir sistemde hibrit PQC uygulamasını test etmek. Yer bakım terminalleri veya EFB iletişimi iyi adaylardır — sertifikasyon yükü düşük ama gerçek dünya deneyimi kazandırır. Benchmark sonuçlarını hedef platformlarda ölçmek.
Faz 3 (2030-2035): Sertifiye geçiş. Pilot uygulama sonuçlarına dayanarak, kritik sistemlerde hibrit PQC’ye geçişin sertifikasyonunu başlatmak. Bu aşama uzun ve maliyetli olacaktır — ama Faz 1 ve 2’de kazanılan deneyim süreci hızlandıracaktır.
Faz 4 (2035+): Saf PQC. Klasik algoritmaların tamamen terk edilmesi. Bu aşama, kuantum bilgisayarların pratik kırma kapasitesine ulaşıp ulaşmadığına bağlı olarak hızlandırılabilir veya ertelenebilir.
Crypto Agility
PQC geçişinin öğrettiği en önemli ders, “crypto agility” kavramının gerekliliğidir. Kriptografik algoritmaları sistem tasarımında sabit kodlamak yerine, değiştirilebilir bir soyutlama katmanı arkasına almak gerekir.
Pratikte bu, algoritmayı hardcode etmek yerine bir konfigürasyon parametresi olarak tanımlamak, anahtar ve imza boyutlarını sabit değer olarak değil dinamik olarak yönetmek ve kriptografik kütüphaneyi değiştirmenin tüm sistemi yeniden sertifiye etmeyi gerektirmemesi için modüler bir mimari kurmak anlamına gelir.
DO-178C perspektifinden crypto agility, iyi tanımlanmış arayüzler ve modüler tasarım gerektirir. Kriptografik işlemler tek bir modülde izole edilmeli ve bu modülün değiştirilmesi, sistemin geri kalanını etkilememelidir. Bu, aynı zamanda iyi yazılım mühendisliği pratiğidir — bağımlılıkları azaltmak ve değişikliğin etkisini sınırlamak.
Sonuç
Post-quantum kriptografi havacılık sektörü için “gelecekte bir gün düşünürüz” meselesi değil. HNDL tehdidi bugün aktif, sertifikasyon süreçleri uzun ve platform ömürleri onlarca yıl. NIST standartları yayınlandı, kütüphaneler olgunlaşıyor ve hibrit yaklaşımlar test ediliyor.
Kuantum bilgisayarlar ne zaman gelir bilinmez. Ama hazırlık bugün başlar. Envanter çıkarmak, risk değerlendirmesi yapmak ve crypto agility prensiplerini uygulamak — bunlar bugün atılabilecek somut adımlardır.
Gelecek yazılarda liboqs ile hands-on PQC testleri yapacağız — gerçek performans rakamları, hibrit TLS bağlantısı kurulumu ve gömülü ARM platformlarında benchmark sonuçları paylaşacağız.