1976-yil. Whitfield Diffie va Martin Hellman quyidagi savolni qo'ydi: ochiq kanal orqali eshitib turgan hujumchi mavjud bo'lsa ham, ikki tomon maxfiy kalit yaratishning usuli bormi? Bu savolning javobi internet xavfsizligini o'zgartirdi. ## 🔄 Eslab ko'ring > Oldingi darsda `a^b mod n` ifodani o'rgandik. Bu ifodaning «bir tomonliligi» — kriptografiyaning asosi deyildi. Diffie-Hellman aynan shu xususiyatdan foydalanadi. Eslab ko'ring: `pow(5, 6, 23)` qanday natija beradi? ## 🔍 Darsdan oldin bir daqiqa > **O'ylab ko'ring:** Ikki kishi ochiq joyda gaplashyapti — hamma eshitadi. Baribir ular shunday muloqot qilishi mumkinki, hech kim ularning «maxfiy kodi»ni tushunmaydi. Qanday? > _(Javobingizni eslab qoling — dars oxirida fikringiz o'zgarganini ko'rasiz.)_ ## 🎯 Bu darsdan keyin siz - Diffie-Hellman nima uchun inqilobiy kashfiyot ekanini tushunasiz - Rang aralashtirish analogiyasi bilan mexanizmni tushuntirib bera olasiz - Matematik versiyani qo'lda kichik sonlar bilan hisoblaysiz - Man-in-the-Middle (MitM) hujumini va uning sababi nimani bilasiz - Python'da to'liq DH misol yozasiz ## 🌍 Rang aralashtirish analogiyasi Bu — Diffie-Hellman ni tushunishning eng aniq usuli. Alice va Bob ochiq joyda — hamma ko'radi: ```text title="Rang aralashtirish" 1. Ular umumiy rang tanlaydi: SARIQ (hamma ko'radi) 2. Alice o'z maxfiy rangi: QIZIL (faqat Alice biladi) 3. Bob o'z maxfiy rangi: KO'K (faqat Bob biladi) 4. Alice aralashtirib yuboradi: SARIQ + QIZIL = TO'Q SARIQ 5. Bob aralashtirib yuboradi: SARIQ + KO'K = YASHIL (hamma ko'radi: sariq, to'q sariq, yashil) 6. Alice oladi: TO'Q SARIQ + QIZIL = JIGARRANG 7. Bob oladi: YASHIL + KO'K = JIGARRANG Ikkalasi ham bir xil JIGARRANG! ``` Hujumchi sariq, to'q sariq, yashilni ko'rdi — lekin jigarrangni olib bilolmadi. Chunki ranglarni «ajratib olish» imkonsiz. ```mermaid flowchart TD Y["Umumiy: SARIQ"] --> AM["Alice: +QIZIL = TO'Q SARIQ"] Y --> BM["Bob: +KO'K = YASHIL"] AM -->|"ochiq kanalda"| BX["Bob: +KO'K = JIGARRANG"] BM -->|"ochiq kanalda"| AX["Alice: +QIZIL = JIGARRANG"] AX --> S["Umumiy maxfiy: JIGARRANG"] BX --> S ``` ## 📖 Diffie-Hellman — ta'rif **Diffie-Hellman kalit almashish** (DH — Diffie-Hellman Key Exchange) — bu ikki tomon ochiq kanal orqali xabar almashib, faqat ularga ma'lum bo'lgan umumiy son (kalit) yaratadigan protokol. Bu son keyinchalik AES kabi simmetrik shifrlash kaliti sifatida ishlatiladi. !!! warning "Diqqat — keng tarqalgan adashish" DH **shifrlash algoritmi emas** — faqat kalit **almashish** protokoli. U xabarni shifrlamaydi; u faqat ikki tomonga bir xil maxfiy sonni «yaratib beradi». Shifrlash keyin AES bilan bo'ladi. ## 🛡️ Nima uchun xavfsizlik uchun muhim DH dan oldin ikkita tomon xavfsiz aloqa o'rnatish uchun oldindan uchrashib, kalit kelishib olishi kerak edi. DH bu talabni bartaraf qildi. Bugungi TLS (Transport Layer Security — internet trafigini shifrlash protokoli) ning asosi shu. ## 🔎 Diffie-Hellman — amaliy hisoblash **Ochiq parametrlar (hamma biladi):** - `p = 23` — tub son (modul) - `g = 5` — generator (odatda kichik: 2, 3 yoki 5) **Alice tomoni:** ```python title="dh_alice.py" p = 23 g = 5 # Alice o'z maxfiy sonini tanlaydi a = 6 # faqat Alice biladi, hech kimga bermaydi # Alice ochiq qiymat hisoblaydi A = pow(g, a, p) print(f"Alice Bob ga yuboradi: A = {A}") # A = 5^6 mod 23 = 8 ``` **Bob tomoni:** ```python title="dh_bob.py" # Bob o'z maxfiy sonini tanlaydi b = 15 # faqat Bob biladi # Bob ochiq qiymat hisoblaydi B = pow(g, b, p) print(f"Bob Alice ga yuboradi: B = {B}") # B = 5^15 mod 23 = 19 ``` **Umumiy kalit — ikkala tomon bir xil natijaga keladi:** ```python title="dh_shared.py" # Alice oladi: B^a mod p alice_s = pow(B, a, p) # pow(19, 6, 23) # Bob oladi: A^b mod p bob_s = pow(A, b, p) # pow(8, 15, 23) print(f"Alice ning kaliti: {alice_s}") print(f"Bob ning kaliti: {bob_s}") print(f"Bir xil? {alice_s == bob_s}") # Alice ning kaliti: 2 # Bob ning kaliti: 2 # Bir xil? True ``` **Nima uchun bir xil natija?** Matematik sabab qisqa — ikkala tomon ham aslida $g^{ab} \bmod p$ ni hisoblaydi: $$ B^{a} \bmod p = (g^{b})^{a} \bmod p = g^{ab} \bmod p = (g^{a})^{b} \bmod p = A^{b} \bmod p $$ ```text title="Darajalar bir xil joyga keladi" B^a mod p = (g^b)^a mod p = g^(ab) mod p A^b mod p = (g^a)^b mod p = g^(ab) mod p ^^^^^ bir xil ^^^^^ ``` **Eve (hujumchi) nima biladi?** ```text title="Ochiq kanaldagi ma'lumot" p = 23, g = 5, A = 8, B = 19 <- ochiq kanal ``` Eve `a = 6` ni topishi kerak, ya'ni `5^a mod 23 = 8` tenglamasini yechishi. Bu — **diskret logarifm masalasi** (discrete logarithm problem). Kichik sonlarda oson, lekin `p` 2048 bitlik son bo'lsa — hozirgi kompyuterlar uchun imkonsiz. **Ketma-ketlik diagrammasi — DH oqimi:** ```mermaid sequenceDiagram participant A as Alice participant E as Eve (tinglaydi) participant B as Bob Note over A,B: Ochiq: p=23, g=5 Note over A: a=6 (sir) Note over B: b=15 (sir) A->>B: A = g^a mod p = 8 Note over E: A=8 ni ko'rdi B->>A: B = g^b mod p = 19 Note over E: B=19 ni ko'rdi Note over A: s = B^a mod p = 2 Note over B: s = A^b mod p = 2 Note over E: a yoki b siz s ni topa olmaydi ``` **So'z diagrammasi — DH oqimi (matn ko'rinishida):** ```text title="DH oqimi" Alice Ochiq kanal Bob ------ ----------- --- a (sir) p, g (ommaviy) b (sir) A = g^a mod p ->->-> A ko'rinadi ->->-> A qabul B qabul <-<-<- B ko'rinadi <-<-<- B = g^b mod p s = B^a mod p s = A^b mod p | | ikkalasi ham s = g^(ab) mod p — bir xil! ``` ## Diffie-Hellman — kuchli va zaif tomonlar **Kuchli tomonlari:** - Ochiq kanal orqali xavfsiz kalit almashish - Ephemeral (vaqtinchalik) DH'da Forward Secrecy - Matematik jihatdan sodda va elegant **Zaif tomoni — Man-in-the-Middle (MitM):** Mallory Alice va Bob orasiga kiradi: ```mermaid flowchart LR A["Alice"] <-->|"DH #1"| M["Mallory
(o'rtada)"] M <-->|"DH #2"| B["Bob"] M -.->|"hamma narsani
o'qiydi"| L[("Tinglash")] ``` Mallory Alice bilan alohida DH o'tkazadi, Bob bilan alohida DH o'tkazadi. Alice va Bob bir-biri bilan gaplashayaptimiz deb o'ylaydi — aslida Mallory hamma narsani o'qiydi. !!! danger "DH ning katta zaifligi" DH faqat kalit almashadi, lekin **kim bilan** almashayotganini tekshirmaydi. Yechim: Autentifikatsiya — raqamli imzo yoki sertifikat. Shuning uchun HTTPS da DH yolg'iz emas — sertifikat bilan birga ishlatiladi. ## ⚠️ Keng tarqalgan xatolar | Noto'g'ri tushuncha | Haqiqat | |---------------------|---------| | "DH = shifrlash" | DH faqat kalit almashadi, shifrlash emas. Kalit keyinchalik AES'ga beriladi | | "DH MitM'ga qarshi himoyali" | DH autentifikatsiyani ta'minlamaydi — MitM uchun zaif | | "Kichik `p` xavfsiz" | `p` kamida 2048 bit bo'lishi shart — kichikroq bo'lsa buziladi | ??? note "Tez tekshiruv: javobni ko'rish uchun bosing" **Savol:** DH protokolida Alice va Bob ochiq kanal orqali `A` va `B` qiymatlarini almashdi. Eve ham `A` va `B` ni ko'rdi. Eve umumiy kalitni hisoblay oladimi? Yo'q (agar parametrlar to'g'ri tanlangan bo'lsa). Eve `A = g^a mod p` dan `a` ni topishi kerak — bu diskret logarifm masalasi. `p` 2048 bitlik son bo'lsa, hozirgi kompyuterlar uchun bu amaliy jihatdan imkonsiz. Eve `A`, `B`, `p`, `g` ni biladi, lekin umumiy kalitni hisoblash uchun `a` yoki `b` ni bilishi kerak. ## ⚖️ Etika eslatmasi !!! danger "Faqat o'z lab muhitida" Biz DH ni CTF laboratoriyasida kichik parametrlar bilan buzishni o'rganishimiz mumkin — bu o'rganish uchun to'g'ri. Haqiqiy tizimda DH trafikini ushlab tahlil qilish, MitM hujumini amalga oshirish O'zR JK 278-modda bo'yicha jinoiy javobgarlik. Faqat o'z lab muhiti yoki ruxsat berilgan tizim. ## ✅ Eng muhimi - DH — ochiq kanal orqali maxfiy kalit yaratish protokoli - Rang aralashtirish: umumiy rang + maxfiy rang = almashish, natijada bir xil «jigarrang» - Matematik asos: diskret logarifm masalasi — `g^a mod p` dan `a` ni topish qiyin - DH autentifikatsiya qilmaydi — MitM hujumiga zaif, imzo/sertifikat kerak - Zamonaviy TLS 1.3 da ECDHE (elliptik egri DH) ishlatiladi ## ➡️ Keyingi qadam **Keyingi dars:** RSA — DH dan farqli ravishda shifrlash ham, raqamli imzo ham qo'yish imkonini beruvchi algoritm. **Hayotda qo'llang:** Python'da `p=23, g=5, a=6, b=15` bilan DH misol yozing, umumiy kalitni hisoblang. **1 soatdan keyin eslab ko'ring:** DH da nima almashiladi (ochiq), nima sir saqlanadi, umumiy kalit qanday hosil bo'ladi — yozmasdan tushuntiring.

RSA va Diffie-Hellman tushunchalari

Kirish