Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Hasonló dokumentumok
Diszkrét matematika I.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika I.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika I.

Waldhauser Tamás december 1.

Sapientia Egyetem, Matematika-Informatika Tanszék.

Sapientia Egyetem, Matematika-Informatika Tanszék.

Nagy Gábor compalg.inf.elte.hu/ nagy

Diszkrét matematika I.

Diszkrét matematika 1. középszint

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Sapientia Egyetem, Műszaki és Humántudományok Tanszék.

2018, Diszkre t matematika. 10. elo ada s

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy

Sapientia Egyetem, Műszaki és Humántudományok Tanszék.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Data Security: Public key

Diszkrét matematika 1. estis képzés. Komputeralgebra Tanszék ősz

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Titkosírás. Biztos, hogy titkos? Szabó István előadása. Az életben sok helyen használunk titkosítást (mobil, internet, jelszavak...

Készítette: Fuszenecker Róbert Konzulens: Dr. Tuzson Tibor, docens

Mikor van egy változó egy kvantor hatáskörében? Milyen tulajdonságokkal rendelkezik a,,részhalmaz fogalom?

Nagy Gábor compalg.inf.elte.hu/ nagy

Matematikai logika és halmazelmélet

4. Előadás Titkosítás, RSA algoritmus

RSA algoritmus. P(M) = M e mod n. S(C) = C d mod n. A helyesség igazoláshoz szükséges számelméleti háttér. a φ(n) = 1 mod n, a (a 1,a 2,...

1.1. Definíció. Azt mondjuk, hogy a oszója b-nek, vagy más szóval, b osztható a-val, ha létezik olyan x Z, hogy b = ax. Ennek jelölése a b.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy

2016, Diszkrét matematika

Diszkrét matematika I.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Algoritmuselmélet gyakorlat (MMN111G)

Nagy Gábor compalg.inf.elte.hu/ nagy

RSA algoritmus. Smidla József. Rendszer- és Számítástudományi Tanszék Pannon Egyetem

Diszkrét matematika 1. estis képzés

2017, Diszkrét matematika

1. Mondjon legalább három példát predikátumra. 4. Mikor van egy változó egy kvantor hatáskörében?

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

1. A matematikai logika alapfogalmai. 2. A matematikai logika műveletei

Nagy Gábor compalg.inf.elte.hu/ nagy

Információs társadalom alapismeretek

A matematika nyelvéről bevezetés

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Klasszikus algebra előadás. Waldhauser Tamás április 28.

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Prímtesztelés, Nyilvános kulcsú titkosítás

megtalálásának hihetetlen nehéz voltán alapszik. Az eljárás matematikai alapja a kis FERMAT-tétel egy következménye:

Emlékeztet! matematikából

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

A matematika nyelvér l bevezetés

2018, Diszkre t matematika. 8. elo ada s

Informatikai biztonság alapjai

Kongruenciák. Waldhauser Tamás

Diszkrét matematika 2.C szakirány

Nagy Gábor compalg.inf.elte.hu/ nagy

Kriptográfiai alapfogalmak

PRÍMSZÁMOK ÉS A TITKOSÍRÁS

Diszkrét matematika 2. estis képzés

Minden egész szám osztója önmagának, azaz a a minden egész a-ra.

nappali tagozat, tanítói szak TAN05MSZ Szigorlati követelmények és tételek Vizsgatematika A szigorlat követelményei:

illetve a n 3 illetve a 2n 5

Diszkrét matematika I.

1. Egészítsük ki az alábbi Python függvényt úgy, hogy a függvény meghatározza, egy listába, az első n szám faktoriális értékét:

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

Diszkrét matematika 2.C szakirány

Fábián Zoltán Hálózatok elmélet

Logika és informatikai alkalmazásai

Diszkrét matematika 2.

Diszkrét matematika 2.

Logika és informatikai alkalmazásai

Számelmélet (2017. február 8.) Bogya Norbert, Kátai-Urbán Kamilla

Diszkrét matematika I.

Kijelentéslogika, ítéletkalkulus

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika I.

Számelméleti alapfogalmak

Bizonyítási módszerek ÉV ELEJI FELADATOK

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika 2. estis képzés

Kijelentéslogika, ítéletkalkulus

SE EKK EIFTI Matematikai analízis

Diszkrét matematika 2. estis képzés

Nagy Gábor compalg.inf.elte.hu/ nagy

1. előadás: Halmazelmélet, számfogalom, teljes

Egyesíthető prioritási sor

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.C szakirány

Diszkréció diszkrét logaritmussal

Diszkrét matematika 2. estis képzés

Logika es sz am ıt aselm elet I. r esz Logika 1/36

Nagy Gábor compalg.inf.elte.hu/ nagy

Átírás:

Diszkrét matematika 1. estis képzés 2017. ősz 1. Diszkrét matematika 1. estis képzés 9. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra Tanszék 2017. ősz

Kongruenciák Diszkrét matematika 1. estis képzés 2017. ősz 2. Generátor Tétel (NB) Legyen p prímszám. Ekkor Z p-ban van generátor (primitív gyök): van olyan 1 < g < p egész, mely hatványaiként előáll minden redukált maradékosztály: {g 0 = 1, g, g 2,..., g p 2 } = Z p, azaz {1 = g 0, g mod p, g 2 mod p,..., g p 2 mod p} = {1, 2,..., p 1}. 2 generátor modulo 11: n 0 1 2 3 4 5 6 7 8 9 2 n mod 11 1 2 4 8 5 10 9 7 3 6 2 nem generátor modulo 7: n 0 1 2 3 4 5 2 n mod 7 1 2 4 1 2 4

Kongruenciák Diszkrét matematika 1. estis képzés 2017. ősz 3. Diszkrét logaritmus Definíció Legyen p prímszám, g generátor modulo p. Ekkor az a Z (p a) g alapú diszkrét logaritmusa (indexe): log g a = n : a g n (modp), 0 n < p. 3 generátor modulo 7: n 0 1 2 3 4 5 3 n 1 3 2 6 4 5 azaz a 1 3 2 6 4 5 log 3 a 0 1 2 3 4 5 3n 1 3 2 6 4 5 n 0 1 2 3 4 5 a 1 2 3 4 5 6 log 3 a 0 2 1 4 5 3

Kongruenciák Diszkrét matematika 1. estis képzés 2017. ősz 4. Diszkrét logaritmus 2 generátor modulo 11: n 0 1 2 3 4 5 6 7 8 9 2 n mod 11 1 2 4 8 5 10 9 7 3 6 Logaritmus-táblázat: a 1 2 3 4 5 6 7 8 9 10 log 2 a 0 1 8 2 4 9 7 3 6 5 Tétel (HF) Legyen p prímszám, g generátor modulo p, 1 a, b < p, n Z. Ekkor log g (a b) log g a + log g b (mod p 1) log g (a n ) n log g a (mod p 1)

Alkalmazások Diszkrét matematika 1. estis képzés 2017. ősz 5. Alkalmazások Számelmélet alkalmazási területei: Kriptográfia üzenetek titkosítása; digitális aláírás; azonosítás,... Kódelmélet...

Alkalmazások Diszkrét matematika 1. estis képzés 2017. ősz 6. Caesar kód Julius Caesar katonáival a következő módon kommunikált. Feleltessük meg az (angol) ábécé betűit a {0, 1,..., 25} halmaznak: a 0 b 1 c 2. z 25 Titkos kulcs: s {0, 1,..., 25}. Titkosítás: adott a {0, 1,..., 25} esetén a titkosítása a a + s mod 26. Üzenet titkosítása betűnként. Kititkosítás: adott b {0, 1,..., 25} esetén b kititkosítása b b s mod 26. Üzenet kititkosítása betűnként. hello titkosítása az s = 13 kulccsal: hello 7 4 11 11 14 titkosítás 20 17 24 24 1 uryyb uryyb kititkosítása az s = 13 kulccsal: uryyb 20 17 24 24 1 kititkosítás 7 4 11 11 14 hello

Alkalmazások Diszkrét matematika 1. estis képzés 2017. ősz 7. Caesar kód Ha s = 13 kulcsot választjuk: Rot13. Titkosítás és kititkosítás ugyanazzal a kulccsal: 13 13 (mod 26). A titkosítás nem biztonságos: betűgyakoriság vizsgálattal törhető (al-kindi i.sz. 9 sz.) Ha a különböző pozíciókban különböző kulcsokat választhatunk (véletlenszerűen) bizonyítottan biztonságos Gyakorlatban: One Time Pad OTP Üzenetek: bináris formában: m=100100101 Kulcs: bináris sorozat: s=010110110 Titkosítás: bitenkénti XOR (mod 2 összeadás): m=100100101 XOR s=010110110 c=110010011 Kritikus pont: az s titkos kulcs átadása.

Alkalmazások Diszkrét matematika 1. estis képzés 2017. ősz 8. RSA Ron Rivest, Adi Shamir és Leonard Adleman 1977-ben a következő eljárást javasolták: Kulcsgenerálás: Legyen p, q két (nagy, 1024 bites) prím, n = p q. Legyen e {1,..., ϕ(n)} olyan, hogy (e, ϕ(n)) = 1. Legyen d az ex 1 (mod ϕ(n)) kongruencia megoldása. Kulcsok: - nyilvános kulcs (n, e), Kulcsok: - titkos kulcs d. Titkosítás: Adott 0 m < n üzenet titkosítása: c = m e mod n. Kititkosítás Adott 0 c < n titkosított üzenet kititkosítása: m = c d mod n. Algoritmus helyessége: c d = (m e ) d = m e d k ϕ(n)+1 E-F = m m (modn)

Alkalmazások Diszkrét matematika 1. estis képzés 2017. ősz 9. RSA Valóságban az m üzenet egy titkos kulcs további titkosításhoz. Az eljárás biztonsága azon múlik, hogy nem tudjuk hatékonyan faktorizálni az n = p q szorzatot. Feladat Találjuk meg a következő szám osztóit. RSA-100 = 15226050279225333605356183781326374297180681149613806886 57908494580122963258952897654000350692006139 RSA-2048= 25195908475657893494027183240048398571429282126204032027777137836043662020707595556 26401852588078440691829064124951508218929855914917618450280848912007284499268739280 72877767359714183472702618963750149718246911650776133798590957000973304597488084284 01797429100642458691817195118746121515172654632282216869987549182422433637259085141 86546204357679842338718477444792073993423658482382428119816381501067481045166037730 60562016196762561338441436038339044149526344321901146575444541784240209246165157233 50778707749817125772467962926386356373289912154831438167899885040445364023527381951 378636564391212010397122822120720357

Alkalmazások Diszkrét matematika 1. estis képzés 2017. ősz 10. RSA RSA-2048 faktorizálása: Próbaosztás (Eratoszthenész szitája): n szám esetén n osztást kell végezni: RSA-2048 n 2 2048, n 2 1024 próbaosztás. Ha 1 másodperc alatt 10 9 2 30 osztás 2 1024 /2 30 = 2 994 másodperc kell a faktorizáláshoz. 2 994 másodperc 2 969 év. Ugyanezt 2 db géppel: 2 968 év. Ugyanezt a legjobb (ismert) algoritmussal: 2500000000000000000000000000000 év (= 2, 5 10 30 ) Univerzum életkora: 1, 38 10 10 év.

Alkalmazások Diszkrét matematika 1. estis képzés 2017. ősz 11. RSA Kulcsgenerálás: Legyen p = 61, q = 53 és n = 61 53 = 3233, ϕ(3233) = 3120. Legyen e = 17. Bővített euklideszi algoritmussal: d = 2753. Nyilvános kulcs: (n = 3233, e = 17); Titkos kulcs: d = 2753. Titkosítás: Legyen m = 65. c = 2790 65 17 (mod 3233) Kititkosítás: Ha c = 2790: 2790 2753 65 (mod 3233) Digitális aláírást is lehet generálni: e és d felcserélésével: (Ekkor külön n, e, d kell a titkosításhoz!) Aláírás Legyen s = m d mod n, ekkor az aláírt üzenet: (m, s). Ellenőrzés m? s e (modn).

Alkalmazások Diszkrét matematika 1. estis képzés 2017. ősz 12. Diffie-Hellman kulcscsere protokoll Az első nyilvános kulcsú kriptográfiai rendszert Whitfield Diffie és Martin Hellman 1976-ban publikálta. Alice választ a R {0, 1,..., p 2} kiszámolja ( g b) a nem megbízható csatorna g a g b közös titkos kulcs: g ab Bob választ b R {0, 1,..., p 2} kiszámolja (g a ) b

Alkalmazások Diszkrét matematika 1. estis képzés 2017. ősz 13. Diffie-Hellman kulcscsere protokoll Nyilvános paraméterek: p (nagy) prím, g generátor modp. Kulcsok: Alice titkos kulcsa a: 1 a < p 1, nyilvános kulcsa g a mod p, Kulcsok: Bob titkos kulcsa b: 1 a < p 1, nyilvános kulcsa g b mod p. Közös kulcs: g ab mod p. A protokoll biztonsága azon múlik, hogy a diszkrét logaritmus kiszámítás nehéz. Ha p 2 2048 (2048 bites), diszkrét logaritmus számolása 10 30 év. Nyilvános paraméterek: Legyen p = 11, g = 2. Kulcsok: Alice titkos kulcsa a = 4, nyilvános kulcsa 2 4 mod p = 5. Kulcsok: Bob titkos kulcsa b = 8, nyilvános kulcsa 2 8 mod p = 3. Közös kulcs: ( g b) a = 3 4 mod p = 4, (g a ) b = 5 8 mod p = 4.

Alapok Diszkrét matematika 1. estis képzés 2017. ősz 14. Matematikai logika A logika a helyes következtetés tudománya. Alkalmazási területek: matematika; informatika; mesterséges intelligencia;... Minden bogár rovar. tagadás: Van olyan bogár, ami nem rovar.

Alapok Diszkrét matematika 1. estis képzés 2017. ősz 15. Axiomatikus módszer A tudományok a valóság egy részének modellezésével foglalkoznak. Axiomatikus módszer: közismert, nem definiált fogalmakból (alapfogalmakból) és bizonyos feltevésekből (axiómákból) a logika szabályai szerint milyen következtetéseket vonunk le (milyen tételeket bizonyítunk). Euklidészi geometria Alapfogalmak Axiómák pont, egyenes, párhuzamossági axióma, sík. Az axiomatikus módszer előnye: elég ellenőrizni az axiómák teljesülését....

Alapok Diszkrét matematika 1. estis képzés 2017. ősz 16. Predikátumok Definíció Predikátum: olyan változóktól függő definiálatlan alapfogalom, amelyhez a változóik értékétől függően valamilyen igazságérték tartozik: igaz (I, ), hamis (H, ), és a kettő egyidejűleg nem teljesül. M(): Minden jogász hazudik. 0-változós, értéke: I. Sz(x): x egy szám. 1-változós, értéke: Sz(1)=I, Sz(h)=H. E(x): x egy egyenes. 1-változós. P(x): x egy pont. 1-változós. I (x, y): x illeszkedik y-ra. 2-változós. F (x, y): x az y férje. 2-változós. Gy(x, y, z): x az y és z gyermeke. 3-változós.

Alapok Diszkrét matematika 1. estis képzés 2017. ősz 17. Logikai jelek A predikátumokat logikai jelekkel tudjuk összekötni: Tagadás, jele: A. És, jele: A B. Vagy (megengedő), jele: A B. Ha..., akkor... (implikáció), jele: A B. Ekvivalencia, jele: A B. Igazságtáblázat A B A A B A B A B A B I I H I I I I I H H H I H H H I I H I I H H H I H H I I

Alapok Diszkrét matematika 1. estis képzés 2017. ősz 18. Logikai jelek A köznyelvben a vagy háromféle értelemmel bírhat: Megengedő vagy Átok reá ki gyávaságból vagy lomhaságból elmarad,... A B I H I I I H I H Kizáró vagy: Vagy bolondok vagyunk és elveszünk egy szálig, vagy ez a mi hitünk valóságra válik. A B I H I H I H I H Összeférhetetlen vagy: Iszik vagy vezet! A B I H I H I H I I

Alapok Diszkrét matematika 1. estis képzés 2017. ősz 19. Logikai jelek Az implikáció (A B) csak logikai összefüggést jelent és nem okozatit! A B I H I I H H I I 2 2 = 4 i 2 = 1 2 2 = 4 kedd van Hamis álĺıtásból minden következik: 2 2 = 5 i 2 = 2 Adott logikai jel, más módon is kifejezhető: (A B) ( A B)

Alapok Diszkrét matematika 1. estis képzés 2017. ősz 20. A logikai műveletek tulajdonságai, ítéletlogikai tételek Álĺıtás 1 (A (B C)) ((A B) C), (A (B C)) ((A B) C) (asszociativitás); 2 (A B) (B A), (A B) (B A) (kommutativitás); 3 (A (B C)) ((A B) (A C)), (A (B C)) ((A B) (A C)) (disztributivitás); 4 ( (A B)) ( A B), ( (A B)) ( A B) (De Morgan);