| Flusso di informazioni Java + Flusso di informazioni Java + è un linguaggio di programmazione digitato per la sicurezza che estende Java con supporto per il controllo del flusso di informazioni. |
Scarica ora |
Flusso di informazioni Java + Classifica e riepilogo
- Nome editore:
- Stephen Chong, Andrew Myers and K. Vikram
- Sito web dell'editore:
- http://www.cs.cornell.edu/jif/
Flusso di informazioni Java + Tag
Flusso di informazioni Java + Descrizione
Java + Information Flow è un linguaggio di programmazione digitato per la sicurezza che estende Java con supporto per il controllo del flusso di informazioni. Il flusso di informazioni Java + (JIF in breve) è un linguaggio di programmazione digitato per la sicurezza che estende Java con supporto per il controllo del flusso di informazioni e il controllo dell'accesso, sia a tempo di compilazione che in tempo di esecuzione. Il codice sorgente per il compilatore JIF e il sistema di runtime è ora disponibile per il download. JIF è scritto in Java ed è costruito utilizzando il Compiler Extensible Java PolyGlot Framework.Statico Controllo del flusso di informazioni può proteggere la riservatezza e l'integrità delle informazioni manipolate da sistemi di elaborazione. Il compilatore traccia la corrispondenza tra informazioni le politiche che limitano il suo utilizzo, l'applicazione delle proprietà della sicurezza termina-end all'interno del sistema. Dopo aver controllato il flusso di informazioni all'interno dei programmi JIF, il compilatore JIF li traduce in programmi Java e utilizza un normale compilatore Java per produrre programmi eseguibili sicuri.JIF estende Java aggiungendo etichette che esprimono le restrizioni su come possono essere utilizzate le restrizioni. Ad esempio, la seguente dichiarazione variabile dichiara non solo che la variabile X è un INT, ma anche che le informazioni in X sono regolate da una politica di sicurezza: int {Alice Bob} X; in questo caso, la politica di sicurezza dice che il Le informazioni in X sono controllate dal principale Alice e che ALICE consente di vedere queste informazioni da parte del principale Bob. La politica {Alice Bob} significa che le informazioni sono di proprietà di Alice e che ALICE lo consente di essere influenzata da Bob. In base alle annotazioni di etichette come queste, il compilatore JIF analizza i flussi di informazioni all'interno dei programmi, per determinare se applicano la riservatezza e l'integrità delle informazioni.
Flusso di informazioni Java + Software correlato