tecniche avanzate per certificare la sicurezza di codice (anche mobile)

Salve a tutti,
per caso ad una conferenza nella mia universita', ho sentito parlare di
un
progetto,e ho subito contattato il docente che ne fa parte, ecco la 
risposta:

------------
Date: Thu, 02 Mar 2000 13:49:13 +0100
From: Roberto Giacobazzi <giaco@sci.univr.it>
To: ** not displayed **
Subject: Re: Info  

> Ho sentito che collabora ad un progetto nazionale sulla sicurezza
> informatica. Le scrivo questa mail perche' sarei interessato
> a documentarmi sul progetto.
 
Si tratta di un progetto di ricerca di interesse nazionale
finanziato dal ministero per la ricerca scientifica e
tecnologica. Il progetto riguarda tecniche avanzate per
certificare la sicurezza di codice (anche mobile) mediante
metodi formali.               
Il progetto, che coinvolge gli atenei di Pisa, Udine, Parma 
e Venezia, oltre a Verona che e' coordinatrice), non e' ancora partito.
L'inizio dei lavori (durata 2 anni) e' prevista per questo mese.
Se vuole maggiori informazioni mi puo' trovare in ufficio.
Saluti
Roberto Giacobazzi                                          

---------------

Cerchero' di informarmi al piu' presto,
nel frattempo, se qualcuno e' a conoscenza
del progetto, che ne dice di postare qualcosa a
riguardo? :))

Bye
Berry