İçeriğe geç
🚀 Bu rehber açık kaynaklıdır ve katkılarınıza açıktır! Katkıda bulunmak, hata bildirmek veya öneri sunmak için GitHub Depomuzu ziyaret edin ve Pull Request açın.

Yan Kanal Saldırıları (Side-Channel Attacks) ve Donanımsal Sıkılaştırma

Yan Kanal Saldırıları ve Donanımsal Sıkılaştırma

Yan kanal saldırıları (Side-Channel Attacks — SCA), kriptografik sistemin matematiksel zayıflığını değil; enerji tüketimi, elektromanyetik yayılım, zamanlama veya mikro-mimari durum değişimleri gibi fiziksel yan etkilerini analiz ederek gizli bilgileri elde etmeyi hedefler. Modern CPU’ların spekülatif yürütme optimizasyonları (Spectre, Meltdown ve türevleri) bu tehdit sınıfını yazılım katmanına taşımıştır.

Fortune 500 ölçeğindeki kurumsal yapılarda bu katman; veri merkezi fiziksel güvenlik zonları (Red/Black ayrımı), HSM cluster’ları, kripto işlem sunucuları ve çok-kiracılı bulut host’ları üzerinde konumlanır. Üst katmanlardaki (uygulama, ağ, kimlik) kontroller atlatıldığında son savunma hattı görevi görür. Bu bölüm, fiziksel yan kanal teorisi, transient execution zafiyetleri, mikrokod/çekirdek mitigasyonları, HSM sıkılaştırması ve SOC entegrasyonunu kapsar. Kriptografi temelleri §5.1 bölümünde; donanım kökü güvenliği §3.1 bölümünde tanımlanır.

Yan kanal saldırı vektörleri ve savunma katmanları Yan kanal saldırı vektörleri ve çok katmanlı savunma mimarisi


§3.3.1.Güç Analizi ve Elektromanyetik Yayılım

Fiziksel Sızıntı Teorisi

CMOS entegre devreler, lojik geçişlerde parazit kapasitörlerin şarj/deşarj olmasıyla akım çeker. Bu dinamik güç tüketimi, işlenen verinin yapısına göre mikroskobik düzeyde değişir.

Hamming Weight (HW) modeli: Bir veri yolundaki lojik 1 bit sayısı güç tüketimiyle doğru orantılıdır:

P(t) = α · HW(data) + β

Hamming Distance (HD) modeli: Yazmaç durum geçişlerindeki bit farkları (XOR Hamming ağırlığı) güç tüketimini belirler; paralel veri yollarında HW’den daha doğrudur.

Güç Analizi Saldırıları

SaldırıMekanizmaHedef
SPA (Simple Power Analysis)Tek güç izinde RSA üs alma adımlarını görsel ayırt etmeRSA, ECC
DPA (Differential Power Analysis)Binlerce izin istatistiksel korelasyonuAES-128/256
CPA (Correlation Power Analysis)Pearson/Hamming distance korelasyonuGenel simetrik şifreler

DPA, “Ortalamaların Farkı” yöntemini kullanır: tahmin edilen anahtar adayları için güç izleri iki kümeye ayrılır; doğru anahtar zaman alanında belirgin DPA tepe noktaları oluşturur. ~500.000 güç izi ile AES anahtarı kurtarılabilir.

Yazılım Tabanlı Modern Varyant: PLATYPUS

Fiziksel erişim olmadan Intel RAPL (Running Average Power Limit) arayüzü üzerinden güç telemetrisi okunarak AES-NI, SGX enclave veya kernel anahtarları sızdırılabilir. Co-located VM veya process senaryolarında (cloud/multi-tenant) ciddi tehdit oluşturur.

Güç analizi saldırı düzeneği Güç analizi saldırı düzeneği: hedef cihaz, osiloskop ve diferansiyel prob

Elektromanyetik Analiz (EMA)

Entegre devreler her clock cycle için karakteristik EM alan yayar. Near-field anten + osiloskop veya SDR ile 1-2 metre mesafeden kayıt mümkündür (van Eck phreaking). EMA, güç hattına fiziksel müdahale gerektirmez; belirli bir alt birime (kripto hızlandırıcı) odaklanabilir.

2025’te yayınlanan PhaseSCA çalışması, EM yayılımlarda faz modülasyonlu sızıntıları keşfetmiş; ucuz SDR donanımıyla tam AES anahtar kurtarma mümkün hale gelmiştir.

flowchart TB
  subgraph Fiziksel["Fiziksel Yan Kanal"]
    DPA["DPA / CPA"]
    EMA["EMA"]
    TEM["TEMPEST"]
  end
  subgraph Mikro["Mikro-Mimari"]
    SPEC["Spectre"]
    MELT["Meltdown"]
    PLAT["PLATYPUS / RAPL"]
  end
  subgraph Savunma["Savunma Katmanlari"]
    MASK["Maskeleme / HSM"]
    ZIRH["TEMPEST Zirhlama"]
    KPTI["KPTI / Retpoline"]
  end
  DPA --> MASK
  EMA --> ZIRH
  TEM --> ZIRH
  SPEC --> KPTI
  MELT --> KPTI
  PLAT --> MASK
PhaseSCA ve EM faz modülasyonu saldırısı (derinlemesine)

Geleneksel EMA, genlik modülasyonuna odaklanırken PhaseSCA faz modülasyonlu sızıntıları keşfeder. Ucuz SDR (Software Defined Radio) donanımı ve osiloskop ile AES anahtarının tam kurtarılması mümkün hale gelmiştir.

Savunma katmanları:

  • Donanım: TEMPEST Level A/B zırhlama (≥100 dB sönümleme), FIPS 140-3 Level 3/4 HSM
  • Algoritma: Yüksek mertebe maskeleme (higher-order masking), sabit-zamanlı implementasyon
  • Operasyonel: Red/Black zone ayrımı, HSM cluster’larında fiziksel erişim kontrolü

Savunma Stratejileri

1. Sabit Zamanlı (Constant-Time) Kriptografi

// Timing-safe karşılaştırma
int constant_time_memcmp(const void *a, const void *b, size_t n) {
const unsigned char *ca = a, *cb = b;
unsigned char result = 0;
for (size_t i = 0; i < n; i++)
result |= ca[i] ^ cb[i];
return result;
}

2. Maskeleme (Masking) ve Gizleme (Hiding)

  • Birinci mertebe maskeleme: DPA’ya karşı etkili; yüksek mertebe ikinci/üçüncü mertebe saldırılara direnç.
  • Rastgele jitter, yapay gürültü jeneratörleri, dual-rail dynamic logic.

3. Donanım Hızlandırma

  • AES-NI: Tablo aramaları yerine sabit-zamanlı yürütme; cache-timing saldırılarına avantaj.

OpenSSL, libsodium, BearSSL gibi sabit-zamanlı kütüphaneler tercih edilmelidir.


§3.3.2.TEMPEST ve Fiziksel Ekranlama

TEMPEST (Telecommunications Electronics Materials Protected from Emanating Spurious Transmissions), NSA/CSS ve NATO’nun istenmeyen EM yayılımlara karşı koruma standartlarının genel adıdır. Red/Black konseptinde hassas (Red) sinyaller normal (Black) sinyallerden fiziksel ve elektriksel olarak izole edilir.

NATO SDIP-27 Seviyeleri

SeviyeNATO KarşılığıZoneMesafe VarsayımıMühendislik Gereksinimi
Level AFULMAR / NSTISSAM IZone 0~1 m (komşu oda)Tam ekranlı cihaz, güç filtresi
Level BBREVEL / NSTISSAM IIZone 1~20 mFerrit nüveli kablolar, filtrelenmiş güç
Level CCONUS / NSTISSAM IIIZone 2~100 m (taktik)Endüstriyel metal kasa, topraklama

Deklasifiye NSA spesifikasyonu: 1 kHz–10 GHz arası minimum 100 dB ekleme kaybı (insertion loss). Emisyon limitlerinin gerçek değerleri gizlidir.

Fiziksel Koruma Yöntemleri

  • Faraday kafesi: Şasi tasarımında EM dalga sızmasını engeller.
  • Ferrit halkalar (beads): Yüksek frekanslı parazitleri sönümler.
  • LC güç filtreleri: Conducted emissions önleme.
  • Absorber foam, masking noise jeneratörleri: SNR düşürme.

TEMPEST koruma seviyeleri ve zone sınıflandırması TEMPEST koruma seviyeleri ve fiziksel zone sınıflandırması


§3.3.3.Transient Execution Zafiyetleri (Spectre, Meltdown ve Türevleri)

2018’de Google Project Zero tarafından açıklanan Meltdown ve Spectre, modern CPU’ların spekülatif yürütme ve out-of-order execution optimizasyonlarını istismar eder. Yanlış tahmin sonuçları geri alınır (retire edilmez) ama L1 veri cache’indeki mikro-mimari yan etkiler geri alınmaz.

Temel Mekanizma

CPU Branch → Spekülatif Tahmin → Out-of-Order Exec → Yetki kontrolünden önce bellek oku
Tahmin yanlış → İptal
Mikro-mimari iz kalır (cache)
Flush+Reload → Veri sızdırma

Zafiyet Tablosu

SaldırıCVEHedefMikro-mimari Nedeni
MeltdownCVE-2017-5754Intel (6-11. Nesil), bazı ARMGecikmeli user/supervisor yetki kontrolü
Spectre v1CVE-2017-5753Intel, AMD, ARM, RISC-VBounds check bypass (BPU)
Spectre v2CVE-2017-5715Intel, AMD, ARMBranch target injection (BTB)
Foreshadow/L1TFCVE-2018-3615/3620/3646Intel SGX, kernel, VMML1 terminal fault
MDS (ZombieLoad/RIDL/Fallout)CVE-2018-12126/30/27IntelStore/Fill/Load buffer sızıntısı
TAA (ZombieLoad v2)CVE-2019-11135Intel TSXTSX Async Abort
RetbleedCVE-2022-29900/01Intel 6-8, AMD Zen 1-2RSB boşalması, Retpoline bypass
Downfall (GDS)CVE-2022-40982Intel Gather (Skylake-Tiger Lake)Vektör register sızıntısı; SGX bypass
Inception (SRSO)CVE-2023-20569Tüm AMD Zen (Zen 4 dahil)Phantom jumps, RET tahmin manipülasyonu
ZenbleedCVE-2023-20593AMD Zen 2Vector register sızıntısı
HertzbleedCVE-2022-24436/23823Intel, AMD, AmpereDVFS frekans yan kanalı
Collide+PowerCVE-2023-20583Tüm CPUPaylaşımlı güç hattı
LVI, RETBleed, BHICVE-2020-0551 / CVE-2022-0001IntelLoad value injection, branch history

Spectre ve Meltdown mikro-mimari sızıntı mekanizması Spekülatif yürütme sırasında önbellek yan etkilerinin kalıcılığı

Flush+Reload Sömürme Metodolojisi

  1. Flush: clflush ile paylaşım dizisinin tüm satırları cache’den temizlenir.
  2. Tetikleme: Hedef spekülatif yürütmeye zorlanır; gizli veri paylaşım_dizisi[veri * 4096] ile cache’e yüklenir.
  3. Reload: Her sayfa elemanına erişim süresi rdtscp ile ölçülür; hızlı erişim (< 50 döngü) = veri cache’de = sızan veri.
unsigned long long t1, t2;
volatile unsigned char *addr = &shared_array[index * 4096];
t1 = __rdtscp(&aux);
*addr; // cache hit test
t2 = __rdtscp(&aux);
// (t2 - t1) < 50 → cache hit → secret byte = index

Downfall ve Inception Derinlemesi

Downfall (Daniel Moghimi, Google): Gather komutu spekülatif yürütme sırasında iç vektör register dosyasını sızdırır. Skylake’ten Tiger Lake’e kadar etkiler; Intel SGX’i baltalar. Intel’e Ağustos 2022’de bildirildi, kamu açıklaması 9 Ağustos 2023.

Inception (ETH Zurich): RET dönüş adresi tahminini manipüle eder; Phantom speculation (CVE-2022-23825) + Training in Transient Execution (TTE) kombinasyonu. Tüm AMD Zen CPU’larda keyfi kernel belleği sızdırır.

Hertzbleed: DVFS güç tüketimine bağlı frekans değişimini uzaktan timing’e çevirir. Intel “tüm işlemciler etkilenmiştir” dedi; ne Intel ne AMD yama yayımladı — savunma uygulama/kripto kütüphane seviyesindedir (masking, key rotation, Turbo devre dışı).

Transient execution zafiyet ailesi zaman çizelgesi 2018’den bu yana ortaya çıkan transient execution zafiyet ailesi


§3.3.4.Mikrokod Güncellemeleri ve Çekirdek Seviyesi İzolasyon

Mikrokod Dağıtımı

Intel intel-microcode ve AMD mikrokod paketleri OS seviyesinde dağıtılır; kalıcı yamalar UEFI/AGESA üzerinden gelir. Çoğu Spectre v2 ve MDS düzeltmesi mikrokod + OS + hipervizör birlikte gerektirir.

Terminal window
grep . /sys/devices/system/cpu/vulnerabilities/*
dmesg | grep -i microcode

Örnek çıktı:

spectre_v2: Mitigation: Enhanced IBRS, IBPB: conditional, RSB filling
meltdown: Mitigation: PTI
mds: Mitigation: Clear CPU buffers; SMT disabled
downfall: Mitigation: Clear CPU buffers

Kernel İzolasyon Mekanizmaları

MekanizmaHedefAçıklamaPerformans
KPTI (PTI)MeltdownKernel/user sayfa tablolarını ayırır%5-30 (I/O yoğun)
RetpolineSpectre v2Indirect call/jump → return trampolineDüşük
IBRS/IBPBSpectre v2Mikrokod MSR: SPEC_CTRLOrta
eIBRSSpectre v2Boot’ta bir kez set; modern Intel’de düşük overheadDüşük
STIBPCross-threadSMT üzerinden branch predictor izolasyonuOrta-yüksek
SSBDSpeculative Store BypassStore bypass devre dışıDüşük
SMEP/SMAPExecution/AccessSupervisor mode korumasıMinimal
CETROP/JOPShadow stack + indirect branch trackingDüşük

KPTI (Kernel Page Table Isolation) mimarisi KPTI: kernel ve user-space sayfa tablolarının ayrılması

PCID/INVPCID (Westmere 2010 / Haswell 2013) KPTI overhead’ini önemli ölçüde azaltır. eIBRS destekli modern CPU’larda retpoline çalışma zamanında otomatik devre dışı kalır.

SMT (Hyper-Threading) Yönetimi

MDS CVE’leri için SMT devre dışı bırakma tam mitigasyon gerektirebilir; ciddi performans etkisi taşır. Hassas workload’larda (HSM host, kripto sunucu, çok-kiracılı bulut) SMT kapatılması önerilir.

Terminal window
cat /sys/devices/system/cpu/smt/active
# 0 = SMT disabled

Sanallaştırma Ortamları

  • AMD SEV (Secure Encrypted Virtualization): VM bellek şifreleme; cross-VM Spectre yüzeyini daraltır.
  • Intel TDX (Trust Domain Extensions): İzole trust domain’ler; bulut ortamında bellek koruması.
  • Proxmox/KVM: kvm_intel / kvm_amd modül parametreleri ile mitigations zorunlu; nested virtualization’da IBPB on VMEXIT.

§3.3.5.Kriptografik Donanım Sıkılaştırması ve HSM

HSM (Hardware Security Module)

Thales Luna, Entrust nShield (nCipher), AWS CloudHSM. Finansal/ödeme HSM’leri ve CA özel anahtarları tipik olarak FIPS 140-3 Level 3 hedefler.

FIPS 140-3 Seviyeleri

SeviyeGereksinimler
Level 3Tamper-detection ve tepki (CSP zeroization); identity-based auth; fiziksel/mantıksal arayüz ayrımı; EFP/EFT
Level 4Her yönden tamper tespiti; çevresel arıza koruması; fault injection koruması; çok faktörlü kimlik doğrulama

FIPS 140-3’te yan kanal testi (non-invasive security) opsiyonel gereksinim olarak eklendi. Level 4 bile yüksek-mertebeli yan kanal veya lazer fault injection’ı kapsamaz; düzenli güvenlik değerlendirmesi şarttır.

ROCA (CVE-2017-15361) — Infineon TPM

Infineon RSALib 1.02.013 “Fast Primes” RSA asal üretimi, Coppersmith saldırısıyla genel anahtardan özel anahtar hesaplanmasına izin verir. 512, 1024 ve 2048-bit anahtarlar etkilenir.

  • Küresel TPM’lerin yaklaşık dörtte biri etkilendi.
  • Estonya ~750.000 e-kimlik kartı askıya alındı/yenilendi.
  • 1024-bit: ~97 vCPU günü ($40-80); 2048-bit: ~51.400 vCPU günü ($20.000-40.000).
  • Windows TPM.MSC Event ID 1794; NSA aracı: nsacyber/Detect-CVE-2017-15361-TPM.

§3.3.6.Savunma Araçları ve SOC Entegrasyonu

Zafiyet Tarama ve Test

Terminal window
# spectre-meltdown-checker
sudo ./spectre-meltdown-checker.sh
# Kernel mitigation durumu
for f in /sys/devices/system/cpu/vulnerabilities/*; do
echo "$f: $(cat $f)"
done
# Retpoline kontrolü
grep CONFIG_MITIGATION_RETPOLINE /boot/config-$(uname -r)
Araçİşlev
spectre-meltdown-checkerCPU zafiyet/mitigasyon fleet-wide compliance
ChipWhispererDPA/EMA saldırı simülasyonu ve donanım dayanıklılık testi
Wazuh SCAKernel vulnerability telemetry + compliance skorları

Wazuh / SIEM Kuralı Örneği

<group name="hardware,vulnerability,">
<rule id="100501" level="12">
<decoded_as>json</decoded_as>
<field name="vulnerability">Mitigation: None</field>
<description>CRITICAL: CPU transient execution zafiyeti için mitigasyon uygulanmamış</description>
<mitre><id>T1622</id></mitre>
</rule>
</group>

Altyapı Sıkılaştırma Kontrol Listesi

KontrolKomut / EylemHedef
Mikrokod günceldmesg | grep microcodeEn son sürüm
KPTI aktifgrep meltdown /sys/.../vulnerabilities/meltdownMitigation: PTI
Retpoline/eIBRSgrep spectre_v2 /sys/.../vulnerabilities/spectre_v2Enhanced IBRS
SMT durumucat /sys/devices/system/cpu/smt/activeKritik host’ta 0
ROCA testiDetect-CVE-2017-15361-TPMTüm TPM’ler
Constant-time cryptoOpenSSL/BearSSL build doğrulamaÜretim uygulamaları

§3.3.7.Standartlar, Mevzuat ve Uyum

Uluslararası Standart Eşlemesi

ISO 27001:2022NIST SP 800-53 Rev. 5CIS Controls v8
A.8.24 Use of cryptographySC-12/13 Key establishment/managementControl 3
A.11.1 Physical security perimeterPE-18 Location of componentsControl 5
A.8.8 Vulnerability managementSC-39 Process isolationControl 7
A.8.24 CryptographySC-28 Protection at restControl 3

MITRE ATT&CK yan kanal eşlemesi:

TeknikKodAçıklamaTespit / Savunma
Weaken EncryptionT1600Zayıf RNG, ROCA TPMTPM firmware taraması, Event 1794
Debugger EvasionT1622Anti-debug, timing checkEDR davranış analizi
Exploit Public-FacingT1190RAPL/PLATYPUS sömürüsüRAPL erişim kısıtlama, izolasyon
Data from Local SystemT1005Cache timing ile bellek okumaKPTI, constant-time crypto

NIST SP 800-53 SC-12 (Cryptographic Key Establishment) ve SC-13 (Cryptographic Protection), HSM ve anahtar yönetimi gereksinimlerini tanımlar; yan kanal saldırılarına karşı FIPS 140-3 Level 3+ hedeflenmelidir.

Türkiye Mevzuatı

KVKK (6698) — MADDE 12: Kişisel verilerin korunması için donanım seviyesinde yeterli güvenlik önlemleri. Yan kanal ile anahtar sızıntısı veri ihlali olarak değerlendirilir; 72 saat içinde bildirim zorunluluğu.

5651 Sayılı Kanun: Erişim/hosting sağlayıcı log tutma yükümlülüğü (1-2 yıl). Donanım güvenlik olaylarına ilişkin loglar bu kapsamdadır.

BDDK Yönetmeliği: Kripto anahtar yönetimi, HSM prosedürleri, fiziksel güvenlik (MADDE 17), loglama ve olay yönetimi zorunludur.

7545 Sayılı Siber Güvenlik Kanunu (2025): Kritik altyapı koruması; ulusal siber savunma yükümlülükleri güçlendirildi.


§3.3.8.Sonuç ve Mimari Tavsiyeler

Yan kanal saldırıları kriptografik algoritmaların matematiksel gücünü değil, donanımın fiziksel ve mikro-mimari zaaflarını hedef alır. Savunma derinliği yaklaşımı üç katmanlı strateji gerektirir.

Üç Katmanlı Savunma

KatmanKontroller
DonanımTEMPEST zırhlama, mikrokod güncellemeleri, SMT yönetimi, FIPS 140-3 HSM
İşletim SistemiKPTI, Retpoline, eIBRS/STIBP/SSBD, CET
UygulamaSabit-zamanlı kriptografi, maskeleme, AES-NI, key rotation

Operasyonel Öncelikler

AşamaSüreEylem
0 — Envanter0-30 güngrep vulnerabilities/* fleet taraması; Mitigation: None host’ları işaretle
1 — Yamalama30-90 günMikrokod + OS + hipervizör eşzamanlı; ROCA testi tüm TPM’lerde
2 — Mimari90-180 günKripto operasyonlarını FIPS 140-3 L3 HSM’e taşı; SEV/TDX değerlendir
3 — SürekliDevamspectre-meltdown-checker compliance; yeni CVE tetikleyicileri

Saldırı-Savunma Dengesi

Ofansif (Saldırgan)Defansif (Mavi Takım)
SDR + osiloskop ile EM toplarTEMPEST Level A/B zırhlama (100 dB)
500K güç izi ile DPA uygularYüksek mertebe maskeleme
Spectre v2 ile kernel verisi okurRetpoline + eIBRS
RAPL ile güç telemetrisi sızdırırRAPL erişimini kısıtla / izole et
SMT üzerinden yan kanal oluştururHassas workload’da SMT kapat
Mikrokod yamalı olmayan host hedeflerOtomatik güncelleme politikası

Mimari Referans Modeli

┌─────────────────────────────────────────────────────────────────┐
│ KATMAN 1: FİZİKSEL (TEMPEST, Faraday, HSM Level 3/4) │
├─────────────────────────────────────────────────────────────────┤
│ KATMAN 2: MİKROKOD + CPU (IBRS, eIBRS, SSBD, SMT policy) │
├─────────────────────────────────────────────────────────────────┤
│ KATMAN 3: ÇEKİRDEK (KPTI, Retpoline, CET, SMEP/SMAP) │
├─────────────────────────────────────────────────────────────────┤
│ KATMAN 4: SANALLAŞTIRMA (SEV, TDX, dedicated host) │
├─────────────────────────────────────────────────────────────────┤
│ KATMAN 5: UYGULAMA (Constant-time crypto, AES-NI, masking) │
├─────────────────────────────────────────────────────────────────┤
│ KATMAN 6: SOC (spectre-meltdown-checker, Wazuh, compliance) │
├─────────────────────────────────────────────────────────────────┤
│ UYUM: NIST SC/PE + ISO A.8.24 + KVKK + BDDK + 7545 │
└─────────────────────────────────────────────────────────────────┘

Performans ve Risk Dengesi

KPTI ve SMT disable gibi mitigations performans kaybına yol açar. Risk assessment (NIST RA-5, ISO 27001 A.8.8) ile kritik workload’lar (kripto, PII işleme) için tam mitigation, genel workload’lar için dengeli konfigürasyon uygulanır. Staging ortamında tam test + phased rollout şarttır.

Bu katman doğru kurgulandığında, üst katmanlardaki kontrollerin atlatılması durumunda bile kriptografik materyal ve hassas bellek içeriği korunur. SOC operasyonlarında bu zafiyetler “patch compliance” ve “physical security event correlation” use-case’leri olarak kalıcı izlenmelidir.