Jawa + arus informasi (Jif singkatnya) adalah bahasa pemrograman keamanan mengetik yang meluas Java dengan dukungan untuk kontrol aliran informasi dan kontrol akses, baik pada waktu kompilasi dan pada waktu berjalan.
Kode sumber untuk compiler Jif dan sistem run-time sekarang tersedia untuk di-download. Jif ditulis di Jawa dan dibangun menggunakan extensible kerangka Java compiler Polyglot.
Kontrol aliran informasi statis dapat melindungi kerahasiaan dan integritas informasi dimanipulasi oleh sistem komputasi. Compiler melacak korespondensi antara informasi kebijakan yang membatasi penggunaannya, menegakkan sifat keamanan end-to-end dalam sistem. Setelah memeriksa aliran informasi dalam program Jif, compiler Jif menerjemahkannya ke program Java dan menggunakan compiler Java biasa untuk menghasilkan program executable aman.
Jif meluas Java dengan menambahkan label yang menyatakan pembatasan bagaimana informasi dapat digunakan. Sebagai contoh, deklarasi variabel berikut mendeklarasikan tidak hanya bahwa variabel x adalah int, tetapi juga bahwa informasi dalam x diatur oleh kebijakan keamanan:
int {Alice → Bob} x;
Dalam hal ini, kebijakan keamanan mengatakan bahwa informasi dalam x dikendalikan oleh kepala Alice, dan bahwa Alice memungkinkan informasi ini harus dilihat oleh prinsipal Bob. Kebijakan {Alice ← Bob} berarti bahwa informasi yang dimiliki oleh Alice, dan Alice memungkinkan untuk dipengaruhi oleh Bob. Berdasarkan penjelasan label seperti ini, compiler Jif menganalisis arus informasi dalam program, untuk menentukan apakah mereka menegakkan kerahasiaan dan integritas informasi.
Komentar tidak ditemukan