Java + informatiestroom (Jif in het kort) is een security-getypeerde programmeertaal Java verlengt met ondersteuning voor informatie flow control en toegangscontrole, zowel tijdens het compileren en tijdens runtime.
De broncode voor de Jif compiler en run-time systeem is nu beschikbaar voor download. Jif is geschreven in Java en is gebouwd met behulp van de Polyglot uitbreidbare Java-compiler framework.
Statische informatie flow control kan de vertrouwelijkheid en integriteit van informatie gemanipuleerd door computersystemen te beschermen. De compiler volgt de correspondentie tussen informatie het beleid dat het gebruik ervan te beperken, handhaving veiligheid eigenschappen end-to-end in het systeem. Na het controleren van de informatiestroom binnen Jif programma's, de Jif compiler vertaalt ze naar Java-programma's en maakt gebruik van een gewone Java-compiler om veilige uitvoerbare programma's te produceren.
Jif verlengt Java door het toevoegen van labels die beperkingen op hoe de informatie kan worden gebruikt uit te drukken. Bijvoorbeeld de volgende variabele verklaring verklaart niet alleen dat de variabele x is een int, maar ook dat de informatie in x wordt geregeerd door een veiligheidsbeleid:
int {Alice → Bob} x;
In dit geval, het veiligheidsbeleid zegt dat de informatie in x wordt bestuurd door de opdrachtgever Alice, en dat Alice toelaat deze informatie te worden gezien door de opdrachtgever Bob. Het beleid {Alice ← Bob} betekent dat de informatie is eigendom van Alice, en dat Alice toestaat te worden beïnvloed door Bob. Op basis van het etiket annotaties als deze, de Jif compiler analyseert informatiestromen binnen de programma's, om te bepalen of ze de vertrouwelijkheid en integriteit van informatie af te dwingen.
Reacties niet gevonden