Camenisch-Lysyanskaya-Signaturverfahren

Das Camenisch-Lysyanskaya-Signaturverfahren, oft auch als CL-Signaturverfahren bezeichnet, ist ein kryptographisches Verfahren zum Erstellen digitaler Signaturen. Es wurde von den Kryptographen Jan Camenisch und Anna Lysyanskaya entwickelt und im Jahr 2002 publiziert.

Verfahren

Im Folgenden wird das Signaturverfahren im Detail beschrieben. Die Beschreibung weicht in Details von der Originaldarstellung ab und folgt der Darstellung von Camenisch und Groß.

Verwendete Parameter

Zuerst werden folgende Parameter festgelegt:

• ${\ell }_n$: Länge des verwendeten RSA-Moduls; typische Werte sind 1536 oder 2048.
• ${\ell }_m$: Maximale Länge der zu signierenden Nachrichten.
• $L$: Anzahl der mit einer Signatur signierbaren Nachrichten.
• ${\ell }_e$: Sicherheitsparameter; muss $>{\ell }_m+2$ sein.
• ${\ell }_v$: Sicherheitsparameter; typische Werte sind 80 oder 128.

Schlüsselerzeugung

Die Schlüsselerzeugung werden nun folgende Schritte durchlaufen:

• Man wählt zwei große Primzahlen $p,q$ gleicher Bitlänge ${\ell }_n/2$, für welche $\frac{p-1}{2},\frac{q-1}{2}$ ebenfalls prim sind. Man definiert $n=pq$. (Siehe hierzu Sophie-Germain-Primzahl.)
• Man wählt zufällige $S,Z,R_1,\dots ,R_L\in Q{R}_n$, wobei $Q{R}_n$ die quadratischen Reste modulo $n$ beschreibt.

Der private Signaturschlüssel ist $(p,q)$, der öffentliche Verifikationsschlüssel besteht aus $(n,S,Z,R_1,\dots ,R_L)$.

Signieren einer Nachricht

Ein Tupel von Nachrichten $(m_1,\dots ,m_L)\in (-2^{{\ell }_m},2^{{\ell }_m}{)}^L$ wird folgendermaßen signiert:

• Man wählt eine zufällige Primzahl $e$ mit Länge ${\ell }_e>{\ell }_m+2$, und $v\in [0,2^{{\ell }_n+{\ell }_m+{\ell }_v})$.
• Man berechnet $A={\left(\frac{Z}{S^v\prod _{i=1}^L{R}_i^{m_i}}\right)}^{1/e}modn$.

Die Signatur besteht dann aus $(e,A,v)$.

Verifizieren einer Signatur

Eine Signatur $(e,A,v)$ für ein Tupel $(m_1,\dots ,m_L)$ ist gültig falls:

• $m_i\in (-2^{{\ell }_m},2^{{\ell }_m})$ für alle $i=1,\dots ,L$,
• $2^{{\ell }_e-1}<e<2^{{\ell }_e}$, sowie
• $Z=A^e{S}^v\prod _{i=1}^L{R}_i^{m_i}modn$.

Sicherheit

Das Verfahren ist unter der starken RSA-Annahme sicher. Diese besagt, dass für einen zufälligen Modul $n$ der oben beschriebenen Form, und einem zufälligen $y\in {\mathbb{Z}}_n^{*}$ es nicht möglich ist, effizient ein $x\in {\mathbb{Z}}_n^{*}$ sowie ein $1<e\in \mathbb{N}$ zu finden, sodass $y=x^{e}modn$ gilt.

Verwendung

CL-Signaturen werden aufgrund ihrer Eigenschaften häufig als Bausteine für anonyme Authentifizierungsprotokolle verwendet, wie zum Beispiel für Idemix oder Direct Anonymous Attestation.