Java + flusso di informazioni (Cif in breve) è un linguaggio di programmazione di sicurezza tipizzato che si estende Java con supporto per il controllo del flusso di informazioni e il controllo degli accessi, sia in fase di compilazione e in fase di esecuzione.
Il codice sorgente del compilatore Jif ed il sistema run-time è ora disponibile per il download. Cif è scritto in Java ed è costruito utilizzando il framework compilatore Java estendibile Poliglotta.
Statico di controllo del flusso dati in grado di proteggere la riservatezza e l'integrità delle informazioni manipolate dai sistemi di elaborazione. Il compilatore traccia la corrispondenza tra le informazioni delle politiche che limitano il suo utilizzo, far rispettare le proprietà di sicurezza end-to-end all'interno del sistema. Dopo aver controllato il flusso di informazioni all'interno dei programmi Cif, il compilatore Cif li traduce in programmi Java e utilizza un compilatore Java ordinario di produrre programmi eseguibili sicuri.
Cif estende Java con l'aggiunta di etichette che esprimono le restrizioni su come possono essere utilizzate le informazioni. Ad esempio, la seguente dichiarazione della variabile dichiara non solo che la variabile x è un int, ma anche che le informazioni in x è governata da una politica di sicurezza:
int {Alice → Bob} x;
In questo caso, la politica di sicurezza, dice che le informazioni in x è controllata dal preside Alice, e Alice che permette queste informazioni per essere visto dal preponente Bob. La politica {Alice ← Bob} significa che l'informazione è di proprietà di Alice, e Alice che le consente di essere influenzato da Bob. Sulla base di annotazioni etichetta come questi, il compilatore Cif analizza i flussi di informazioni all'interno dei programmi, per determina se fanno rispettare la riservatezza e l'integrità delle informazioni.
I commenti non trovato