Schnorr-Signatur

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die Schnorr-Signatur ist ein 1989/91 vom deutschen Mathematikprofessor Claus-Peter Schnorr entworfenes kryptographisches Schema für digitale Signaturen. Es leitet sich aus der Schnorr-Identifikation ab, indem wie bei der Fiat-Shamir-Identifikation die Interaktion durch den Einsatz einer kryptographischen Hashfunktion ersetzt wird. Die Sicherheit beruht auf der Komplexität des Diskreten Logarithmus in endlichen Gruppen.

Das Verfahren ist von Schnorr patentiert[1][2], die Schutzfrist ist inzwischen jedoch abgelaufen. Es ist exklusiv an RSA lizenziert (Siemens hat aber eine nicht-exklusive Lizenz). Schnorr warf im Rahmen der Standardisierung IEEE P1363 der NIST vor, mit dem von ihr entwickelten Signatur-Verfahren Digital Signature Algorithm, kurz DSA, sein Patent zu verletzen.

Parameter[Bearbeiten | Quelltext bearbeiten]

Systemweite Parameter[Bearbeiten | Quelltext bearbeiten]

Alle Benutzer können diese Parameter gemeinsam nutzen:

  • Eine Gruppe primer Ordnung . Diese ist zyklisch, sei ein Generator
  • Eine kryptografische Hash-Funktion mit Wertebereich .

Schnorr schlägt vor, eine Untergruppe von für ein primes zu wählen. Er argumentiert, dass Schlüssel- und Signaturlängen sich auf beziehen, das Sicherheitsniveau sich hingegen am größeren orientiert.

Privater Schlüssel[Bearbeiten | Quelltext bearbeiten]

Der private Schlüssel besteht aus einer zufällig gewählten Zahl:

  • mit

Öffentlicher Schlüssel[Bearbeiten | Quelltext bearbeiten]

Der öffentliche Schlüssel ist das entsprechende Gruppenelement :

Unterschreiben[Bearbeiten | Quelltext bearbeiten]

Um eine Nachricht zu unterschreiben, wird folgendermaßen verfahren:

  1. Wähle zufällig mit .
  2. Setze
  3. Setze . Dabei ist die Konkatenation von Zahlen als Bitfolgen.
  4. Setze .

Die Unterschrift der Nachricht ist das Tupel .

Verifizieren[Bearbeiten | Quelltext bearbeiten]

Um eine Unterschrift einer Nachricht zu verifizieren, wird folgendermaßen verfahren:

  1. Setze
  2. Setze
  3. Akzeptiere die Unterschrift genau dann, wenn ist.

Sicherheitsdiskussion (informell)[Bearbeiten | Quelltext bearbeiten]

Die Sicherheit der Schnorr-Signatur ist im Random-Oracle-Modell auf die Komplexität des diskreten Logarithmus in der verwendeten Gruppe beweisbar zu reduzieren, d. h. wer das Schnorr-Signatur-Schema effizient bricht, kann auch effizient den diskreten Logarithmus berechnen[3]. Es ist kein Verfahren bekannt, mit dem sich der diskrete Logarithmus in multiplikativen Gruppen von endlichen Körpern mit heutigen Computern effizient berechnen lässt. (Für die Berechnung auf Quantencomputern existiert zwar der (theoretisch) effiziente Shor-Algorithmus[4], die dafür erforderlichen Quantencomputer sind aber mit den erforderlichen Bitlängen in absehbarer Zeit nicht realisierbar.) Diese beweisbare Reduktion auf bekannte, als schwierig eingestufte Probleme ist typisch für Sicherheitsbeweise bei kryptographischen Systemen mit öffentlichen Schlüsseln.

Im Random-Oracle-Modell nimmt man an, die Hashfunktion verhalte sich wie eine zufällige Funktion und ein Angreifer kann die Funktionswerte nur über eine Orakel für die Funktionswerte berechnen. Mit Hilfe eines Widerspruchsbeweis zeigt man nun die Korrektheit des Verfahrens. Angenommen, es gäbe einen erfolgreichen Unterschriftenfälscher für das Signaturverfahren. Dieses kann man nutzen, um aus dem öffentlichen Schlüssel den geheimen Schlüssel zu bestimmen, also den Diskreten Logarithmus von zu berechnen – im Widerspruch zur Annahme, der diskrete Logarithmus sei schwierig.

  1. Simuliere den Algorithmus zum Unterschreiben einer Nachricht , speichere Zustand beim Aufruf des Orakels, um zu berechnen.
  2. Wiederhole die Simulation an gespeicherten Zustand, gib allerdings ein anderes zurück (Dies geht im Random-Oracle-Modell)
  3. Seien und die beiden (verschiedenen) Unterschriften zur gleichen Nachricht und gleichem Zufallswert bzw.
  4. Es gilt , also

Die Division durch ist möglich: Da prim ist, existiert zu jeder Zahl ungleich 0 auch ein Inverses modulo .

Literatur[Bearbeiten | Quelltext bearbeiten]

Weblinks[Bearbeiten | Quelltext bearbeiten]

Claus-Peter Schnorr, Vorlesung Kryptographie I/II, Kapitel 1.7, (PDF, 454 kB)

Einzelnachweise[Bearbeiten | Quelltext bearbeiten]

  1. Patent EP0384475: Angemeldet am 22. Februar 1990.
  2. Patent US4995082: Angemeldet am 23. Februar 1990.
  3. David Pointcheval und Jacques Stern: Security arguments for digital signatures and blind signatures. Journal of Cryptology, 13(3), pp. 361-396, 2000.
  4. Peter W. Shor: Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer. In: SIAM Journal on Computing. 26/1997, S. 1484–1509 (arXiv:quant-ph/9508027).