Mathematische Grundlagen: Unterschied zwischen den Versionen
Zeile 1: | Zeile 1: | ||
+ | ===Mathematische Grundlagen=== | ||
+ | ====Berechnungskomplexität==== | ||
In der Kryptografie ist häufig die Rede von effizienten oder uneffizienten Verfahren; Alice hat dazu folgendes gelesen:<br> | In der Kryptografie ist häufig die Rede von effizienten oder uneffizienten Verfahren; Alice hat dazu folgendes gelesen:<br> | ||
<br> | <br> | ||
Zeile 91: | Zeile 93: | ||
Aber nun zu den mathematischen Grundlagen, die für RSA relevant sind.<br> | Aber nun zu den mathematischen Grundlagen, die für RSA relevant sind.<br> | ||
<br> | <br> | ||
+ | ====Größter gemeinsamer Teiler==== | ||
<u>Aufgabe:</u><br> | <u>Aufgabe:</u><br> | ||
<br> | <br> | ||
Zeile 122: | Zeile 125: | ||
'''Definition 1.1'''<ref>[2, S.120]</ref> Es seien <math>a,b \in \Z</math>. Die größte natürliche Zahl, die sowohl a als auch b teilt, heißt größter gemeinsamer Teiler und wird mit ggT(a,b) bezeichnet.<br> | '''Definition 1.1'''<ref>[2, S.120]</ref> Es seien <math>a,b \in \Z</math>. Die größte natürliche Zahl, die sowohl a als auch b teilt, heißt größter gemeinsamer Teiler und wird mit ggT(a,b) bezeichnet.<br> | ||
<br> | <br> | ||
+ | ====Euklidischer Algorithmus==== | ||
Es gibt eine effizientere Methode, als die Primfaktorzerlegung, um den ggT zweier natürlicher Zahlen zu bestimmen und damit die Punktzahl von Alice zu ermitteln. Diese Methode wird als Euklidischer Algorithmus bezeichnet, weil er ca. 300 v. Chr. von Euklid in seinem Buch „Elemente“ beschrieben wurde. Historiker vermuten jedoch, dass Euklid den Algorithmus nicht selbst entdeckt hat und schätzen die Entstehungszeit auf ca. 500 v. Chr.<br> | Es gibt eine effizientere Methode, als die Primfaktorzerlegung, um den ggT zweier natürlicher Zahlen zu bestimmen und damit die Punktzahl von Alice zu ermitteln. Diese Methode wird als Euklidischer Algorithmus bezeichnet, weil er ca. 300 v. Chr. von Euklid in seinem Buch „Elemente“ beschrieben wurde. Historiker vermuten jedoch, dass Euklid den Algorithmus nicht selbst entdeckt hat und schätzen die Entstehungszeit auf ca. 500 v. Chr.<br> | ||
Der Algorithmus beruht auf Division mit Rest.<br> | Der Algorithmus beruht auf Division mit Rest.<br> | ||
Zeile 174: | Zeile 178: | ||
<math>ggT(1911,1980)\ =\ 3</math><br> | <math>ggT(1911,1980)\ =\ 3</math><br> | ||
<br> | <br> | ||
+ | ====Erweiterter Euklidischer Algorithmus==== | ||
'''Lemma 1.4'''<ref>[2, S.120 f.]</ref> (Lemma von Bézout) Zu <math>a,b \in \N</math> existieren ganze Zahlen x und y mit <math>ggT(a,b) = x \cdot a + y\cdot b</math><br> | '''Lemma 1.4'''<ref>[2, S.120 f.]</ref> (Lemma von Bézout) Zu <math>a,b \in \N</math> existieren ganze Zahlen x und y mit <math>ggT(a,b) = x \cdot a + y\cdot b</math><br> | ||
<br> | <br> |
Version vom 12. September 2010, 16:15 Uhr
Inhaltsverzeichnis |
Mathematische Grundlagen
Berechnungskomplexität
In der Kryptografie ist häufig die Rede von effizienten oder uneffizienten Verfahren; Alice hat dazu folgendes gelesen:
Die Entscheidung, ob ein Verfahren als effizient gilt oder nicht, beruht lediglich auf der Berechnungskomplexität des Verfahrens und nicht auf den verwendeten Computersystemen.
Die Berechnungskomplexität bezeichnet dabei den Speicherbedarf S und Zeitbedarf T der untersuchten Funktion, was als Laufzeitfunktion bezeichnet wird. Dies kann man mittels der sogenannten „Big-O-Notation“ oder„Groß-O-Schreibweise“ angeben.
Die „Big-O-Notation“ beruht darauf, dass die Laufzeit einer Funktion hauptsächlich von der größten Potenz abhängig ist und alle anderen Faktoren als trivial gelten können. Folglich wird nur diese größte Potenz der Funktion in der „Big-O-Notation“ berücksichtigt.
Die Laufzeit einer Funktion hängt von der Bitlänge n des verwendeten Schlüssels ab, weshalb diese Größe als Variable n in die „Big-O-Notation“ mit eingeht.
Beispiel: Die Laufzeitkomplexität einer Funktion lautet: , so würde diese Funktion als „Big-O-Notation“, so angegeben werden:
Um nun zu bestimmen, ob eine Funktion als effizient gilt, unterscheidet man unter anderem:
effizient | uneffizient | ||
---|---|---|---|
Konstant | ![]() |
Polynomial | ![]() |
Linear | ![]() |
Exponentiell | ![]() |
Polynomial | ![]() |
Um zu sehen was dies in der Realität bedeutet hier eine kleine Tabelle:
Klasse | Komplexität | Anzahl der Operationen für n = | Laufzeit | Anzahl der Operationen für n = | Laufzeit |
---|---|---|---|---|---|
Konstant | ![]() |
||||
Linear | ![]() |
||||
Quadratisch | ![]() |
||||
Kubisch | ![]() |
||||
Exponentiell | ![]() |
Aber nun zu den mathematischen Grundlagen, die für RSA relevant sind.
Größter gemeinsamer Teiler
Aufgabe:
Alice möchte Bob die Punktzahl ihrer letzten Matheklausur übersenden. Da sie nun weiß, dass ein Unbekannter ihre Nachrichten liest, versucht sie die Information so zu übersenden, dass Mallory die Punktzahl nicht herausfindet. Weil sie noch kein Verschlüsselungsverfahren einsetzt, versucht sie es wie folgt:
„Meine Punktzahl ist der größte gemeinsame Teiler der Zahlen 90 und 105.“
Und es funktioniert tatsächlich, Mallory, der Mathe immer gehasst hat, erkennt nicht, welche Punktzahl Alice erreicht hat.
Kannst du die Punktzahl von Alice ermitteln?
Den größten gemeinsamen Teiler (ggT) von natürlichen Zahlen hast du bereits in der 5.Klasse berechnet. Dazu hast du, wie in obigem Beispiel, Zahlen in ihre Primfaktoren zerlegt und daraus anschließend den ggT ermittelt. Das es zu jeder natürlichen Zahl n eine eindeutige Primfaktorzerlegung gibt, zeigt folgender Satz:
Satz 1.0[1](Fundamentalsatz der elementaren Zahlentheorie oder Satz über die eindeutige Primfaktorzerlegung)
Jede natürliche Zahl n > 1 lässt sich auf eindeutige Weise in ein Produkt von Primfaktoren zerlegen.
Der größte gemeinsame Teiler ist allgemein wie folgt definiert:
Definition 1.1[2] Es seien . Die größte natürliche Zahl, die sowohl a als auch b teilt, heißt größter gemeinsamer Teiler und wird mit ggT(a,b) bezeichnet.
Euklidischer Algorithmus
Es gibt eine effizientere Methode, als die Primfaktorzerlegung, um den ggT zweier natürlicher Zahlen zu bestimmen und damit die Punktzahl von Alice zu ermitteln. Diese Methode wird als Euklidischer Algorithmus bezeichnet, weil er ca. 300 v. Chr. von Euklid in seinem Buch „Elemente“ beschrieben wurde. Historiker vermuten jedoch, dass Euklid den Algorithmus nicht selbst entdeckt hat und schätzen die Entstehungszeit auf ca. 500 v. Chr.
Der Algorithmus beruht auf Division mit Rest.
Algorithmus 1.2[3] (Euklidischer Algorithmus) Es seien . Man bestimmt
, so dass gilt:
![a\ =\ b\cdot p + r\ und\ 0\le r < b](/images/math/2/a/8/2a8fa7044291e6d74e0bb1ef279ca95b.png)
Dann gilt ggT(a,b) =ggT(b,r).
Anschließend wendet man das Verfahren auf b und r an. Dies führt man so lange fort, bis man den ggT direkt bestimmen kann.
Für die Zahlen von Alice würde dies bedeuten:
In allgemeiner ausgeschriebener Form lautet der Euklidische Algorithmus:
Algorithmus 1.3 [4]Es seien , ohne Beschränkung der Allgemeinheit* (oBdA.) sei
(*da Analoges auch für
gilt). Dann existieren eindeutig bestimmte Zahlen
und
mit
Folglich bricht das Verfahren nach endlich vielen Schritten ab, es gilt ggT(a,b)= . Denn aus der ersten Gleichung folgt ggT(a,b)=ggT(b,
), aus der zweiten ggT(b,
)=ggT(
,
), usw. aus der letzten Gleichung folgt
ggT(
,
) = ggT (
,
) =
□
Aufgabe:
Da Alice gefallen an der getarnten Übermittlung von Zahlen gefunden hat und weil sie hofft, den Unbekannten damit zu verwirren, sendet sie auch das genaue Datum ihres jährlichen Treffens im August mit der „ggT-Methode“ an Bob. Beim diesjährigen Treffen möchten die beiden unter anderem die richtige Verwendung des Verschlüsselungsalgorithmus besprechen, den sie anschließend für ihre Kommunikation nutzen möchten. Alice verheimlicht diesmal sogar, dass sie die ggT-Methode verwendet, doch Bob erkennt, den zusammenhangslosen Satz als „Chiffre“.
„Bob, bevor ich es wieder vergesse, das Geburtsjahr meiner Oma ist 1911 und mein großer Bruder ist 1980 geboren.“
Folglich ist der größte gemeinsame Teiler von 1911 und 1980 gesucht.
Also ist 3 der größte gemeinsame Teiler von 1911 und 1980, woraus folgt, dass sich Alice und Bob am 03.08 treffen möchten.
Zur Überprüfung hier die Primfaktorenzerlegung von
Erweiterter Euklidischer Algorithmus
Lemma 1.4[5] (Lemma von Bézout) Zu existieren ganze Zahlen x und y mit
Diese Darstellung des größten gemeinsamen Teilers zweier Zahlen heißt auch Vielfachsummendarstellung. Das Lemma ist eine unmittelbare Folgerung aus dem Euklidischen Algorithmus. Beides zusammen - Euklidischer Algorithmus und Vielfachsummendarstellung – heißt erweiterter Euklidischer Algorithmus.
Aufgabe:
Bob übermittelt mit gleichem Verfahren, wie lange er bei Alice bleiben kann.
„Ich werde dich, wie schon vor 350 Tagen, auch diesmal gerne besuchen und die 585 km Anfahrt in Kauf nehmen.“
Wie lange wird Bob bleiben? Berechne den ggT von 350 und 585 mithilfe des Euklidischen Algorithmus.
Nun soll noch die Vielfachsummendarstellung von 235 und 350 bestimmt werden:
Der Euklidische Algorithmus lässt sich mithilfe von Computerprogrammen effizient umsetzen. Um das effizienteste Verfahren zur Umsetzung des Euklidischen Algorithmus kennen zu lernen, benötigst du noch Grundlagen der Modulo-Rechnung, die du auf der nächsten Seite kenne lernen wirst.
=> weiter zur Modulo-Rechnung
zurück zur Übersicht