Rabin-Kryptosystem

Das Rabin-Kryptosystem ist innerhalb der Kryptologie ein asymmetrisches Kryptosystem, dessen Sicherheit beweisbar auf dem Faktorisierungsproblem beruht und das mit RSA verwandt ist. Es lässt sich prinzipiell auch zur Signatur verwenden. In der Praxis findet das Verfahren allerdings kaum Anwendung, da die Entschlüsselung nicht eindeutig ist, zusätzlich bestehen bestimmte Angriffsmöglichkeiten.

Geschichte

Das Verfahren wurde im Januar 1979 von Michael O. Rabin veröffentlicht. Das Rabin-Kryptosystem war das erste asymmetrische Kryptosystem, bei dem auf mathematischen Weg bewiesen werden konnte, dass es zumindest gleich schwierig zu lösen ist wie das Faktorisierungsproblem (das als nicht effizient lösbar angenommen wird).

Schlüsselerzeugung

Wie alle asymmetrischen Kryptosysteme verwendet auch das Rabin-Kryptosystem einen öffentlichen Schlüssel (Public Key) und einen geheimen Schlüssel (Private Key). Der Öffentliche dient der Verschlüsselung und kann ohne Bedenken veröffentlicht werden, während der geheime Schlüssel der Entschlüsselung dient und nur den Empfängern der Nachricht bekannt sein darf.

Es folgt nun eine genaue mathematische Beschreibung der Schlüsselerzeugung:

Seien p,q zwei möglichst große Primzahlen, häufig kurz als $p, q \in \mathbb{P}$ geschrieben, für die eine bestimmte Kongruenzbedingung gelten muss. Der öffentliche Schlüssel n wird durch Multiplikation der beiden Zahlen erzeugt, also $n = p \cdot q$. Der geheime Schlüssel ist das Paar (p,q). Anders ausgedrückt: Wer nur n kennt, kann ver- aber nicht entschlüsseln, wer dagegen p und q kennt, kann damit auch entschlüsseln. Wären p und q keine Primzahlen, so ließe sich das Verfahren nicht anwenden.

Beispiel:

Wenn man p = 7 und q = 11 annimmt, dann ergibt sich daraus der öffentliche Schlüssel $n = p \cdot q = 77$. 7 und 11 sind gültige Zahlen weil sie Primzahlen sind und die Kongruenzbedingung für diese gilt.

In Wirklichkeit werden viel größere Zahlen verwendet um das Entschlüsselung durch Dritte schwierig zu machen (Primzahlen in der Größenordnung von 10²⁰⁰ und größer).

Kongruenzbedingung

Im Rabin-Kryptosystem werden die Primzahlen p und q normalerweise so gewählt, dass die Kongruenzbedingung $p\equiv q\equiv 3\pmod{4}$ gilt.

Diese Bedingung vereinfacht und beschleunigt die Entschlüsselung. Allgemein gilt nämlich: Sei r eine Primzahl mit $r \equiv 3 \pmod{4}$ und $a \in \mathbb{Z}$ mit $a \equiv b^2 \pmod{ r}$, dann findet man eine Quadratwurzel s von a mit

$s\equiv a^{\frac{(r+1)}{4}}\pmod{r}$.

Es gilt also $s^2\equiv a\pmod{r}$.

Da r eine Primzahl ist, gilt zudem entweder $s\equiv b\pmod{r}$ oder $s\equiv -b\pmod{r}$.

Wegen $7 \equiv 11 \equiv 3 \pmod{4}$ ist die Kongruenzbedingung im Beispiel bereits erfüllt.

Verschlüsselung

Mit dem Rabin-Verfahren lassen sich beliebige Klartexte m aus der Menge $\{0, \ldots, n-1 \}$ verschlüsseln. Alice, die einen solchen Klartext verschlüsseln will, muss dazu nur den öffentlichen Schlüssel n des Empfängers Bob kennen. Sie berechnet dann den Geheimtext c nach der Formel

$c = m^2 \, \bmod \, n$

Im praktischen Einsatz bietet sich die Verwendung von Blockchiffre an.

In unserem Beispiel sei P = {0,...,76} der Klartextraum, m = 20 der Klartext. Der Geheimtext ist hierbei nun $c = m^2 \, \bmod \, n = 15$.

Dabei muss man beachten, dass für genau vier verschiedene m das c den Wert 15 aufweist, nämlich für $m \in \{ 13, 20, 57, 64 \}$. Jeder quadratische Rest c hat genau vier verschiedene Quadratwurzeln modulo n = pq.

Entschlüsselung

Entschlüsselung

Bei der Entschlüsselung wird aus dem Geheimtext unter Verwendung des geheimen Schlüssels wieder der Klartext berechnet.

Das genaue mathematische Vorgehen wird nun beschrieben:

Seien allgemein c und r bekannt, gesucht wird $m \in \{ 0, ..., n-1 \}$ mit $m^2 \equiv c \, \bmod \, r$. Für zusammengesetzte r (beispielsweise unsere n) existiert kein effizientes Verfahren zur Bestimmung von m. Ansonsten, wenn also $r \in \mathbb{P}$ (in unserem Fall p und q), dann lässt sich jedoch der chinesische Restsatz ausnutzen.

In unserem Fall sind nun die Quadratwurzeln

$m_p = \sqrt{c} \, \bmod \, p$

und

$m_q = \sqrt{c} \, \bmod \, q$

gesucht.

Wegen obiger Kongruenzbedingung gilt:

$m_p = c^{\frac{(p+1)}{4}} \, \bmod \, p$

und

$m_q = c^{\frac{(q+1)}{4}} \, \bmod \, q$.

In unserem Beispiel ergeben sich m_p = 1 und m_q = 9.

Mit dem erweiterten euklidischen Algorithmus werden nun y_p und y_q, mit $y_p \cdot p + y_q \cdot q = 1$, bestimmt. In unserem Beispiel erhalten wir y_p = − 3 und y_q = 2.

Nun werden unter Ausnutzung des chinesischen Restsatzes die vier Quadratwurzeln + r, − r, + s und − s von $c + n \mathbb{Z} \in \mathbb{Z} / n \mathbb{Z}$ berechnet ($\mathbb{Z} / n \mathbb{Z}$ steht hierbei wie üblich für die Menge der Restklassen modulo n; die vier Quadratwurzeln liegen in der Menge {0,...,n − 1}):

$\begin{align} r &= ( y_p \cdot p \cdot m_q + y_q \cdot q \cdot m_p) \, \bmod \, n \\ -r &= n-r \\ s &= ( y_p \cdot p \cdot m_q - y_q \cdot q \cdot m_p) \, \bmod \, n \\ -s &= n-s \end{align}$

Eine dieser Quadratwurzeln $\mod \, n$ ist wieder der anfängliche Klartext m. Im Beispiel gilt $m \in \{ 64, \mathbf{20}, 13, 57 \}$.

Bewertung

Effektivität

Die Entschlüsselung liefert zusätzlich zum Klartext drei weitere Ergebnisse, das richtige Ergebnis muss daher erraten werden. Dies ist der große Nachteil des Rabin-Kryptosystems.

Man kann aber Klartexte mit spezieller Struktur wählen. Hierdurch geht jedoch die Äquivalenz zum Faktorisierungsproblem verloren, wie sich zeigen lässt. Das System wird dadurch also geschwächt.

Effizienz

Bei der Verschlüsselung muss eine Quadrierung $\mod \, n$ durchgeführt werden. Das ist effizienter als RSA mit dem Exponenten 3.

Die Entschlüsselung erfordert die Anwendung des chinesischen Restsatzes und je eine modulare Exponentiation $\mod \, p$ und $\mod \, q$. Die Effizienz der Entschlüsselung ist mit RSA vergleichbar.

Sicherheit

Der große Vorteil des Rabin-Kryptosystems ist, dass man es nur dann brechen kann, wenn man das beschriebene Faktorisierungsproblem effizient lösen kann.

Anders als etwa bei RSA lässt sich zeigen, dass das Rabin-Kryptosystem genauso schwer zu brechen ist wie das Faktorisierungsproblem, auf dem es beruht. Es ist somit sicherer. Wer also das Rabin-Verfahren brechen kann, der kann auch das Faktorisierungsproblem lösen und umgekehrt. Es gilt daher als sicheres Verfahren, solange das Faktorisierungsproblem ungelöst ist. Vorausgesetzt ist dabei wie bereits beschrieben aber, dass die Klartexte keine bestimmte Struktur aufweisen.

Da man auch außerhalb der Kryptologie bemüht ist Faktorisierungsprobleme zu lösen, würde sich eine Lösung rasch in der Fachwelt verbreiten. Doch das ist bislang nicht geschehen. Man kann also davon ausgehen, dass das zugrundeliegende Faktorisierungsproblem derzeit unlösbar ist. Ein Angreifer, der nur belauscht, wird daher derzeit nicht in der Lage sein, das System zu brechen.

Ein aktiver Angreifer aber kann das System mit einem Angriff mit frei wählbarem Geheimtext (englisch chosen-ciphertext attack) brechen, wie sich mathematisch zeigen lässt. Aus diesem Grund findet das Rabin-Kryptosystem in der Praxis kaum Anwendung.

Durch Hinzufügen von Redundanz, z. B. Wiederholen der letzten 64 Bit, wird die Wurzel eindeutig. Dadurch ist der Angriff vereitelt (weil der Entschlüssler nur noch die Wurzel zurückliefert, die der Angreifer schon kennt). Dadurch ist die Äquivalenz der Sicherheit zum Rabin-Kryptosystem nicht mehr beweisbar. Allerdings, laut dem Handbook of Applied Cryptography von Menezes, Oorschot und Vanstone, hält die Äquivalenz unter der Annahme, dass das Wurzelziehen ein zweigeteilter Prozess ist (1. Wurzel $\mod\ p$ und Wurzel $\mod\ q$ ziehen und 2. Chinesischen Restsatzalgorithmus anwenden).

Da bei der Kodierung nur die quadratischen Reste verwendet werden (im Beispiel n = 77 sind das nur 23 der 76 möglichen Zustände), ist das Verfahren zusätzlich angreifbar.

Literatur

• Johannes Buchmann: Einführung in die Kryptographie, 2., erweiterte Auflage. Springer, Berlin u. a. 2001 ISBN 3-540-41283-2 (S. 125 ff.)
• Michael O. Rabin: Digitalized Signatures and Public-Key Functions as Intractable as Factorization. MIT-LCS-TR 212, MIT Laboratory for Computer Science, Januar 1979 (englischer Originalaufsatz)