Java + flux d'informations (Jif en abrégé) est un langage de programmation de sécurité typé qui étend Java avec le soutien pour le contrôle des flux d'information et de contrôle d'accès, tant au moment de la compilation et au moment de l'exécution.
Le code source pour le compilateur Jif et le système d'exécution est maintenant disponible pour téléchargement. Jif est écrit en Java et est construit en utilisant le cadre Polyglot compilateur Java extensible.
Statique contrôle de flux d'information peut protéger la confidentialité et l'intégrité des informations manipulées par les systèmes informatiques. Le compilateur suit la correspondance entre les informations politiques qui limitent son utilisation, l'application des propriétés de sécurité de bout en bout au sein du système. Après avoir vérifié le flux d'information au sein des programmes Jif, le compilateur Jif les traduit à des programmes Java et utilise un compilateur Java ordinaire pour produire des programmes exécutables sécurisés.
Jif étend Java en ajoutant les étiquettes qui expriment des restrictions des informations sur la façon dont peut être utilisé. Par exemple, la déclaration de variable suivante déclare non seulement que la variable x est un entier, mais aussi que l'information dans x est régie par une politique de sécurité:
{int Alice → Bob} x;
Dans ce cas, la politique de sécurité affirme que les informations contenues dans x est contrôlée par le principal Alice, Alice et que cette information permet d'être vu par le principal Bob. La politique {Alice ← Bob} signifie que l'information est détenue par Alice, et que Alice lui permet d'être affectée par Bob. Basé sur les annotations de l'étiquette de ce genre, le compilateur Jif analyse des flux d'information au sein des programmes, à détermine si ils appliquent la confidentialité et l'intégrité des informations.
Commentaires non trouvées