PROGETTO E SVILUPPO DI UN VERIFICATORE EFFICIENTE DEL BYTECODE JAVA

[Total: 0    Average: 0/5]

La tecnologia Java Card costituisce il punto di contatto tra il linguaggio di programmazione Java e l’ambiente operativo di sistemi con un numero limitato di risorse. Java è un linguaggio interpretato: il codice assemblato viene eseguito su una macchina virtuale, la Java Virtual Machine (JVM), che garantisce l’indipendenza del codice dalla particolare piattaforma hardware/software. La JVM gioca inoltre un ruolo centrale per quanto riguarda la sicurezza e la correttezza del codice eseguito: la sicurezza è legata a meccanismi che controllano i diritti di accesso a informazioni e funzionalità, la correttezza garantisce invece che i meccanismi di sicurezza non vengano by-passati. Il ‘verificatore’ è il modulo della JVM che analizza la correttezza del codice: la tecnologia corrente non consente l’implementazione di un verificatore ‘standard’ direttamente on-card perch

00 II – INDICE

05 – CAPITOLO 5 – IMPLEM VERIFICATORE BASATO SULL’IPD