Contenuto principale della pagina Menu di navigazione Modulo di ricerca su uniPi

Navigare più veloci e sicuri nel web

All'università di Pisa il premio 'Computer Journal Wilkes Award'

  • Condividi l'articolo su Facebook
  • Condividi su Twitter
  • Condividi su Google Plus

C'è un vigile in internet che si chiama "Macchina Virtuale Java" e quando navighiamo agisce quasi a nostra insaputa. E' una specie di sorvegliante che controlla le pagine web che vogliamo vedere, ne valida il codice e se va tutto bene ecco che ci appare il sito che volevamo. Un vigile che però non è sempre così efficiente e che a volte, per eccesso di prudenza, "boccia" il codice Java "buono" che invece dovrebbe essere eseguito giudicandolo pericoloso. Un inceppo non da poco se si pensa che il linguaggio Java è ormai diventato lo standard di riferimento per lo sviluppo di applicazioni software, con uno spettro di utilizzo che va dai cellulari e dagli smartphone a programmi gestionali su larga scala. Ma ecco che uno studio svolto in collaborazione fra l'Università di Pisa e quella di Camerino ha risolto il problema.

"Il controllo del verificatore – spiega Roberto Barbuti del dipartimento di Informatica dell'Ateneo pisano - garantisce che il codice (che potrebbe essere stato scaricato da fonti non affidabili e quindi potrebbe compiere azioni malevole) sia sicuro dal punto di vista del flusso dei dati". "Ma il problema – continua Barbuti – è che l'analisi eseguita dal verificatore standard risulta in alcuni casi troppo superficiale, cioè alcuni codici assolutamente corretti dal punto di vista del flusso dei dati vengono invece bollati come non sicuri e quindi la macchina virtuale si rifiuta di eseguirli".

Da qui l'idea di migliorare la "Macchina Virtuale Java" per renderla più sensibile e "intelligente". Il risultato è stato un articolo a tre firme (Roberto Barbuti e Nicoletta De Francesco per l'Ateneo pisano e Luca Tesei per quello di Camerino), che ha ricevuto il "Computer Journal Wilkes Award", un premio che il "Computer Journal", un rivista internazionale della Oxford University Press, assegna annualmente al miglior lavoro pubblicato. "Il nostro studio – conclude Barbuti - propone un perfezionamento del verificatore, ottenuto introducendo un dominio dei tipi più ricco di quello che viene usato dal verificatore attuale, un risultato pratico che abbiamo ottenuto basandoci sulla teoria della Interpretazione Astratta, in cui la correttezza dell'approccio viene provata matematicamente".

 

Leggi la notizia anche su:

 

Repubblica.it Firenze

Radiocor - Sole 24 Ore

Il Tirreno - Pisa

InToscana

Pisatoday

Pisanotizie

26-09-2011

Questo sito utilizza solo cookie tecnici, propri e di terze parti, per il corretto funzionamento delle pagine web e per il miglioramento dei servizi. Se vuoi saperne di più, consulta l'informativa