Inizialmente ho pensato si trattasse di una mera boutade giornalistica priva di fondamento, visti anche i vari articoli critici apparsi sul web.

Poi ho letto con maggiore attenzione ed ho scaricato il file d'esempio e confesso che mi ha sorpreso positivamente; forse non è sufficiente ad invalidare il meccanismo della firma digitale, ma farei qualche considerazione aggiuntiva sull'argomento...

E' curioso, infine, l'approccio di Punto Informatico nell'articolo "Firma digitale falsificata? E' falsa solo la notizia", dove Diego Zanga commette un clamoroso errore, che lo porta ad affermare che il bug è di Windows, in pieno stile "Linux-rulez".

In risposta al suo articolo, mi accontento di mostrargli un altro sistema operativo buggato (Symbian):

L’acceso confronto sull’attacco alla firma digitale, che ha appassionato per giorni tecnici e giuristi naturalmente e in gran parte spettatori interessati, sembra essere giunto quantomeno a una tregua.

Alle prime osservazioni di Manlio Cammarata e Corrado Giustozzi e alla replica del docente reggino, già pubblicata sul sito dell’Università Mediterranea, poi su questo blog, e ora anche su Interlex, hanno fatto seguito da un lato le controrepliche degli stessi Cammarata e Giustozzi e dall’altro la risposta del Prof. Buccafurri al Presidente del CNIPA, che in una lettera del 25 giugno 2008 indirizzata al periodico Panorama aveva lamentato, sia consentita la brutale sintesi, l’equivocità del titolo dell’articolo che per primo ha diffuso la notizia.

Le ultime precisazioni sembrano ora, o forse solo per ora, sospendere la querelle.

E’ il momento dunque di giungere a qualche considerazione, modestamente generica, necessariamente parziale e senza la pretesa di andare molto oltre lo spunto e il punto di domanda.

Quel che è certo è che la firma digitale, allo stato della norma e della tecnica, non è falsificabile.

Ma è anche certo che nessuno, a Reggio Calabria, ha mai dichiarato di averla falsificata.

Una prima riflessione, forse la più importante e la più condivisa, quindi per nulla originale, non può non vertere allora sul ruolo dell’informazione in questa vicenda e sulla qualità generale della comunicazione in tema di informatica e di diritto dell’informatica; qualità da intendersi come puntualità anche formale e che dovrebbe essere tanto maggiore quanto pubblicamente e socialmente rilevanti sono, e lo saranno sempre più, gli argomenti trattati.

Nessuna smentita ha poi ricevuto l’affermazione del Prof. Buccafurri, secondo cui il tipo di attacco portato dal suo gruppo non è mai stato documentato, a fronte di diverse e concordi opinioni che ritengono il problema noto da tempo e l’esperimento già variamente attuato e rappresentato.

Non ci si può allora non chiedere, tralasciando volutamente il problema tutto accademico della primogenitura che pure si è posto, se e in quali termini l’ipotesi su cui si fonda l’attacco delle scorse settimane, ovvero l'ambiguità del documento, sia in effetti, o almeno negli effetti, assimilabile ad altra ipotesi, questa sì all’origine di questioni certamente già affrontate e risolte dal legislatore, quale la presenza di macro-istruzioni.

E, di conseguenza, se sia il caso di porre rimedio a una falla del sistema, che non riguarda la firma in sé ma che c’è, o non piuttosto di affidarsi alla chiarezza, se tale è e tale è destinata a permanere, della definizione giuridica di documento informatico valido agli effetti di legge, oltre che alle norme sul falso e quindi in ultima istanza al giudice, della cui presenza troppo spesso, anche tra i giuristi, complice la mistica della prevenzione informatica, ci si dimentica.

La verità, per quel che concerne e coinvolge l'ambito prettamente giuridico, non sta nel mezzo, ma forse un pò per volta in tutte le posizioni fin qui espresse.

<…chiarisco da subito che l'attacco non riguarda la robustezza degli algoritmi e hash crittografici usati per la generazione e la verifica della firma. Riguarda invece sia le procedure attualmente utilizzate per "confezionare" la busta crittografica e verificare la validità della firma, che le informazioni incluse nella stessa busta crittografica.

A causa di recenti articoli apparsi sul Web, redatti sulla base di una cattiva interpretazione dei nostri risultati scientifici è opportuno, prima di presentare l'attacco, offrire i seguenti chiarimenti:

In riferimento all'articolo apparso su interlex , N. 376, del 26 giugno 2008, dal titolo "Un 'baco' che non c'è e una scorciatoia per i disonesti" di Manlio Cammarata

Cammarata scrive:

Il problema del documento che cambia contenuto non è nuovo. E' stato sollevato nel lontano 2002, oggetto di approfondite discussioni su queste pagine.

E' falso. Il problema era noto ben prima. Già la deliberazione AIPA 51/2000 introduce una serie di prescrizioni destinate alle PA sui formati da utilizzare, in riferimento alla non staticità dei documenti. Tuttavia, come osservato piu' avanti, tale fattispecie è diversa da quella individuata nel nostro studio.

Cammarata scrive:

Il legislatore ha risolto da tempo il problema: per essere "valido e rilevante a tutti gli effetti di legge" e quindi equivalente al documento cartaceo con firma autografa, il documento informatico deve presentare una serie di requisiti. Prima di tutto "I documenti informatici devono essere presentati al titolare, prima dell'apposizione della firma, chiaramente e senza ambiguità" (CAD, art. 35, c. 2). Poi "Il documento informatico sottoscritto con firma digitale o altro tipo di firma elettronica avanzata basata su un certificato qualificato e generata mediante un dispositivo sicuro per la creazione di una firma non produce gli effetti di cui all'articolo 10, comma 3, del testo unico se contiene macroistruzioni o codici eseguibili, tali da attivare funzionalità che possano modificare gli atti, i fatti o i dati nello stesso rappresentati" (art. 3, comma 3 delle regole tecniche attualmente in vigore - DPCM 13 gennaio 2004).

I documenti utilizzati dai ricercatori calabresi non presentano questi requisiti. Quindi non possono essere validi ai sensi della normativa sulla firma digitale. Se qualcuno pensasse di servirsene per trarre qualcuno in inganno, potrebbe incorrere in uno dei reati di falso previsti e puniti dagli articoli 476 e seguenti del codice penale. Fine della questione.

Anche questo è falso. Relativamente a quanto prescritto dal CAD, art 35, comma 2, è sufficientemente evidente che un documento precostituito per l'attacco da noi documentato "si presentata al titolare, prima dell'apposizione della firma, chiaramente e senza ambiguità".

Ma d'altra parte il comma 2 del suddetto art. 35 NON RIGUARDA IL FORMATO O LE PROPRIETA' DEL DOCUMENTO, ma solo LE CARATTERISTICHE DEL DISPOSITIVO DI FIRMA E DEL SOFTWARE DI FIRMA. (Tra l'altro il comma 3 esclude da questa prescrizione le firme applicate mediante procedura automatica -- ma questo non è di rilievo). Quindi nulla ha a che vedere con la materia oggetto di discussione.

Relativamente all'art. 3, comma 3 delle regole tecniche attualmente in vigore - DPCM 13 gennaio 2004, è anche qui facile rendersi conto che tale prescrizione, cosi' come quella della (implicitamente abrogata?) deliberazione AIPA 51/2000, si riferisce alla possibile presenza di macro-codice o codice eseguibile nei documenti.

Il nostro attacco NON SI BASA SULL'INCLUSIONE DI MACRO-CODICE O CODICE ESEGUIBILE NEL DOCUMENTO, operando, per esempio, su un formato (come quello immagine - BMP) che non puo' contenere tali istruzioni. Del resto il CNIPA, mi ha confermato senza ambiguità la non diretta applicazione del sopra citato art. 3, e la necessità di adeguare le norme tecniche.

Detto questo non è da escludere che in giudizio potrebbe anche essere adottata un'applicazione estensiva di tale prescrizione, "assimilando" il nostro attacco a quello basato su documenti contenenti macro-istruzioni, ma questa è un'altra faccenda.

Attiene alla giusta facoltà del Giudice di compensare, secondo il suo prudente apprezzamento e l'applicazione della giurisprudenza, eventuali vacanze, aporie logiche, contraddizioni, che possono esistere (come in questo caso) nella normativa vigente. Ciò tuttavia non solleva il legislatore dall'obbligo di ridurre più possibile tali incogruenze normative.

Infine, che sulla base dell'attacco possono essere realizzati reati (frode informatica, falso in scrittura privata, falso ideologico, etc.) è più che lapalissiano.

E' il motivo per il quale ho ritenuto di dover divulgare più in fretta possibile questo studio, e di informare preventivamente (PRIMA DELLA PUBBLICAZIONE SCIENTIFICA) il CNIPA, quale organo di riferimento in questa materia.

In riferimento all'articolo apparso su interlex , N. 376, del 26 giugno 2008, dal titolo "La luna, il pozzo, la bufala" di Corrado Giustozzi

Giustozzi scrive:

Sembrava impossibile, eppure al giorno d’oggi c’è ancora qualcuno che ha il coraggio di sostenere di aver trovato il punto debole della firma digitale e di essere in grado di falsificarla. Ora, si trattasse di qualcuno che ha trovato un algoritmo efficiente di fattorizzazione, gli daremmo il premio Nobel (stiamo cercando tale algoritmo “solo” da duemilacinquecento anni, e la firma digitale si basa proprio sulla speranza che non esista…); si trattasse di qualcuno che ha trovato un modo di generare facilmente collisioni di tipo second preimage nelle funzioni hash tipo SHA-2 gli faremmo tanto di cappello; ma i trucchi da imbonitore, per carità, evitateceli. E soprattutto non spacciateli per “debolezze intrinseche” della firma digitale: sarebbe come dire che i tostapane non funzionano perché se ci metto dentro una trota non esce una fetta di pane tostato!

Non abbiamo mai affermato nella nostra ricerca che il nostro attacco si basi sulla "rottura" dell'algoritmo RSA o degli hash crittografici usati nella firma. Il riferimento di Giustozzi a questa fattispecie è del tutto fuori luogo. Per informazione, il premio Nobel non potrà mai essere preso da nessuno in questo campo, perchè il premio Nobel non è stato istituito nè per la matematica, nè per l'informatica, che è disciplina troppo giovane. Poteva fare riferimento invece al premio Turing, scienziato che Giustozzi dall'alto della sua esperienza sicuramente conoscerà, come conoscerà la sua teoria.

Giustozzi scrive:

Già. In realtà ciò che il pluringegneristico team di ricerca dell’Università Mediterranea ha scoperto, e persino documentato in un dottissimo paper disponibile in sola lingua inglese, non è ahimè una vulnerabilità “della firma digitale” tout court ma, banalmente, una nota ed annosa limitazione (pardon,“caratteristica”) di Windows. Tant’è che la proof of concept da essi illustrata a sostegno della propria tesi non funziona su nessun altro sistema operativo degno di questo nome. Ma di ciò i ricercatori calabresi si sono “dimenticati” di far menzione…

Vediamo dunque come stanno le cose. Dice il calabro ricercatore: “se prendo una immagine in formato BMP che dice una cosa, la violento trasformandola surrettiziamente in un documento HTML che ne dice un’altra, firmo il tutto, cambio nome al file da BMP in HTML, lo apro, allora perbacco! vedo il file HTML e non l’immagine BMP”.

Grande scoperta: lo sanno tutti che Windows decide cos’è un file non andandolo a guardare ma fidandosi di quello che dice il suo nome, o meglio l’estensione di tre lettere che segue il punto.

Così se prendo un file DOC e gli cambio estensione in BMP, e poi ci clicco sopra due volte, non partirà Word per aprirlo ma Paint, o il programma di grafica attivo per default; il quale oltretutto si arrabbierà moltissimo per non essere in grado di aprire il file, dato che il suo contenuto non corrisponde a quello previsto per un file BMP, e non saprà cosa fare per visualizzarlo. Naturalmente ciò vale anche per il viceversa, e per qualsiasi altra trasformazione da un’estensione ad un’altra. (Notiamo per inciso che tutti i sistemi operativi più seri quali Unix o Mac-OS non basano la loro decisione su una mera convenzione associata al nome del file, ma vanno a guardare cosa c’è effettivamente nel file stesso e lo riconoscono per quello che è il suo reale formato. Windows no, bontà sua).

Ora, è perfettamente possibile pensare di riuscire a costruire un file che risponda contemporaneamente alle specifiche tecniche di due formati differenti. Si tratta di una situazione patologica ma sicuramente realizzabile, magari sfruttando ad arte qualche bug di qualche diffuso programma di interpretazione di specifici formati (quello che si chiama genericamente parser). Ad esempio, come hanno fatto i ricercatori calabresi, si può accodare ad una immagine BMP un pezzo di testo HTML (confidando che il parser delle immagini non protesti per questi dati extra!) e quindi modificare i primi byte dell’immagine BMP (sempre confidando che il medesimo parser sia di bocca buona…) per far sì che l’immagine stessa appaia ad un interprete di codice HTML come un “commento” da ignorare.

Ora, questo abominio digitale è l’equivalente di quelle immagini ambivalenti di cui vanno tanto fieri gli psicologi cognitivi: ad esempio i due famosi profili affacciati che visti in altro modo diventano una coppa, o la vecchia signora che vista in altro modo diventa una giovane ragazza. Un bieco trucco, insomma, nel quale il file “taroccato” può essere aperto sia da un parser per immagini (che “vede” la sola parte BMP ed ignora quella HTML) che da un parser per HTML (che viceversa “vede” la sola parte HTML ed ignora quella BMP), con contenuti ovviamente assai diversi tra l’uno e l’altro caso.

La miopia di Windows fa sì che questa insana ambivalenza interpretativa possa essere “pilotata” a piacere semplicemente modificando l’estensione del file: se questa è BMP allora il doppio clic lo farà automaticamente aprire da un visualizzatore di immagini, mentre se è HTML da un browser. I risultati saranno ovviamente diversi, perché ciascun programma “vedrà” solo la parte di file che è in grado di interpretare e, se non è troppo schizzinoso, non si lamenterà per non riuscire ad interpretare l’altra parte. Ciò però vuol dire che il file è cambiato da una visualizzazione all’altra? Ovviamente no: semplicemente, l’automatismo fa sì che se ne veda una parte oppure un’altra, a scelta. Ma il file è sempre quello, nella sua immutabile interezza, a prescindere da quale parte si decida di vederne.

Il fatto che i file prodotti secondo la tecnica da noi mostrata siano "polimorfi" è un fatto intrinseco. Non dipende dal Sistema Operativo usato.

La cosa attiene ad un principio basilare, noto a chiunque sia competente in informatica, circa il fatto che il significato di una sequenza di bit puo' essere definito quando è definita la codifica che essi rappresentano, e quindi il modo con cui questi bit devono essere intepretati.

L'aggravante dei sistemi operativi che, come Windows, effettuano associazioni automatiche tra file ed applicazioni in base al'estensione, rende il problema significativo dal punto di vista pratico, circa il modo con cui la firma è utilizzata, considerato che la stragrande maggioranza dei documenti (ivi compresi quelli firmati) sono elaborati e mantenuti su piattaforma Microsoft (piaccia o non piaccia).

Giustozzi scrive:

E allora dov’è il tanto sbandierato bug della firma digitale? Ci dice ancora il professore: “se io firmo il file, e poi cambio estensione al file firmato, visualizzo di fatto un documento non conforme a quello che mi aspettavo, eppure la firma digitale risulta sempre verificata.”.

Ma che grande scoperta! Il file non è stato modificato, e dunque è ovvio che la firma digitale risulti verificata. Il fatto che il trucco dell’estensione continui a funzionare sul file firmato è un problema che riguarda la miopia di Windows, non la firma digitale in sé: la quale, come noto, riguarda solo ed esclusivamente il contenuto di un file e non, per amor di Dio, i suoi metadati.

Il motivo che la firma non rilevi il problema, è certamente evidente, per come funziona la firma e per come è usata la busta crittografica. Il problema sta proprio nel fatto che i metadati non vengono firmati. Questo è proprio la debolezza su cui si basa l'attacco. Come il CNIPA mi ha confermato, circa l'ipotesi di soluzione da noi ipotizzata (inclusione del nome -- in particolare l'estensione -- del file in un campo della busta sottoposto a firma), sarebbe una soluzione da "consigliare ai certificatori" (anche se, probabilmente, di difficile attuazione -- aggiungo io)

Giustozzi scrive:

In altre parole: nella formazione della firma digitale non concorrono cose quali il nome del file, la sua data di creazione, la lunghezza, l’attributo di sola lettura e via dicendo, com’è giusto che sia. Perché infatti il nome di un documento dovrebbe essere significativo rispetto al suo contenuto? Sarebbe come se il nome attribuito ad un faldone nel quale sono riposti degli atti fosse importante ai fini del contenuto degli atti ivi riposti, col risultato che l’eventuale modifica del nome del faldone dovrebbe inficiare la validità (e la firma) degli atti stessi!

La metafora del faldone non regge. Il fatto che il nome diventi significativo nel nostro caso dipende da un fatto tecnico.

Di fatti si parla dell'estensione e non del nome, in quanto essa (per la quasi totalità dei casi reali -- windows è il piu' diffuso SO al mondo), è un metadato che DESCRIVE IL FORMATO DEL DOCUMENTO.

Allora la metafora giusta dovrebbe essere legata ad una domanda del tipo:

"Avrebbe efficacia probatoria, in merito alla funzione dichiarativa, una firma autografa apposta su un documento codificato in un linguaggio coniato ad hoc, dal sottoscrittore, non noto a nessuno, senza che il documento stesso abbia al suo interno "i metadati" necessari a poter intepretare il contenuto?"

Il valore probatorio sarebbe nullo.

Semplicemente perchè quel pezzo di carta non sarebbe un documento secondo l'accezione giuridica del termine (in quanto non è la rappresentazione di atti e fatti giuridicamente rilevanti, ma soltanto una sequenza inintellegibile di caratteri).

Giustozzi scrive:

Con l’occasione notiamo che i nostri prodi ricercatori, senza dover necessariamente stuprare un’immagine BMP, potevano produrre un effetto similare in vari modi alternativi. Prendiamo ad esempio il formato ZIP, comunemente usato per archiviare tanti file comprimendoli in uno solo: oramai molte applicazioni di uso comune producono i loro file in questo formato standard, ma hanno cura di dotarli di estensioni differenti per fare in modo che non vengano aperti per errore da altre applicazioni. Il formato ODT per i documenti OpenOffice ed il formato JAR usato per distribuire classi Java e metadati associati sono due esempi comuni di tale diffusa pratica. Se dunque fate doppio clic su un file ODT esso verrà aperto da OpenOffice come se fosse un documento (ed in effetti lo è), mentre se gli cambiate nome in ZIP e poi gli fate doppio clic verrà aperto da WinZip come se fosse un archivio (ed in effetti è anche questo!). Anche in questo caso la semantica dell’azione innescata dal doppio clic viene decisa dall’estensione associata al nome del file, e ciascuna applicazione lanciata lo vedrà in modo diverso: ma la sostanza del file rimane sempre la medesima, ossia quella di un insieme di byte unico ed immutabile.

Anche in questo caso, dunque, funzionerebbe il trucco del professore calabrese: ma cosa c’entra la firma digitale?

Ciò che dice Giustozzi su Zip e ODT è privo di significato. Il nostro attacco è basato sulla capacità di un documento di presentarsi in modo diverso con diversi contenuti informativi entrambi intellegibili. Per questo ha significatività pratica. Non è il caso a cui Giustozzi si riferisce.

Giustozzi scrive:

Per concludere: non scherziamo con la firma digitale e soprattutto non scomodiamola invano. Già ha avuto tanti problemi nel corso degli anni, ed ha dovuto subire denigrazioni e sconfessioni da parte di personaggi ed istituzioni a dir poco insospettabili. Se c’è tuttavia una cosa che funziona bene sono i suoi meccanismi tecnici, e quelli non è possibile metterli in discussione con trucchi da prestigiatore. Una cosa di cui assolutamente non abbiamo bisogno è quella di ingenerare nella gente comune ulteriore confusione e sospetto nei riguardi delle tecnologie digitali.

Se vogliamo alzare il livello di alfabetizzazione e pretendere che tutti inizino a partecipare alla vita della Società digitale non possiamo continuare impunemente a fare disinformazione terroristica sulla valenza delle tecnologie abilitanti su cui essa si fonda. Quando si scoprirà l’algoritmo di fattorizzazione veloce o quello di collisione degli hash ci preoccuperemo, ma sino ad allora, per carità, non alimentiamo falsi spettri con minacce inesistenti.

Mi fa piacere che Giustozzi sia così tranquillo e scettico rispetto alla necessità di adottare strategie per evitare l'uso fraudolento della debolezza da noi individuata. Si sa che l'ansia non fa bene alla salute.

Vedo infatti che ha perso l'atteggiamento ansioso che invece aveva nel settembre del 2002, quando (con almeno 2 anni di ritardo -- in quanto la cosa era ampiamente regolata dalla normativa vigente in forza della deliberazione AIPA 51/2000), nell'articolo "Funziona o non funziona? L'aspetto tecnico" (http://www.interlex.it/docdigit/corrado8.htm) propagandava come scoop il fatto che alcuni formati comunemente usati (es. Word, ed Excel) potessero includere macro-istruzioni, e i relativi rischi di falsi informatici, senza neppure citare che l'organo competente (AIPA) aveva già considerato approfonditamente il problema e introdotto restrizioni nell'ambito della PA relative ai formati utilizzabili (sopra citata deliberazione AIPA 51/2000).

In quell'articolo Giustozzi era particolarmente preoccupato per l'attacco basato sulle macro-istruzioni, che, si noti bene, ha GLI STESSI POTENZIALI EFFETTI DELL'ATTACCO PRESENTATO NEL NOSTRO STUDIO. Infatti, nella sezione introduttiva dell'articolo scriveva:

"Tuttavia non si può evitare di affrontare la questione, liquidandola, come molti hanno fatto, con un'alzata di spalle: il problema c'è davvero ed è anche dannatamente serio, come vedremo. Ed è anche, purtroppo, di difficilissima soluzione, perché non è un problema (solo) tecnico. Siamo nella classica situazione in cui bisogna cercare di salvare capra e cavoli; questa volta però non è detto che ci si riesca, forse occorrerà sacrificare qualche cavolo. "

Ma, in relazione alla mutevolezza delle dotte valutazioni di Giustozzi, è davvero singolare la parte finale di quell'articolo che recita:

"Quale può essere infine la conclusione di questa vicenda? La risposta non è facile. Il buon senso suggerirebbe di risolvere il problema limitando il novero dei documenti firmabili digitalmente ai soli formati "puri", non programmabili, immutabili ed assoluti. Ossia ai veri documenti, e non ai meta-documenti come sono quelli di Word o di Excel [...]".

Ciò dimostra che un mondo ideale in cui sono ammessi formati che non includono macro-istruzioni o codice eseguibile l'avrebbe tranquillizzato.

Oggi Giustozzi scopre che anche in questo mondo ideale (il nostro attacco agisce infatti su un formato - quello immagine - che assolutamente non può includere macro-istruzioni), i pericoli a cui fa riferimento in quell'articolo esisterebbero comunque, ma non si preoccupa per nulla.

Le mie congratulazioni, significa che ha migliorato di molto il suo self-control.

Buona navigazione

Francesco Buccafurri>

Un interessante spunto di riflessione proviene da Mr. Webmaster: ...il passaparola non sempre efficentissimo della Rete ha presto trasformato la già non troppo rassicurante parola "attacco" in "falsificazione"....

Si anima il dibattito tra giuristi e tecnici informatici sull'ormai celebre "attacco alla firma digitale", portato da un gruppo di ricercatori dell'Università degli Studi Mediterranea di Reggio Calabria.

Nella prospettiva giuridica è interessante, oltre che autorevole, l'opinione di Manlio Cammarata, direttore di Interlex, in "Un 'baco' che non c'è e una scorciatoia per i disonesti".

Il passaggio sul falso, in particolare, dimostra come spesso, davanti alle incertezze e agli allarmi sull’uso delle nuove tecnologie, le norme vigenti, quand’anche concepite in altra epoca, e la loro interpretazione possano offrire al cittadino e all’operatore un approdo sicuro, atteso che prevenire e prevedere tutto è impossibile e forse anche poco auspicabile.

Non sarebbe la prima volta, d’altronde, che il diritto arriva prima e magari meglio della tecnologia.

Sotto un profilo tecnico, agli esperti contemporanei e ai posteri l'ardua sentenza.

Intanto, ecco la risposta di Corrado Giustozzi al gruppo di ricerca del Prof. Buccafurri in "La luna, il pozzo, la bufala", ancora su Interlex.

C'è una falla nel sistema: firma digitale falsificabile. Lo scopre un ricercatore reggino.

da Panorama del 26/06/08 

A prima vista sembra il quadro di un donna sola in una stanza. Ma, osservando bene, appare il profilo di un uomo con barba e baffi.

È un’opera intitolata "L’immagine scompare", dove Salvador Dalí applica una tecnica steganografica, nascondendo il suo volto nel quadro.

Fatte le debite differenze, si tratta di un sistema che nel mondo dell’informatica ha rivelato un punto debole nella firma digitale, usata da imprenditori e funzionari pubblici per siglare documenti inviati via internet: 35 milioni nel 2005. A scoprire la falla (teorica, per ora) è stato il gruppo di Francesco Buccafurri, docente di sistemi di elaborazione dell’informazione all’Università Mediterranea di Reggio Calabria.

Qual è il tallone d’Achille della firma digitale? Immaginiamo che un dipendente voglia gonfiare un rimborso alterando l’email inviata dal suo capo, e certificata con firma digitale. Deve agire in due fasi: prima altera il contenuto del documento, inserendo la cifra maggiorata.

La variazione, se nascosta nel codice, è invisibile (come il profilo di Dalí). Il capo, ignaro, controlla e aggiunge la firma digitale. Al dipendente non resta che cambiare la tipologia di file sostituendo tre lettere (per i più esperti: si tratta dell’estensione da .bmp a .htm).

Rimedi? «Basterebbe che la firma digitale agisse anche sul nome del file» suggerisce Buccafurri. Nel frattempo il Cnipa, Centro per l’informatica nella pubblica amministrazione, dopo essere stato allertato da Buccafurri sta valutando quali provvedimenti adottare.

Questa soluzione è stata adottata dai progetti: PolisR_CMB e PolisR_BG.

Scheda catalogo - Soluzione on line: Sistema Piemonte - Sportello Polifunzionale dell'Autotrasporto

Questa soluzione è stata adottata dai progetti: e-toscana riuso, People Liguria, SP2CON, RIVA - Riuso PEOPLE Valle d'Aosta, RiUmbria e RIDER.

Scheda catalogo - Soluzione on line: Portale dei Servizi del Comune di Genova

Scheda catalogo  - Soluzione on line: Citel

Questa soluzione è stata adottata dai progetti: Veneto Escape e LAZIO-ESCAPE.

Scheda catalogo - Soluzione on line: ULSS 9 - Sistema di accesso referti on line - Documentazione on line: Consuntivi ed evoluzioni del progetto di e-government Telemed-Escape (pdf)

Questa soluzione è stata adottata dal progetto: Comunas.

Scheda catalogo - Soluzione on line: Comunas › servizi alle imprese › contabilità imprese

• SiRAC, cioè Servizi Infrastrutturali di Registrazione, Autenticazione e Comunicazione (Scheda Catalogo); questa soluzione è stata adottata dai progetti: e-toscana riuso, People Liguria, SP2CON, RIVA - Riuso PEOPLE Valle d'Aosta, RiUmbria e RIDER;
• CO.NNECT.S., quale strumento per gestire il trasferimento dei dati dal portale di front-end di un ente al sistema gestionale di back-office (Scheda Catalogo); questa soluzione è stata adottata dai progetti: e-toscana riuso, ICT.NET, People Liguria, SP2CON, RIVA - Riuso PEOPLE Valle d'Aosta, RiUmbria e RIDER;
• "Framework", che fornisce l'architettura di base per tutti i servizi di e-government (Scheda Catalogo); questa soluzione è stata adottata dai progetti: ArCA, AIREL, e-toscana riuso, ICT.NET, People Liguria, RECALL ASMENET, RIVA - Riuso PEOPLE Valle d'Aosta, RiUmbria e RIDER;
• Metodologia e Sistema di Gestione della base dati dei procedimenti Autorizzazioni e Concessioni, che permette all'utente autenticato di ricevere, previa applicazione di filtri, la lista delle pratiche di competenza residenti nel Sistema (Scheda Catalogo).

Questa soluzione è stata adottata dai progetti: RiUmbria, e-toscana riuso, SP2CON e RIDER.

Questa soluzione è stata adottata dal progetto: R.A.Ri.

Scheda catalogo - Soluzione on line: Portale Sovracomunale CittadinoPiù

Questa soluzione è stata adottata dal progetto: Comunas.

Scheda catalogo - Soluzione on line: Comunas - I Comuni della Sardegna in rete

Questa soluzione è stata adottata dal progetto: Comunas.

Scheda catalogo - Soluzione on line: Comunas › servizi ai cittadini › pratiche edilizie

Questa soluzione è stata adottata dal progetto: Comunas.

Scheda catalogo - Soluzione on line: Comunas - I Comuni della Sardegna in rete

Scheda catalogo  - Soluzione on line: Comune di Firenze - Accesso documenti protetti

Questa soluzione è stata adottata dal progetto: R.A.Ri.

Scheda Catalogo - Soluzione on line: Sportello Online

L'MD5 (acronimo di Message Digest algorithm 5) è un algoritmo per la crittografia dei dati a senso unico realizzato da Ronald Rivest nel 1991 e standardizzato con la RFC 1321.

Questo tipo di codifica prende in input una stringa di lunghezza arbitraria e ne produce in output un'altra a 128 bit (ovvero con lunghezza fissa di 32 valori esadecimali, indipendentemente dalla stringa di input) che può essere usata per calcolare la firma digitale dell'input. La codifica avviene molto velocemente e si presuppone che l'output (noto anche come "MD5 Checksum" o "MD5 Hash") restituito sia univoco (ovvero si ritiene che sia impossibile, o meglio, che sia altamente improbabile ottenere con due diverse stringhe in input una stessa firma digitale in output) e che non ci sia possibilità, se non per tentativi, di risalire alla stringa di input partendo dalla stringa di output (la gamma di possibili valori in output è pari a 16 alla 32esima potenza).

Storia e crittanalisi

I Message Digest sono una serie di algoritmi progettati dal professor Ronald Rivest al MIT. Quando studi analitici indicarono che il predecessore dell'MD5, l'MD4 era insicuro, l'MD5 fu progettato nel 1991 come rimpiazzo più sicuro. (La debolezza dell'MD4 fu provata da Han Dobbertin.)

Applicazione pratica dell'MD5

La crittografia tramite algoritmo MD5 viene applicata in tutti i settori dell'informatica che lavorano con il supporto delle firme digitali o che comunque trattano dati sensibili. Ad esempio, viene utilizzata per controllare che uno scambio di dati sia avvenuto senza perdite, semplicemente attraverso il confronto della stringa prodotta dal file inviato con quella prodotta dal file ricevuto. Con lo stesso metodo si può verificare se il contenuto di un file è cambiato (funzione utilizzata dai motori di ricerca per capire se una pagina deve essere nuovamente indicizzata). È diffuso anche come supporto per l'autenticazione degli utenti attraverso i linguaggi di scripting Web server-side (PHP in particolare): durante la registrazione di un utente su un portale internet, la password scelta durante il processo verrà codificata tramite MD5 e la sua firma digitale verrà memorizzata nel database (o in qualsivoglia contenitore di dati). Successivamente, durante il login la password immessa dall'utente subirà lo stesso trattamento e verrà confrontata con la copia in possesso del server, per avere la certezza dell'autenticità del login.

Esempi

L'hash MD5 a 128 bit (16 byte) (anche chiamato message digest) è rappresentato come una sequenza di 32 cifre esadecimali.

Il seguente mostra una stringa ASCII di 47 byte e il corrispondente hash MD5:

MD5("Cantami o diva del pelide Achille l'ira funesta")
= b4dd7f0b0ca6c25dd46cc096e45158eb

Un piccolo cambiamento nel messaggio provocherà (molto probabilmente) un hash risultante molto differente, per esempio cambiando una a con una o:

MD5("Contami o diva del pelide Achille l'ira funesta")
= f065b51db9c592bf6ecf66a76e39f8d0

L'hash corrispondente alla stringa nulla è:

MD5("")
= d41d8cd98f00b204e9800998ecf8427e

WinMd5Sum - Verificatore del valore di hash MD5

WinMd5Sum è una leggera utilità gratuita che permette di verificare, nel sistema Windows, che il file scaricato sia quello originale.

Sono, infatti, sempre più numerosi i siti che segnalano il codice MD5 corretto del file, informazione utile se si desidera confrontarla con il codice hash calcolato sul file scaricato per capire se la copia ottenuta è davvero autentica.

Dopo l'installazione del programma, viene aggiunta la voce WindMd5Sum nella sezione "Invia a" del menù contestuale di Esplora risorse alla selezione di un file di un qualsiasi formato.

All'avvio di WinMd5Sum viene eseguito il comando Calculate; quindi non ti resta che copiare il codice hash originale nell'apposita casella di testo e premere Compare per sapere se l'hash corrisponde.

Download WinMD5Sum (~180 KB)

Link

Non è raro che mi vengano idee bizzarre. E questa è una di queste.

Ma sono contento, perché in rete ho notato che anche altre persone hanno avuto idee molto simili. Ciò che si potrebbe fare, è abbastanza semplice:

1. si parte da un'immagine bitmap della pagina o un file testuale contenente il testo del documento stesso (se le immagini non sono importanti);
2. si applica la firma digitale ai dati del punto 1, penso che vadano più che bene programmi ampiamente testati come, per esempio, GNU Privacy Guard;
3. si usano le Data Matrix o qualcosa di simile per codificare le informazioni relative alla firma digitale;
4. si appongono le Data Matrix incassate (embedded) nel documento.

A questo punto, se anche il documento venisse fotocopiato, le informazioni relative alla firma digitale sarebbero ancora disponibili.

Per quanto riguarda la verifica della firma, sarebbe sufficiente estrarre documento e firma digitale dalle Data Matrix e confrontare ad occhio la corrispondenza (si potrebbe usare anche l'OCR).

Il problema è automatizzare tutto il processo, ma questo sarà il soggetto di un altro post...

Scheda catalogo - Soluzione on line: SUAP Provincia di Grosseto