Digital Signature Algorithm

Digital Signature Algorithm (DSA) è uno standard FIPS per la firma digitale proposto dal National Institute of Standards and Technology (NIST) nell'agosto del 1991 per essere impiegato nel Digital Signature Standard (DSS), le sue specifiche sono contenute nel documento FIPS 186, viene definitivamente adottato nel 1993. In seguito è stato riveduto ulteriormente nel 1996 con FIPS 186-1, nel 2000 con FIPS 186-2, nel 2009 con FIPS 186-3, e nel 2013 con FIPS 186-4.

Negli Stati Uniti l'algoritmo DSA è coperto da brevetto attribuito a David W. Kravitz, un ex-ricercatore della NSA; il NIST ha reso questo brevetto disponibile liberamente per qualsiasi uso.

Descrizione dell'algoritmo

Di seguito vengono descritti i passi fondamentali per l'impiego di DSA, che fa uso di un sistema crittografico a chiave pubblica simile ad ElGamal.

Generazione delle chiavi

• Si scelga un numero primo di $d$-bit $q$.
• Si scelga un numero primo p lungo L bit, tale che $p=qz+1$ per un qualche numero intero z, con 512≤L≤1024 e divisibile per 64 (nell'ultima revisione dello standard si specifica che L deve corrispondere a 1024).
• Si scelga h tale che $1<h<p-1$ e $g=h^{z}modp>1$
• Si generi un numero casuale $x$ tale che $0<x<q$
• Calcolare $y=g^{x}modp$

La chiave pubblica è y, la chiave privata è x.
I parametri (p, q, g) sono pubblici e possono essere condivisi da diversi utenti.

Esistono algoritmi efficienti per il calcolo delle esponenziazioni modulari $h^{z}modp$ e $g^{x}modp$.

Calcolo della firma

• Si generi un numero casuale k tale che $0<k<q$
• Calcolare $r=(g^{k}modp)modq$
• Calcolare $s=(k^{-1}(H(m)+x*r))modq$ dove H(m) è una funzione di hash SHA-d applicata al messaggio m
• Nel caso in cui $r=0$ o $s=0$ bisogna ricalcolare la firma
• La firma è (r,s)

L'algoritmo esteso di Euclide può essere usato per calcolare l'inverso modulare $k^{-1}modq$.

Verifica della firma

• Rifiutare firme se non sono soddisfatte le condizioni $0<r<q$ e $0<s<q$
• Calcolare $w=s^{-1}modq$
• Calcolare $u_1=(H(m)*w)modq$
• Calcolare $u_2=(r*w)modq$
• Calcolare $v=((g^{u_1}*y^{u_2})modp)modq$
• La firma è verificata se $v=r$

Dimostrazione

L'algoritmo è corretto nel senso che il destinatario verificherà sempre le firme valide.

Da $g=h^{z}modp\Rightarrow g^q\equiv h^{qz}\equiv h^{p-1}\equiv 1(\mathrm{mod}p)$ per il piccolo teorema di Fermat. Dato che $g>1$ e q è primo segue che g è di ordine q.

Il firmatario calcola: $s=k^{-1}(H(m)+xr)modq$

quindi

$\begin{array}{ccc}k& \equiv & H(m)s^{-1}+xr{s}^{-1}\\ & \equiv & H(m)w+xrw(\mathrm{mod}q)\end{array}$

visto che g è di ordine q

$\begin{array}{ccc}{g}^k& \equiv & g^{H(m)w}{g}^{xrw}\\ & \equiv & g^{H(m)w}{y}^{rw}\\ & \equiv & g^{u_1}{y}^{u_2}(\mathrm{mod}p)\end{array}$

La correttezza di DSA è provata da: $r=(g^{k}modp)modq=(g^{u_1}{y}^{u_2}modp)modq=v$.

Sicurezza

Come molti sistemi di crittografia a chiave pubblica, la sicurezza di DSA si basa sull'intrattabilità di un problema matematico, in questo caso sull'inesistenza di un algoritmo efficiente per il calcolo del logaritmo discreto.

Particolare attenzione va posta al calcolo della quantità k: deve essere generata casualmente in modo che non sia possibile risalirvi, nel qual caso sarebbe possibile risalire facilmente ad x (la chiave privata) a partire dalla firma.

Voci correlate

• Firma digitale
• Crittografia asimmetrica
• RSA

Collegamenti esterni

• Template:FOLDOC
• Template:En FIPS-186, le specifiche originali di DSA.
• Template:En FIPS-186, change notice No.1, il primo aggiornamento alle specifiche.
• Template:En FIPS-186-1, prima revisione dello standard.
• Template:En FIPS-186-2, seconda revisione dello standard.
• Template:En FIPS-186-3, terza revisione dello standard.
• Template:En FIPS-186-4, quarta revisione dello standard.