Il caso Garlasco, relativo all’omicidio di Chiara Poggi avvenuto il 13 agosto 2007, ha rappresentato un punto di svolta nel rapporto tra giustizia penale e tecnologia. Al centro della vicenda giudiziaria vi è l’alibi informatico di Alberto Stasi, basato sull’attività del suo computer nelle ore in cui si presume sia avvenuto il delitto. La gestione errata delle prove digitali ha sollevato dubbi sull’affidabilità dell’analisi forense e ha reso l’ “alibi informatico caso Garlasco” un riferimento emblematico per la comunità informatica e giuridica.
Cos’è un alibi informatico?
Un alibi informatico si fonda sull’analisi delle tracce digitali lasciate da un utente su dispositivi elettronici. Può includere:
- Timestamp di creazione e modifica di file
- Log di sistema e applicazioni
- File temporanei e metadati
- Cronologia di navigazione e accesso a documenti
Nel caso Garlasco, l’alibi informatico di Stasi si basava sull’attività di editing della sua tesi di laurea tramite Microsoft Word, che avrebbe infatti dimostrato la sua presenza al computer durante l’orario presunto dell’omicidio.
File temporanei di Word: struttura e valore probatorio
Durante la modifica di un documento, Word genera file temporanei con estensione .tmp o prefisso ~$. Questi file:
- Vengono creati nella directory del documento o in cartelle temporanee
- Contengono frammenti di testo, timestamp e informazioni di sessione
- Vengono eliminati alla chiusura corretta del file, ma possono persistere in caso di crash
In ambito forense, i file temporanei sono fondamentali per ricostruire sessioni di lavoro. Nel caso Garlasco, rappresentavano quindi una prova chiave per confermare l’alibi informatico di Stasi.
Cancellazione e compromissione delle prove digitali
Durante il sequestro del computer di Stasi, furono, infatti, eseguite operazioni che compromisero l’integrità delle prove:
- Il cestino fu svuotato, eliminando file potenzialmente recuperabili
- I file temporanei risultavano cancellati o sovrascritti
- Non fu effettuata un’acquisizione forense tramite imaging bit-a-bit
- Mancava una documentazione dettagliata delle operazioni eseguite
Queste azioni hanno reso inattendibile l’alibi informatico nel caso Garlasco, sollevando pertanto dubbi sulla correttezza metodologica dell’indagine.
Recupero parziale tramite software forense
Nonostante la cancellazione, alcuni file temporanei furono recuperati tramite software specializzati come EnCase, FTK e X-Ways. I risultati:
- Tracce di file
.tmp compatibili con sessioni di editing Word
- Timestamp coerenti con l’orario dell’alibi
- Dati parziali che confermavano l’attività sul documento
Tuttavia, l’assenza di una catena di custodia digitale e la mancata acquisizione forense hanno ridotto la valenza probatoria dei dati recuperati.
Implicazioni tecniche e giuridiche
Il caso evidenzia criticità fondamentali:
- L’integrità forense deve essere garantita tramite procedure replicabili e certificate
- La catena di custodia digitale è essenziale per la validità delle prove
- Gli operatori devono possedere competenze tecniche adeguate per evitare la distruzione involontaria di dati
Inoltre, il giudice Stefano Vitelli, che assolse Stasi in primo grado, ha definito il caso “paradigmatico del ragionevole dubbio”, sottolineando infatti come una corretta gestione dell’alibi informatico avrebbe potuto cambiare l’esito processuale.
Riflessioni per la comunità informatica
Il “alibi informatico caso Garlasco” rappresenta un monito per gli esperti di informatica forense. È necessario:
- Formare magistrati e investigatori sulle tecniche di acquisizione digitale
- Utilizzare strumenti certificati per imaging e analisi
- Definire protocolli condivisi tra informatici, giuristi e forze dell’ordine
Solo un approccio rigoroso all’analisi forense può infatti garantire che la verità digitale non venga compromessa da errori procedurali.