Versione delle 09:01, 24 apr 2009 modifica FrescoBot (discussione \| contributi) 692 modifiche m Bot: errori di battitura ← Differenza precedente		Versione delle 12:29, 31 gen 2010 modifica annulla Crochet.david.bot (discussione \| contributi) 4 371 modifiche m Bot : carattere di codifica fissa Differenza successiva →
Riga 16: ==Schema di firme== Siano D un insieme finito di possibili documenti, F un insieme finito di possibili firme, K un insieme finito di possibili chiavi;<br /> se ∀ k ∈ K ∃ un algoritmo di firma sig<sub>k</sub>:D→F, ∃ un corrispondente algoritmo di verifica ver<sub>k</sub>:~~D×F~~D×F→{vero, falso} tale che ∀ d ∈ D, ∀ f ∈ F : ver<sub>k</sub>(d,f) = { vero se f = sig<sub>k</sub>(d) ; falso se f ≠ sig<sub>k</sub>(d) }<br /> allora (D, F, K, sig<sub>k</sub>, ver<sub>k</sub>) costituisce uno schema di firme.

Firma digitale: differenze tra le versioni