Java + ροή πληροφοριών (Jif για συντομία) είναι μια ασφάλεια δακτυλογραφημένες γλώσσα προγραμματισμού που εκτείνεται Java με υποστήριξη για τον έλεγχο της ροής πληροφοριών και ελέγχου πρόσβασης, τόσο κατά το χρόνο μεταγλώττισης και κατά το χρόνο εκτέλεσης.
Ο πηγαίος κώδικας για το μεταγλωττιστή Jif και το σύστημα χρόνου εκτέλεσης είναι τώρα διαθέσιμο για download. JIF είναι γραμμένο σε Java και είναι χτισμένο με το Πολύγλωσσος επεκτάσιμο πλαίσιο Java compiler.
Στατική ελέγχου της ροής των πληροφοριών μπορεί να προστατεύσει την εμπιστευτικότητα και την ακεραιότητα των πληροφοριών που χειραγωγείται από υπολογιστικά συστήματα. Ο μεταγλωττιστής παρακολουθεί την αντιστοιχία μεταξύ των πληροφοριών τις πολιτικές που περιορίζουν τη χρήση τους, με την επιβολή ιδιότητες ασφάλειας end-to-end μέσα στο σύστημα. Μετά τον έλεγχο της ροής των πληροφοριών στο πλαίσιο των προγραμμάτων Jif, ο compiler Jif τους μεταφράζεται σε προγράμματα Java και χρησιμοποιεί ένα συνηθισμένο Java compiler για να παράγουν ασφαλή εκτελέσιμα προγράμματα.
JIF εκτείνεται Java προσθέτοντας ετικέτες που εκφράζουν τους περιορισμούς σχετικά με το πώς μπορούν να χρησιμοποιηθούν οι πληροφορίες. Για παράδειγμα, η ακόλουθη δήλωση μεταβλητής δηλώνει όχι μόνο ότι η μεταβλητή x είναι int, αλλά και ότι οι πληροφορίες σε x διέπεται από μια πολιτική ασφάλειας:
int {Alice → Bob} χ?
Σε αυτή την περίπτωση, η πολιτική ασφάλειας λέει ότι οι πληροφορίες σε x ελέγχεται από τον κύριο Alice, και ότι η Alice επιτρέπει αυτές τις πληροφορίες για να δει από το κύριο Μπομπ. Η πολιτική {Alice ← Bob} σημαίνει ότι οι πληροφορίες είναι ιδιοκτησία της Alice, και ότι η Alice επιτρέπει να μπορεί να επηρεαστεί από τον Bob. Με βάση τα σχόλια ετικέτα όπως αυτά, αναλύει ο compiler Jif ροή των πληροφοριών στο πλαίσιο των προγραμμάτων, να καθορίζει εάν θα επιβάλουν την εμπιστευτικότητα και την ακεραιότητα των πληροφοριών.
Τα σχόλια δεν βρέθηκε