Kryptographische Protokolle Lerneinheit 1: Zufallszahlengeneratoren Prof. Dr. Christoph Karg Studiengang Informatik Hochschule Aalen Sommersemester 2017 3.4.2017 Einleitung Einleitung Zufallszahlen spielen in der Kryptographie eine wichtige Rolle. Die Sicherheit vieler Verfahren (z.B. RSA) hängt von der Qualität der eingesetzten Zufallszahlengeneratoren ab. Folgende Themen werden behandelt: • Anforderungen an Zufallszahlengeneratoren • Lineare-Kongruenzen Generator • Blum-Blum-Shub Generator • Fortuna Generator auf Basis von AES Die Lerneinheit basiert auf Kapitel 8 von Stinson: Cryptography Theory and Practice und Kapitel 10 von Ferguson, Schneier: Practical Cryptography Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 2 / 96 Einleitung Unterscheidung • �Echte Zufallsdaten ▷ Zur Generierung werden physikalische Ereignisse z.B. zeitliche Abstände zwischen Tastatureingaben gemessen. ▷ Die Erzeugung ist in der Regel aufwändig. ▷ Derartige Zufallsdaten nicht immer verfügbar. • �Pseudo Zufallsdaten ▷ Die Berechnung erfolgt mit einem (deterministischen) Algorithmus. ▷ Zufallsfolge hängt ausschließlich von einem Initialwert (Seed) ab. ▷ Voraussetzung: Die Seed muss geheim gehalten werden. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 3 / 96 Einleitung Definition Bit Generator (k, ℓ)-bit Generator Definition. Seien k, ℓ positive ganze Zahlen, so dass ℓ ≥ k + 1. Ein �(k, ℓ)-bit Generator ist eine Funktion f : {0, 1}k 7→ {0, 1}ℓ , die in Polynomialzeit berechenbar ist. Die Eingabe s0 ∈ {0, 1}k nennt man einen �Seed, die Ausgabe f(s0 ) wird als �erzeugte Bitfolge bezeichnet. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 4 / 96 Einleitung Definition Bit Generator (k, ℓ)-bit Generator (Forts.) Bemerkungen: • Die erzeugte Bitfolge ist mindestens ein Bit länger als der Seed. • Da f deterministisch ist, hängt die erzeugte Bitfolge ausschließlich vom Seed ab. • Ziel: Konstruktion von (k, ℓ)-bit Generatoren, deren erzeugte Bitfolge zufällig aussieht. Einen derartigen Generator nennt man dann �Pseudo-Random Bit Generator (PRBG). Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 5 / 96 Einleitung Linearer Kongruenzgenerator Linearer Kongruenzgenerator Definition �(k, ℓ)-bit Linearer Kongruenzgenerator. Sei m ≥ 2 eine ganze Zahl und seien a, b ganze Zahlen mit 1 ≤ a, b ≤ m − 1. Sei k = ⌈log2 m⌉ und sei ℓ ≥ k + 1 eine ganze Zahl. Der �Seed ist eine ganze Zahl s0 ∈ {0, 1, . . . , m − 1}. Für i = 1, . . . , ℓ ist si definiert als: si = (a · si−1 + b) mod m Die �erzeugte Bitfolge ist f(s0 ) = (z1 , z2 , . . . , zℓ ), wobei zi = si mod 2. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 6 / 96 Einleitung Linearer Kongruenzgenerator Algorithmus LKG(a, b, m, s0) LKG(a, b, m, s0 ) Input: k-bit Zahl m, a, b ∈ {1, . . . , m}, s0 ∈ {0, . . . , m − 1} Output: ℓ-bit Folge (z1 , . . . , zℓ ) 1 for i := 1 to ℓ do 2 si := (a · si−1 + b) mod m 3 zi := si mod 2 4 return (z1 , . . . , zℓ ) Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 7 / 96 Einleitung Linearer Kongruenzgenerator Beispiel Linearer Kongruenzgenerator Konstruktion eines (5, 10)-bit Generators: Wähle m = 31, a = 3, b = 5. Die Zufallsbitfolge wird unter Einsatz der Funktion s 7→ (3s + 5) mod 31 berechnet. Die interne Zufallsfolge durchläuft 2 Zyklen: 1. 0 → 5 → 20 → 3 → 14 → 16 → 22 → 9 → 1 → 8 → 29 → 30 → 2 → 11 → 7 → 26 → 21 → 6 → 23 → 12 → 10 → 4 → 17 → 25 → 18 → 28 → 27 → 24 → 15 → 19 → 0 2. 13 → 13 Der Wert 13 ist offensichtlich nicht als Seed geeignet. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 8 / 96 Einleitung Linearer Kongruenzgenerator Beispiel Linearer Kongruenzgenerator (Forts.) �Zufallsbits von Zyklus 1: i si−1 si 1 0 2 5 3 20 4 3 5 14 6 16 7 22 8 9 9 1 10 8 mod 2 1 0 1 0 0 0 1 1 0 1 Prof. Dr. C. Karg (HS Aalen) i si−1 si 11 29 12 30 13 2 14 11 15 7 16 26 17 21 18 6 19 23 20 12 mod 2 0 0 1 1 0 1 0 1 0 0 Kryptographische Protokolle i si−1 si 21 10 22 4 23 17 24 25 25 18 26 28 27 27 28 24 29 15 30 19 mod 2 0 1 1 0 0 1 0 1 1 0 Zufallszahlengeneratoren 9 / 96 Einleitung Linearer Kongruenzgenerator Beispiel Linearer Kongruenzgenerator (Forts.) �Seeds mit den jeweiligen erzeugten Bitfolgen: Seed Bitfolge Seed Bitfolge 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1010001101 0100110101 1101010001 0001101001 1100101101 0100011010 1000110010 0101000110 1001101010 1010011010 0110010110 1010100011 0011001011 1111111111 0011010011 1010100011 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 0110100110 1001011010 0101101010 0101000110 1000110100 0100011001 1101001101 0001100101 1101010001 0010110101 1010001100 0110101000 1011010100 0011010100 0110101000 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 10 / 96 Einleitung Linearer Kongruenzgenerator Beispiel Linearer Kongruenzgenerator (Forts.) �Häufigkeit der Bitfolgen: Bitfolge Seeds Bitfolge Seeds 1111111111 1010100011 0110101000 1100101101 1000110100 0001100101 1010011010 1010001100 1010001101 0100011010 1011010100 0110100110 0010110101 0101000110 13 11, 15 27, 30 4 20 23 9 26 0 5 28 16 25 7, 19 0011001011 1001011010 0110010110 0011010100 1000110010 0100011001 1101010001 1101001101 0101101010 0001101001 0011010011 1001101010 0100110101 12 17 10 29 6 21 2, 24 22 18 3 14 8 1 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 11 / 96 Einleitung Linearer Kongruenzgenerator RSA Generator Der �RSA Generator ist ein (k, ℓ)-Generator, der ist folgendermaßen aufgebaut ist: Seien p, q zwei verschiedene (k/2)-bit Primzahlen. Sei n = p · q. Sei e ∈ {2, . . . ϕ(n) − 2} eine Zahl mit gcd(e, ϕ(n)) = 1. Der Seed ist eine Zahl s0 ∈ {2, . . . , n − 2}. Definiere si = sei−1 mod n zi = si mod 2 für i = 1, . . . , ℓ und f(s0 ) = (z1 , . . . , zℓ ). Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 12 / 96 Einleitung Linearer Kongruenzgenerator Beispiel RSA Generator Ziel ist die Konstruktion eines (32, 48)-bit RSA Generators. Hierzu werden die 16-bit Primzahlen p = 49853 und q = 50023 ausgewählt. Die Werte von n und ϕ(n) sind: n = p · q = 2493796619 ϕ(n) = (p − 1) · (q − 1) = 2493696744 Als Exponent wird e = 5 gewählt Offensichtlich gilt gcd(e, ϕ(n)) = 1, denn 2493696744 ist kein Vielfaches von 5. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 13 / 96 Einleitung Linearer Kongruenzgenerator Beispiel RSA Generator (Forts.) Bitfolge für den Seed s0 = 133: i si si mod 2 i si si mod 2 1 2 3 4 5 6 7 8 9 10 11 12 1715049989 125151210 111607254 1286485940 1757925661 1231273517 629651831 2110340527 2444573424 310341634 1044210194 2351172386 1 0 0 0 1 1 1 1 0 0 0 0 13 14 15 16 17 18 19 20 21 22 23 24 704525673 2217923578 1246194714 2268344913 1293816839 1142308995 640358470 2201746057 2247054200 214965552 1568366061 147756434 1 0 0 1 1 1 0 1 0 0 1 0 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 14 / 96 Einleitung Linearer Kongruenzgenerator Beispiel RSA Generator (Forts.) Bitfolge für den Seed s0 = 133 (Teil 2): i si si mod 2 i si si mod 2 25 26 27 28 29 30 31 32 33 34 35 36 1263833740 1212176274 2284028447 412716439 1291977567 1423793022 1432131289 1104879508 1285559980 1462305071 1982001190 1825221129 0 0 1 1 1 0 1 0 0 1 0 1 37 38 39 40 41 42 43 44 45 46 47 48 1061153640 1230173667 2475540485 1339296228 2371312881 1721175376 2128133478 115842642 545991434 1094191503 971577659 296897324 0 1 1 0 1 0 0 0 0 1 1 0 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 15 / 96 Anforderungen an PRBGs Anforderungen Anforderungen Zwei Anforderungen an PRBGs: • �Sicherheit ⇝ es ist mit vertretbarem Aufwand nicht möglich, eine erzeugte Bitfolge von einer echten Zufallsfolge zu unterscheiden. • �Geschwindigkeit ⇝ die Berechnung der Bitfolgen muss effizient durchführbar sein. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 16 / 96 Anforderungen an PRBGs Wahrscheinlichkeitsverteilungen Wahrscheinlichkeitsverteilungen Definition. Eine �Wahrscheinlichkeitsverteilung über der Menge {0, 1}k ist eine Funktion µ : {0, 1}k 7→ [0, 1] mit ∑ µ(x) = 1. x∈{0,1}k Steht die Zufallsvariable X für das Ereignis Ziehen eines Worts aus {0, 1}k“, ” dann ist Probµ [X = x] = µ(x) die Wahrscheinlichkeit, dass das Wort x gezogen wird. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 17 / 96 Anforderungen an PRBGs Wahrscheinlichkeitsverteilungen Gleichverteilung über {0, 1}ℓ Die �Gleichverteilung µu über der Menge {0, 1}ℓ weist jedem Wort dieselbe Wahrscheinlichkeit zu. Es gilt für alle x ∈ {0, 1}ℓ : µu (x) = 1 2ℓ Bemerkung: Aus kryptographischer Sicht ist die Gleichverteilung eine ideale Wahrscheinlichkeitsverteilung. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 18 / 96 Anforderungen an PRBGs Wahrscheinlichkeitsverteilungen Verteilung eines (k, ℓ)-bit Generators �Gegeben: (k, ℓ)-bit Generator f �Annahme: Der Seed wird unter Gleichverteilung aus {0, 1}k gezogen. �Ansatz: Sei x ∈ {0, 1}ℓ beliebig gewählt. Die Menge Seed(x) enthält alle Seeds, für die f die Bitfolge x erzeugt. Formal: Seed(x) = {s ∈ {0, 1}k | f(s) = x} Die Wahrscheinlichkeit, dass f das Wort x ∈ {0, 1}ℓ erzeugt, ist gleich µf (x) = ∑ s∈Seed(x) Prof. Dr. C. Karg (HS Aalen) µu (s) = ∥Seed(x)∥ . 2k Kryptographische Protokolle Zufallszahlengeneratoren 19 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen Intuitive Idee �Gegeben: Wahrscheinlichkeitsverteilungen µ0 und µ1 über {0, 1}ℓ �Frage: Gibt es einen Algorithmus DST mit folgenden Eigenschaften? • DST berechnet eine Funktion von {0, 1}ℓ nach {0, 1}. • DST hat polynomiale Laufzeit. • Auf Eingabe eines Wortes x ∈ {0, 1}ℓ kann DST mit einer gewissen Chance korrekt entscheiden, ob x gemäß µ0 oder µ1 erzeugt wurde. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 20 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen ε-Unterscheidbarkeit Definition. Seien µ0 und µ1 Wahrscheinlichkeitsverteilungen über der Menge {0, 1}ℓ . Sei DST : {0, 1}ℓ 7→ {0, 1} eine Funktion und ε > 0. Definiere für i = 0, 1 den Wert EDST (µi ) als ∑ EDST (µi ) = µi (x) x∈{0,1}ℓ :DST(x)=1 Die Funktion DST ist ein �ε-Unterscheider von µ0 und µ1 , falls |EDST (µ0 ) − EDST (µ1 )| ≥ ε Falls DST in Polynomialzeit berechenbar ist, dann nennt man DST einen �Polynomialzeit ε-Unterscheider. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 21 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen ε-Unterscheidbarkeit (Forts.) Definition. Seien µ0 und µ1 Wahrscheinlichkeitsverteilungen über der Menge {0, 1}ℓ . • µ0 und µ1 sind �ε-unterscheidbar, falls es einen ε-Unterscheider DST für µ0 und µ1 gibt. • µ0 und µ1 sind �in Polynomialzeit ε-unterscheidbar, falls es einen Polynomialzeit ε-Unterscheider DST für µ0 und µ1 gibt. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 22 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen Anwendung von ε-Unterscheidbarkeit �Gegeben: (k, ℓ)-bit Generator f �Annahme: Jeder Seed erzeugt eine andere Bitfolge. Für die aus f abgeleitete Wahrscheinlichkeitsverteilung µf gilt: • Es gibt 2k Wörter in {0, 1}ℓ , die jeweils mit Wahrscheinlichkeit erzeugt werden. • Es gibt 2ℓ − 2k Wörter in {0, 1}ℓ , die nicht erzeugt werden. 1 2k �Konsequenz: µf unterscheidet sich stark von der Gleichverteilung µu über {0, 1}ℓ . �Anforderung: f gilt als kryptographisch sicherer PRBG, falls für alle ε > 0 gilt, dass µf nicht ε-unterscheidbar von µu ist. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 23 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen Zur Illustration ein Beispiel Beispiel. Gegeben ist ein (k, ℓ)-bit Generator f, der ausschließlich Bitfolgen erzeugt, in denen die Anzahl Nullen gleich der Anzahl Einsen ist. Definiere { 1 (⇝ µf ) falls x1 . . . xℓ genau DST(x1 . . . xℓ ) = 0 (⇝ µu ) sonst Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle ℓ 2 Nullen enthält Zufallszahlengeneratoren 24 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen Zur Illustration ein Beispiel (Forts.) Es gilt (ℓ) EDST [µu ] = ℓ/2 2ℓ und EDST [µf ] = 1 Wegen der Eigenschaft (ℓ) lim ℓ→∞ ℓ/2 2ℓ =0 sind µu und µf für jedes ε, 0 < ε < 1, ε-unterscheidbar, falls ℓ hinreichend groß ist Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 25 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen Beispiel: Linearer Kongruenzgenerator Gegeben ist ein (5, 10)-bit Linearer Kongruenzgenerator mit den Parametern a = 3, b = 5 und m = 31 Der �Unterscheidungsalgorithmus basiert auf folgender Funktion: { 1 falls xℓ−1 ̸= xℓ , DST(x1 . . . xℓ−1 xℓ ) = 0 sonst. DST ordnet demnach x1 . . . xℓ dem Generator f zu, wenn die letzten beiden Bits verschieden sind. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 26 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen Beispiel: Linearer Kongruenzgenerator (Forts.) Bitfolgen x mit DST(x) = 1: Bitfolge Häufigkeit 1100101101 1 0001100101 1 1010011010 1 1010001101 1 0100011010 1 0110100110 1 0010110101 1 0101000110 2 1001011010 1 Bitfolge Häufigkeit 0110010110 1 1000110010 1 0100011001 1 1101010001 2 1101001101 1 0101101010 1 0001101001 1 1001101010 1 0100110101 1 Gesamthäufigkeit: 18 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 27 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen Beispiel: Linearer Kongruenzgenerator (Forts.) Anhand der Tabelle berechnet man: ∑ EDST (µf ) = µf (x) = x∈{0,1}ℓ :DST(x)=1 18 31 Wird ein ℓ-bit Wort zufällig unter Gleichverteilung gezogen, dann sind mit einer Wahrscheinlichkeit von 12 die letzten beiden Bits verschieden. EDST (µu ) = ∑ x∈{0,1}ℓ :DST(x)=0 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle µu (x) = 1 2 Zufallszahlengeneratoren 28 / 96 Anforderungen an PRBGs Unterscheidbarkeit von Wahrscheinlichkeitsverteilungen Beispiel: Linearer Kongruenzgenerator (Forts.) Hieraus folgt: 18 1 |EDST (µf ) − EDST (µu )| = − 31 2 36 31 = − 62 62 5 = 62 �Ergebnis: DST ist ein Prof. Dr. C. Karg (HS Aalen) 5 -Unterscheider 62 für µf und µu . Kryptographische Protokolle Zufallszahlengeneratoren 29 / 96 Anforderungen an PRBGs Next Bit Predictors Vorhersage des nächsten Bits �Frage: Ist es ohne Kenntnis des Seeds möglich, für einen (k, ℓ)-bit Generator vorherzusagen, welchen Wert das i-te Bit hat, wenn man die Bits x1 , . . . , xi−1 kennt? �Antwort: Falls ja, dann ist der Generator nicht als sicher einzustufen. �Ziel: Formalisierung dieses Konzepts. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 30 / 96 Anforderungen an PRBGs Next Bit Predictors Definition Next Bit Predictor Definition. Sei f ein (k, ℓ)-bit Generator. Angenommen, 1 ≤ i ≤ ℓ − 1. Die Funktion NBP : {0, 1}i−1 → {0, 1} ist ein �ε-Next Bit Predictor für Bit i, falls NBP auf Eingabe von x1 . . . xi−1 das i-te Bit xi korrekt berechnet mit einer Wahrscheinlichkeit von 12 + ε, wobei ε > 0. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 31 / 96 Anforderungen an PRBGs Next Bit Predictors Anpassung der Wahrscheinlichkeitsverteilungen Sei µ eine Wahrscheinlichkeitsverteilung über {0, 1}ℓ . Sei i ∈ {0, . . . , ℓ} fest gewählt. Betrachte ein beliebiges Wort x1 . . . xi ∈ {0, 1}i . Die Menge aller Wörter in {0, 1}ℓ mit Präfix x1 . . . xi ist Prefix(x1 . . . xi ) = {x1 . . . xi w | w ∈ {0, 1}ℓ−i } Die Wahrscheinlichkeit, dass ein Wort mit Präfix x1 . . . xi auftritt, ist: ∑ µi (x1 . . . xi ) = µ(z) z∈Prefix(x1 ...xi ) Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 32 / 96 Anforderungen an PRBGs Next Bit Predictors Ein wichtiger Satz Betrachte einen (k, ℓ)-bit Generator f. Die Zufallsvariable Xi steht für den Wert des i-ten Bits einer Zufallsfolge, die gemäß µf auftritt. Definiere für eine Funktion NBP : {0, 1}i−1 7→ {0, 1} piNBP (x1 . . . xi−1 ) = Prob[Xi = NBP(x1 . . . xi−1 )|x1 . . . xi−1 ] Satz. Eine Funktion NBP ist genau dann ein �ε-Next Bit Predictor für Bit i von f, wenn ∑ i µi−1 f (x1 . . . xi−1 ) · pNBP (x1 . . . xi−1 ) ≥ x1 ...xi−1 ∈{0,1}i−1 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle 1 +ε 2 Zufallszahlengeneratoren 33 / 96 Anforderungen an PRBGs Next Bit Predictors Beispiel: Linearer Kongruenzgenerator Beispiel. Betrachte für ein i ∈ {1, 2, . . . , 9} einen NBP, der folgende Funktion berechnet: NBP(x1 . . . xi−1 ) = 1 − xi−1 Die Vorhersage ist also, dass auf eine 0 vermutlich eine 1 folgt, und umgekehrt. �Anwendung auf den linearen Kongruenzgenerator mit den Parametern a = 3, b = 5, m = 31 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 34 / 96 Anforderungen an PRBGs Next Bit Predictors Beispiel: Linearer Kongruenzgenerator (Forts.) �Analyse der Tabelle von Folie 10 für i = 5: x b = NBP(x) 0010 1 0011 0 0100 1 0101 0 0110 1 1000 1 1001 0 1010 1 1011 0 1100 1 1101 0 Prof. Dr. C. Karg (HS Aalen) Seeds #Seeds 25 1 12, 14, 29 3 1 1 7, 19 2 16, 27, 30 3 6, 20 2 17 1 11, 15 2 28 1 4 1 2, 22, 24 3 Kryptographische Protokolle Zufallszahlengeneratoren 35 / 96 Anforderungen an PRBGs Next Bit Predictors Beispiel: Linearer Kongruenzgenerator (Forts.) Die Wahrscheinlichkeit, dass NBP(x) das Bit i = 5 korrekt vorhersagt, ist: 20 40 31 + 9 1 9 = = = + 31 62 62 2 62 Also ist NBP(x) ein 9 -Next 62 Bit Predictor für das Bit i = 5 Durch Analyse der Tabelle von Folie 10 stellt man fest, dass diese 9 Funktion für alle i ein 62 -Next Bit Predictor ist. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 36 / 96 Anforderungen an PRBGs Zusammenhänge Zusammenhänge Satz. Sei f ein (k, ℓ)-bit Generator. Angenommen, es gibt einen Polynomialzeit ε-Next Bit Predictor für ein Bit i ∈ {1, . . . , ℓ} von f. Dann sind µu und µf ε-unterscheidbar. Satz. Sei f ein (k, ℓ)-bit Generator. Angenommen, µu und µf sind ε-unterscheidbar. Dann existiert für mindestens ein i ∈ {1, . . . , ℓ} ein Polynomialzeit εℓ -Next Bit Predictor für Bit i von f. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 37 / 96 Quadratische Reste Einleitung Definition Quadratischer Rest Definition. Sei p eine ungerade Primzahl. Die Zahl a ∈ Zp , a ̸= 0, ist ein �quadratischer Rest modulo p, falls eine Zahl x ∈ Zp existiert, so dass x2 ≡ a (mod p) Ist a kein quadratischer Rest, dann nennt man a �quadratischen Nicht-Rest. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 38 / 96 Quadratische Reste Einleitung Beispiel zu Quadratischen Resten Betrachte Z11 . a 1 2 3 4 5 6 7 8 9 10 a2 1 4 9 5 3 3 5 9 4 1 Also ist die Menge der quadratischen Reste modulo 11 gleich {1, 3, 4, 5, 9}. Die Menge der quadratischen Nicht-Reste ist {2, 6, 7, 8, 10}. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 39 / 96 Quadratische Reste Einleitung Anzahl der Quadratwurzeln Sei p eine ungerade Primzahl und sei a ein quadratischer Rest modulo p. �Frage: Wieviele Lösungen hat die Gleichung x2 ≡ a (mod p)? Sei y ̸= 0 eine der Lösungen (eine solche muss existieren, da a ein quadratischer Rest ist). Umformen: x2 ≡ a 2 ⇔ x −a ≡ 0 ⇔ (x + y)(x − y) ≡ 0 (mod p) (mod p) (mod p) Also gibt es mit x ≡ ±y (mod p) mindestens zwei quadratische Reste. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 40 / 96 Quadratische Reste Einleitung Anzahl der Quadratwurzeln (Forts.) Zu zeigen bleibt, dass x ≡ ±y (mod p) die beiden einzigen Lösungen sind. Angenommen, es gibt einen weiteren quadratischen Rest z ∈ Zp mit z ̸≡ ±y (mod p). Da p eine Primzahl ist, folgt wegen ZTK (Satz 5.2) aus (z + y)(z − y) ≡ 0 (mod p), dass p |(z + y) oder p |(z − y) Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 41 / 96 Quadratische Reste Einleitung Anzahl der Quadratwurzeln (Forts.) Fall 1: p |(z + y). Also ist z + y ein Vielfaches von p. Wegen der Wahl von z gilt: 0 < z + y < 2p − 1 Also muss z + y = p und somit z = p − y gelten. Widerspruch! Fall 2: p |(z − y). Analog zu Fall 1. �Ergebnis: • Die Gleichung x2 ≡ a (mod p) besitzt genau zwei Lösungen • Die eine Lösung ist die Negation der anderen modulo p Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 42 / 96 Quadratische Reste Euler Kriterium Euler Kriterium Satz. Sei p eine ungerade Primzahl. Die Zahl a ∈ Zp ist genau dann ein quadratischer Rest, wenn a(p−1)/2 ≡ 1 (mod p) Bemerkung: Mit dem Algorithmus zur modularen Exponentiation kann man effizient überprüfen, ob a ein quadratischer Rest modulo p ist. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 43 / 96 Quadratische Reste Euler Kriterium Euler Kriterium (Forts.) Beweis. Angenommen, x2 ≡ a (mod p) für ein x ∈ Zp . Unter Einsatz des Satzes von Fermat folgt: a(p−1)/2 ≡ (x2 )(p−1)/2 ≡ xp−1 ≡ 1 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle (mod p) (mod p) (mod p) Zufallszahlengeneratoren 44 / 96 Quadratische Reste Euler Kriterium Euler Kriterium (Forts.) Angenommen, a(p−1)/2 ≡ 1 (mod p). Sei b ein erzeugendes Element von Z∗p . Dann existiert ein i mit bi ≡ a (mod p). Es gilt: a(p−1)/2 ≡ (bi )(p−1)/2 ≡ bi(p−1)/2 ≡ 1 (mod p) (mod p) (mod p) Da b die Ordnung p − 1 hat, muss (p − 1) |(i(p − 1)/2) gelten. Folglich ist i eine gerade Zahl und deshalb sind ±bi/2 mod p die beiden Quadratwurzeln von a. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 45 / 96 Quadratische Reste Legendre Symbol Legendre Symbol Definition. Angenommen, p ist eine ungerade Primzahl. Für eine ( ) a beliebige ganze Zahl a ist das �Legendre Symbol p definiert als ( ) falls a ≡ 0 (mod p) 0 a = 1 falls a quadratischer Rest modulo p ist p −1 falls a quadratischer Nicht-Rest modulo p ist Satz. Sei p eine ungerade Primzahl. Dann gilt ( ) a ≡ a(p−1)/2 (mod p) p für alle ganzen Zahlen a. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 46 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Quadratwurzeln von zusammengesetzten Zahlen Definition. Sei n eine beliebige ungerade ganze Zahl. Sei a eine ganze Zahl, die teilerfremd zu n ist, d.h., gcd(a, n) = 1. Falls es eine ganze Zahl y mit y2 ≡ a (mod n) gibt, dann nennt man a einen �quadratischen Rest modulo n. Andernfalls ist a ein quadratischer Nicht-Rest modulo n. Zu klären: • Welche a sind quadratische Reste modulo n? • Wieviele Quadratwurzeln hat ein quadratischer Rest modulo n? Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 47 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Primzahlpotenzen Satz. Sei p eine ungerade Primzahl und sei k eine ganze Zahl mit k > 0. Sei a eine zu p teilerfremde Zahl, d.h., gcd(a, p) = 1. Angenommen, es existiert eine Zahl b ∈ Z∗p , so dass b2 ≡ a (mod pk−1 ). Dann existiert genau ein x ∈ Zpk mit: (1) x2 ≡ a (mod pk ) (2) x ≡ b (mod pk−1 ) Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 48 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Primzahlpotenzen (Forts.) Beweis. Sei p eine ungerade Primzahl und a ∈ Z∗p . �Annahme: Es gibt b ∈ Z∗p , so dass b2 ≡ a (mod pk−1 ) Existenz von x: Laut Annahme ist b2 = j · pk−1 + a für eine ganze Zahl j. Laut (2) muss x = i · pk−1 + b für eine ganze Zahl i sein. Einsetzen in (1) führt zu folgender Gleichung: (i · pk−1 + b)2 ≡ a (mod pk ) Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 49 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Primzahlpotenzen (Forts.) Umformen: (i · pk−1 + b)2 ≡ a (mod pk ) ⇔ (i · pk−1 )2 + 2 · b · i · pk−1 + b2 ≡ a (mod pk ) ⇔ 2 · b · i · pk−1 + b2 ≡ a (mod pk ) ⇔ 2 · b · i · pk−1 + j · pk−1 + a ≡ a (mod pk ) ⇔ Prof. Dr. C. Karg (HS Aalen) 2 · b · i · pk−1 ≡ −j · pk−1 Kryptographische Protokolle (mod pk ) Zufallszahlengeneratoren 50 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Primzahlpotenzen (Forts.) Wegen ZTK (Korollar 6.3) folgt: 2 · b · i · pk−1 ≡ −j · pk−1 (mod pk ) 2 · b · i ≡ −j (mod p) ⇔ ⇔ ⇔ i ≡ −j · (2 · b)−1 i · pk−1 ≡ −j · (2 · b)−1 pk−1 (mod p) (mod pk ) Also ist x = (−j · (2 · b)−1 ) · pk−1 + b eine Quadratwurzel von a modulo pk Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 51 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Primzahlpotenzen (Forts.) �Eindeutigkeit von x: Angenommen, es gibt zwei verschiedene x1 und x2 . die beide die Eigenschaften des Satzes erfüllen. Wegen (2) gilt x1 = i1 · pk−1 + b und x2 = i2 · pk−1 + b für zwei verschiedene ganze Zahlen i1 und i2 Wegen (1) folgt: x21 ⇔ (i1 · p + b)2 ⇔ 2 · b · pk−1 · i1 ⇔ 2 · b · i1 i1 k−1 ≡ ≡ ≡ ≡ ≡ x22 (i2 · pk−1 + b)2 2 · b · pk−1 · i2 2 · b · i2 i2 (mod (mod (mod (mod (mod pk ) pk ) pk ) p) p) Widerspruch! Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 52 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Primzahlpotenzen (Forts.) Satz. Sei p eine ungerade Primzahl, k > 0 eine ganze Zahl und a eine ganze Zahl mit gcd(a,(pk)) = 1. Die Kongruenz y2 ≡ a (mod pk ) hat keine Lösungen, falls pa = −1, und genau zwei Lösungen, falls ( ) a = 1. p Beweis. Induktion über k und Verwendung des vorheriges Satzes Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 53 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Zusammengesetzte Zahlen Satz. Sei n > 1 eine ungerade ganze Zahl mit der Primfaktorzerlegung n= ℓ ∏ piei . i=1 Angenommen, gcd(a, n) = 1. ( ) Falls pai = 1 für alle i = {1, . . . , ℓ} gilt, dann besitzt die Kongruenz x2 ≡ a (mod n) genau 2ℓ Lösungen modulo n. Andernfalls besitzt die Kongruenz keine Lösung modulo n. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 54 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Zusammengesetzte Zahlen (Forts.) Beweis. Betrachte eine ungerade ganze Zahl n mit der Primfaktorzerlegung ℓ ∏ n= pℓi i . i=1 e Da gcd(pei i , pj j ) = 1 für alle i ̸= j gilt, folgt mit dem Chinesischen Restsatz (ZTK (Satz 9.1)), dass y2 ≡ a (mod n) genau dann lösbar ist, wenn y2 ≡ a (mod pei i ) für alle i = 1, . . . , ℓ lösbar ist Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 55 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Zusammengesetzte Zahlen (Forts.) ei 2 Laut dem ( )vorherigen Satz ist y ≡ a (mod pi ) genau dann lösbar, wenn pai = 1. In diesem Fall gibt es genau 2 Lösungen. ( ) Angenommen, es ist pai = 1 für alle i = 1, . . . , ℓ. Es gibt 2ℓ Möglichkeiten, die Teillösungen zu einer Lösung modulo n zu kombinieren. Folglich gibt es 2ℓ Lösungen Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 56 / 96 Quadratische Reste Zusammengesetzte Zahlen als Modul Das Jacobi Symbol Seien n > 0 eine ungerade ganze Zahl mit der Primfaktorzerlegung n= ℓ ∏ pei i . i=1 Sei a eine ganze Zahl. Das �Jacobi Symbol (a) n Prof. Dr. C. Karg (HS Aalen) = (a) n ist definiert als ℓ ( )ei ∏ a i=1 pi Kryptographische Protokolle Zufallszahlengeneratoren 57 / 96 Blum-Blum-Shub Generator Definition Aufbau Blum-Blum-Shub Generator Der �Blum-Blum-Shub (�BBS) Generator ist ein (k, ℓ)-Generator f, der wie folgt aufgebaut ist. Seien p, q zwei verschiedene (k/2)-bit Primzahlen mit p ≡ q ≡ 3 (mod 4). Definiere n = p · q. Sei s0 ein quadratischer Rest modulo n. Definiere si = s2i−1 mod n zi = si mod 2 für alle i = 1, . . . , ℓ und f(s0 ) = (z1 , . . . , zℓ ). Beachte: Anstatt eines quadratischen Rests s0 wählt man in der Regel eine beliebige Zahl s−1 ∈ Z∗n und setzt s0 = s2−1 mod n Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 58 / 96 Blum-Blum-Shub Generator Definition Beispiel: Blum-Blum-Shub Generator Sei p = 383, q = 503, n = p · q = 192649 und s0 = 1013552 mod n = 20749. Die ersten erzeugten 20 Bits sind: i si zi 0 20749 − 1 143135 1 2 177671 1 3 97048 0 4 89992 0 5 174051 1 6 80649 1 Prof. Dr. C. Karg (HS Aalen) i 7 8 9 10 11 12 13 si 54663 69442 186894 177046 137922 123175 8630 zi 1 0 0 0 0 1 0 Kryptographische Protokolle i 14 15 16 17 18 19 20 si 114386 14863 133015 160065 45870 137171 48060 zi 0 1 1 1 0 1 0 Zufallszahlengeneratoren 59 / 96 Blum-Blum-Shub Generator Algorithmen BBS Algorithmen �Initialisierung des Generators: BBSInit(ninit , sinit ) Input: Modul ninit , Seed sinit 1 n := ninit 2 2 s := sinit mod n �Berechnung des nächsten Bits: BBSGetBit() Output: Pseudo-zufälliges Bit 2 1 s := s mod n 2 return s mod 2 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 60 / 96 Blum-Blum-Shub Generator Algorithmen BBS Algorithmen (Forts.) �Berechnung des nächsten Bytes: BBSGetByte() Output: Pseudo-zufälliges Byte 1 b := 0 2 for i := 1 to 8 do 3 b := 2 · b + BBSGetBit() 4 return b Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 61 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Beobachtung Seien p und q zwei verschiedene ungerade Primzahlen. Sei n = p · q. Für alle ganzen Zahlen a ̸= 0 gilt: falls gcd(a, 0 ( >) 1 ( ) ( ) ( ) n) ( a ) 1 falls pa = qa = 1 oder pa = qa = −1 ( ) ( ) = −1 falls ein Wert von a und a gleich 1 und n p q der andere gleich −1 ist Beachte: a ist ein quadratischer Rest modulo n falls ( ) ( ) a a = =1 p q ( ) Aus na = 1 kann man nicht folgern, dass a ein quadratischer Rest modulo n ist Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 62 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Entscheidungsproblem QR Problem �Quadratic Residues (�QR) �Gegeben: • Eine ganze Zahl n, die das Produkt zweier ungerader Primzahlen p und q ist ( ) • Eine ganze Zahl a ∈ Z∗n mit na = 1 �Gefragt: Ist a ein quadratischer Rest modulo n? Bemerkungen: • Bis heute ist kein Polynomialzeit Algorithmus für QR bekannt • Kann man n effizient faktorisieren, dann ist QR ebenfalls effizient lösbar Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 63 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Monte Carlo Algorithmen Ein �Monte Carlo Algorithmus A ist ein Algorithmus mit folgenden Eigenschaften: • A berechnet eine Funktion f : {0, 1}∗ 7→ {0, 1} • A hat Zugriff auf einen Generator, der gleichverteilte Zufallsbits liefert • Das von A berechnete Ergebnis ist korrekt mit einer Wahrscheinlichkeit von mindestens 21 + ε für ein ε > 0. Formal: Für alle x ∈ {0, 1}∗ gilt: 1 +ε 2 Die �Fehlerwahrscheinlichkeit von A auf Eingabe x ist Prob[A(x) = f(x)] ≥ Prob[A(x) ̸= f(x)] ≤ Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle 1 −ε 2 Zufallszahlengeneratoren 64 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Monte Carlo Algorithmen (Forts.) MajorityA(x, n) Input: Wort x ∈ {0, 1}∗ Output: 0 oder 1 1 y := 0 2 for i := 1 to n do 3 if A(x) = 1 then 4 y := y + 1 5 if y ≥ n/2 then 6 return 1 7 else 8 return 0 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 65 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Monte Carlo Algorithmen (Forts.) Satz. Angenommen, A ist ein Monte Carlo Algorithmus mit einer Fehlerwahrscheinlichkeit von höchstens 12 − ε. Sei n = 2m + 1 für eine ganze Zahl m > 0. Dann ist MajorityA(·, n) ein Monte Carlo Algorithmus mit einer Fehlerwahrscheinlichkeit von höchstens (1 − 4ε2 )m 2 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 66 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Monte Carlo Algorithmen (Forts.) Beweis. Sei x ∈ {0, 1}∗ . Die Wahrscheinlichkeit, dass A(x) exakt i-mal ein korrektes Ergebnis liefert, ist ( )( )i ( )n−i n 1 1 +ε −ε i 2 2 Die Wahrscheinlichkeit, dass MajorityA(x, n) nicht korrekt ist, ist: Prob[Fehler] ≤ m ( )( ∑ n 1 i=0 i 2 )i ( +ε 1 −ε 2 )2m+1−i = # Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 67 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Monte Carlo Algorithmen (Forts.) ( # = ( = ( = 1 +ε 2 1 +ε 2 1 +ε 2 )m ( )m ( )m ( 1 −ε 2 1 2 1 2 )m+1 ∑ )m−i m ( )(1 −ε n 2 1 i +ε i=0 } | 2 {z )m+1 ∑ m ( ) n −ε i i=0 )m+1 −ε 22m ≤1 = # Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 68 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Monte Carlo Algorithmen (Forts.) (( # = = = = ≤ Prof. Dr. C. Karg (HS Aalen) )( ))m ( ) 1 1 1 +ε −ε − ε 22m 2 2 2 ( )m ( ) 1 1 − ε2 − ε 22m 4 2 ( )m ( ) 1 − 4ε2 1 − ε 4m 4 2 ) ( ( ) 1 2 m 1 − 4ε −ε 2 (1 − 4ε2 )m 2 Kryptographische Protokolle Zufallszahlengeneratoren 69 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Monte Carlo Algorithmen (Forts.) �Anwendung des Satzes: Angenommen, die Fehlerwahrscheinlichkeit von A soll auf einen Wert 0 < γ < 12 − ε verkleinert werden. Dann muss m so gewählt werden, dass (1 − 4ε2 )m ≤γ 2 Hieraus folgt: ⌈ 1 + log2 γ m= log2 (1 − 4ε2 ) Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle ⌉ Zufallszahlengeneratoren 70 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Sicherheit des BBS-Generators Es gilt: ein (k, ℓ)-bit BBS Generator ist ε-unterscheidbar von µu ⇓ es gibt einen (ε/ℓ) Previous Bit Predictor für den (k, ℓ)-bit BBS Generator ⇓ es gibt einen Monte Carlo Algorithmus für QR mit einer Fehlerwahrscheinlichkeit von höchstens 21 − εℓ ⇓ es gibt einen Monte Carlo Algorithmus für QR mit einer Fehlerwahrscheinlichkeit von höchstens γ für alle γ > 0 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 71 / 96 Blum-Blum-Shub Generator Sicherheitsbewertung Sicherheit des BBS-Generators (Forts.) �Vermutung: Es existiert kein Monte Carlo Algorithmus für QR mit einer Fehlerwahrscheinlichkeit von höchstens γ für alle γ > 0. �Konsequenz: Ein (k, ℓ)-bit BBS Generator ist nicht ε-unterscheidbar von der Gleichverteilung für alle ε > 0. �Sicherheitsanforderung: Die Primzahlen p und q sowie der Seed müssen geheim gehalten werden. �Bemerkung: Der BBS-Generator ist selbst dann noch sicher, wenn log2 log2 k Bits in einem Schleifendurchlauf abgreift. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 72 / 96 Fortuna Pseudo Random Number Generator Einleitung Fortuna Pseudo Random Number Generator • • • • Entwicklung von Niels Ferguson und Bruce Schneier Weiterentwicklung des Yarrow PRNG Prinzip: Block Chiffre im Counter Mode Interner Zustand: ▷ 256 bit Schlüssel einer Blockchiffre ▷ 128 bit Zähler • Fortuna erzeugt beliebig lange Byte Folgen • Einsatz von AES und SHA-256 zur Verarbeitung des internen Zustands • Ebenfalls geeignet: Serpent und Twofish Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 73 / 96 Fortuna Pseudo Random Number Generator Eigenschaften Eigenschaften • Um zu verhindern, dass ein Angreifer anhand des internen Zustands Informationen über bereits erzeugte Byte-Folgen erlangen kann, wird der Schlüssel nach jeder Erzeugung gewechselt. • Um zu garantieren, dass die erzeugte Byte-Folge statistisch zufällig aussieht, wird die Anzahl Bytes, die in einem Aufruf erzeugt werden können, auf 220 = 1048576 beschränkt. • Regelmässiges Reseeding verhindert, dass ein Angreifer anhand des internen Zustands zukünftige Byte-Folgen berechnen kann. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 74 / 96 Fortuna Pseudo Random Number Generator Counter Mode Counter Mode �Aufgabe: Erzeugen eines Bitstroms unter Einsatz einer Blockchiffre �Gegeben: Block Chiffre E, Schlüssel k, Klartext x1 , . . . , xℓ bestehend aus ℓ Blöcken, Initialisierungswert n �Verschlüsselung: Zwei Schritte: Für i = 1, . . . , ℓ: 1. Berechne Blockschlüssel ki = E(k, n||i) 2. Berechne Geheimtextblock yi = xi ⊕ ki �Ergebnis: Geheimtext y1 , . . . , yℓ Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 75 / 96 Fortuna Pseudo Random Number Generator Counter Mode Bemerkungen zum Counter Mode • Die Wortlänge von n und i orientiert sich an der Blocklänge des Kryptosystems E. • Ist die Anzahl der zu verschlüssenden Blöcke nicht bekannt, dann wird i als interner Zähler implementiert, der nach jeder Verschlüsselung inkrementiert wird. • Die Kombination aus Schlüssel k und Initialwert Nonce darf nur einmal benutzt werden. • Die Laufzeit des Counter Modes hängt im Wesentlichen von der eingesetzten Blockchiffre E ab. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 76 / 96 Fortuna Pseudo Random Number Generator Counter Mode Aufbau des Initialisierungswerts Beispiel. Block Chiffre mit einer Blocklänge von 128 Bit Parameterwahl für den CTR Mode: • Initialisierungswert, zusammengesetzt aus: ▷ Message ID (48 bit) ⇝ Vergabe anhand der zu übertragenden Nachricht ▷ Nonce (16 bit) ⇝ einmal zu verwendendes Wort • Counter (64 bit) Ergebnis: • Pro Schlüssel können 248 verschiedene Nachrichten verschlüsselt werden. • Die Länge einer Nachricht ist beschränkt auf höchstens 264 Byte. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 77 / 96 Fortuna Pseudo Random Number Generator Interner Zustand Interner Zustand von Fortuna �Fortuna besitzt einen internen Zustand bestehend aus: • Schlüssel key (256 bit) • Zähler cntr (128 bit) Der Zähler cntr wird entweder als Byte Array oder als natürliche Zahl in Least Significant Byte First (LSBF) Darstellung interpretiert. Ist cntr in dem Byte-Block p0 , . . . , p15 abgespeichert, dann berechnet man die zugehörige Zahl als cntr = 15 ∑ pi · 28i . i=0 Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 78 / 96 Fortuna Pseudo Random Number Generator Algorithmen Initialisierung InitializeGenerator() Output: G = (key, cntr) Initialwerte für Schlüssel und Zähler 1 key := 0 2 cntr := 0 3 G := (key, cntr) 4 return G Beachte: Nach der Initialisierung ist der PRNG nicht einsatzbereit. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 79 / 96 Fortuna Pseudo Random Number Generator Algorithmen Reseeding Reseed(G, s) Input: Interner Zustand G = (key, cntr), Seed s 1 key := SHA-256(key||s) 2 cntr := cntr + 1 Beachte: Der interne Zustand wird während des Reseedings verändert. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 80 / 96 Fortuna Pseudo Random Number Generator Algorithmen Generierung von 16-Byte-Blöcken GenerateBlocks(G, k) Input: Interner Zustand G = (key, cntr), Anzahl k der zu generierenden Blöcke Output: r Pseudo-Zufallsfolge mit 16k Bytes 1 if cntr = 0 then 2 error PRNG wurde nicht korrekt initialisiert.“ ” 3 r := ε 4 for i := 1 to k do 5 r := r||AES(key, cntr) 6 cntr := cntr + 1 7 return r Beachte: Der interne Zustand wird während der Generierung verändert. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 81 / 96 Fortuna Pseudo Random Number Generator Algorithmen Generierung von beliebigen Byte-Folgen PseudoRandomData(G, n) Input: Interner Zustand G = (key, cntr), Anzahl n der zu generierenden Bytes Output: Pseudo-Zufallsfolge r mit n Bytes 20 1 if n < 0 or n > 2 then 2 error Inkorrekte Länge.“ ⌈n⌉ ” ) 3 b := GenerateBlocks(G, 16 4 r := erste n Bytes von b 5 key := GenerateBlocks(G, 2) 6 return r Beachte: Der interne Zustand wird während der Generierung verändert. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 82 / 96 Fortuna Pseudo Random Number Generator Algorithmen Bemerkungen zu PseudoRandomData() • Die Länge der erzeugten Byte-Folge wird beschränkt, um statistische Abweichungen zu echten Zufallsfolgen zu vermeiden. • Der Schlüssel wird erneuert, um zu verhindern, dass man die erzeugte Zufallsfolge rekonstruieren kann. • Um ein Datenleck zu verhindern, sollte die Implementierung ▷ keine Kopie von r zwischenspeichern und ▷ den für b und r benutzten Speicher überschreiben. • Eine Folge mit mehr als 220 Bytes kann durch wiederholtes Ausführen von PseudoRandomData() erzeugt werden. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 83 / 96 Fortuna Pseudo Random Number Generator Akkumulator Akkumulator �Aufgabe: Sammeln von echten Zufallsdaten, die zum Reseeding eingesetzt werden �Idee: Je mehr Quellen beim Reseeding berücksichtigt werden, desto geringer ist die Chance, dass ein Angreifer den neuen Seed berechnen kann. �Umsetzung: Der Akkumulator wird in den Generator integriert. Mögliche �Zufallsquellen: • Dauer von Tastaturklicks • Mausbewegungen und -klicks • Zugriffszeit einer Festplatte • Internet Zugriffe (Pings, etc.) Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 84 / 96 Fortuna Pseudo Random Number Generator Akkumulator Zufallsquellen und Random Pools �Eigenschaften einer Zufallsquelle: • Jede Quelle erhält eine eindeutige Nummer aus {0, . . . , 255}. • Eine Quelle liefert als Event eine kleine Anzahl echt zufälliger Bytes zurück. • Es besteht die Möglichkeit, mehrere Events zu einer längeren Byte-Folge zu konkatenieren. �Random Pools • Es gibt 32 Pools, die mit P0 , P1 , . . . , P31 bezeichnet werden. • Jeder Pool liefert eine Byte-Folge unbeschränkter Länge. • Diese Folge wird durch wiederholte Anwendung einer kryptographischen Hashfunktion berechnet. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 85 / 96 Fortuna Pseudo Random Number Generator Akkumulator Ablauf des Reseedings • Die Daten einer Quelle werden zyklisch über alle Pools verteilt. • Bei Zuteilung einer Quelle an den Pool Pi wird der Event an die Daten von Pi angehängt. • Das Reseeding wird durchgeführt, wenn P0 genügend Daten vorrätig hat. • Die Reseedings werden mit r = 1, 2, 3, . . . durchnummeriert. • Pool Pi wird beim Reseeding r berücksichtigt, wenn 2i ein Teiler von r ist. • Konsequenz: P0 wird immer benutzt, P1 wird jedes zweite Mal benutzt, P2 wird jedes vierte Mal benutzt, usw.. • Wird ein Pool Pi zum Reseeding benutzt, dann werden anschließend seine Daten gelöscht. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 86 / 96 Fortuna Pseudo Random Number Generator Akkumulator Sicherheitsbetrachtung �Angriffspunkte: • Der Angreifer hat Zugriff auf mehrere (aber nicht alle) Pools. • Der Angreifer kann selbst gefälschte Events einschleusen. �Ansatz: • Da der Pool Pi nur jedes 2i -te Mal benutzt wird, um so mehr Daten hält er vor. • Falls es eine Zufallsquelle gibt, die der Angreifer nicht kennt, dann gibt es immer einen Pool, der genügend Daten sammelt, die gegen einen Angriff resistent sind. • Das System erholt sich von einer Kompromittierung innerhalb von einer kurzen Zeit von selbst. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 87 / 96 Fortuna Pseudo Random Number Generator PRNG mit Akkumulator Initialisierung InitializePRNG() Output: Interner Zustand R 1 for i := 0 to 31 do 2 Pi := ε 3 reseed_cntr := 0 4 G := InitializeGenerator() 5 R := (G, reseed_cntr, P0 , . . . , P31 ) 6 return R Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 88 / 96 Fortuna Pseudo Random Number Generator PRNG mit Akkumulator Generierung von Byte-Folgen RandomData(R, n) Input: Interner Zustand R = (G, reseed_cntr, P0 , . . . , P31 ) Anzahl n der zu generierenden Bytes Output: Pseudo-Zufallsfolge mit n Bytes 1 if length(P0 ) ≥ min_pool_size and last reseed > 100ms then 2 reseed_cntr := reseed_cntr + 1 3 s := ε 4 for i ∈ {0, 1, . . . , 31} do 5 if 2i | reseed_cntr then 6 s := s||SHA-256(Pi ) 7 Pi := ε 8 Reseed(G, s) 9 return PseudoRandomData(G, n) Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 89 / 96 Fortuna Pseudo Random Number Generator PRNG mit Akkumulator Hinzufügen eines Events AddRandomEvent(R, s, i, e) Input: Interner Zustand R, Nummer der Quelle s ∈ {0, 1, . . . , 255}, Nummer des Pools i ∈ {0, 1, . . . , 31}, Daten des Events e (Folge von höchstens 32 Bytes) 1 if 1 ≤ length(e) ≤ 32 and 0 ≤ s ≤ 255 and 0 ≤ i ≤ 31 then 2 Pi := Pi ||s||length(e)||e 3 else 4 error Fehlerhafte Parameter“ ” Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 90 / 96 Fortuna Pseudo Random Number Generator Seed Dateien Anlegen einer Seed Datei �Problem: Nach dem Booten des Rechners ist der PRNG nicht in der Lage, gute Zufallszahlen zu erzeugen, da zu wenige Events vorliegen. �Vorschlag: • Abwarten, bis sich der Pool gefüllt hat. • Auslesen eines guten Seeds aus einer Datei, die beim Herunterfahren des Rechners gespeichert wurde. �Sicherheitsvorkehrungen: Der Inhalt der Seed Datei • muss geheim gehalten werden und • darf nur einmal benutzt werden. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 91 / 96 Fortuna Pseudo Random Number Generator Seed Dateien Lesen und Schreiben der Seed Datei WriteSeedFile(R, f) Input: Interner Zustand R, Datei Handle f 1 write RandomData(G, 64) to f UpdateSeedFile(R, f) Input: Interner Zustand R, Datei Handle f 1 read f to s 2 if length(s) < 64 then 3 error Zu wenig Daten für Reseed“ ” 4 Reseed(G, s) 5 write RandomData(G, 64) to f Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 92 / 96 Fortuna Pseudo Random Number Generator Seed Dateien Bemerkungen zu Seed Dateien • Die Seed Datei sollte bei Start des Systems gelesen werden. • Beim Herunterfahren des Rechners muss ein Update der Seed Datei erfolgen.k • Es empfiehlt sich, die Seed Datei regelmäßig zu aktualisieren. • Vorsicht ist beim Backup eines Systems geboten, da man damit die Seed Datei wieder herstellen kann. • Eine weitere Gefahr besteht darin, dass in der Regel die Daten nicht sofort auf die Festplatte geschrieben werden. Dies kann zu Inkonsistenzen führen. • Bei der Installation eines Computers muss darauf geachtet werden, dass die Seed Datei beim ersten Reboot nicht benutzt wird oder dass eine geeignete Datei erstellt wird. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 93 / 96 Abschließende Bemerkungen Hinweise zur Arbeit mit PRNGs Hinweise zur Arbeit mit PRNGs • Die PRNGs von Programmiersprachen und Betriebssystemen erfüllen in der Regel nicht die Anforderungen an einen kryptographisch sicheren Pseudo-Zufallszahlengenerator. • Gute Quellen mit hoher Entropie sind oft schwer zu finden. Daher sollten möglichst viele Quellen angezapft werden. Fortuna ist gegen schlechte Quellen immun. • Der Einsatz von Seed Dateien ist einfach zu verstehen, aber schwierig zu implementieren. In der Regel sind Eingriffe in das Betriebssystem und sogar in die Firmware der Komponenten notwendig, um die Implementierung sicher zu gestalten. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 94 / 96 Abschließende Bemerkungen Generierung von Zahlen Generierung von gleichverteilten Zahlen Aufgabe: Generiere unter Gleichverteilung eine Zahl x ∈ {0, 1, . . . , n − 1}, wobei n eine natürliche Zahl und keine Zweierpotenz ist. Ansatz 1: Generiere zufällig eine Zahl y ∈ {0, 1, . . . , 2⌈log2 n⌉ − 1} und berechne x = y mod n Ergebnis: die resultierende Verteilung ist keine Gleichverteilung und somit nicht sicher. Ansatz 2: Generiere solange zufällig eine Zahl x ∈ {0, 1, . . . , 2⌈log2 n⌉ − 1}, bis x ∈ {0, 1, . . . , n − 1} Ergebnis: Die resultierende Verteilung ist eine Gleichverteilung, aber es sind gelegentlich mehrere Versuche notwendig, bis eine Zufallszahl vorliegt. Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 95 / 96 Zusammenfassung Zusammenfassung • Die Kryptographie stellt hohe Anforderungen an Pseudo-Zufallszahlengeneratoren. • Der Blum-Blum-Shub Generator gilt als der sicherste PRNG. • Fortuna ist ein PRNG, der auf AES im Counter Mode basiert. • Zufallsquellen mit hoher Entropie verbessern die Qualität der Zufallszahlen von Fortuna. • Für weitere Informationen zum Thema Zufallszahlen empfiehlt sich RFC 4086 (Randomness Requirements for Security) der Internet Engineering Task Force (IETF). Prof. Dr. C. Karg (HS Aalen) Kryptographische Protokolle Zufallszahlengeneratoren 96 / 96