Java + bilgi akışı (kısaca Jif) derleme zamanında ve zamanında hem de bilgi akışı kontrol ve erişim kontrolü desteği ile Java uzanan bir güvenlik yazılan bir programlama dilidir.
Cif derleyici ve çalışma zamanı sistemi için kaynak kodu indirmek için artık kullanılabilir. Cif Java ile yazılmış ve Polyglot genişletilebilir Java derleyicisi çerçeve kullanılarak inşa edilmiştir.
Statik bilgi akış kontrol gizliliği ve bilgisayar sistemlerinin manipüle bilgilerin bütünlüğünü koruyabilir. derleyici bilgi güvenliği özelliklerini sonuna uca sistem içinde uygulanması, bunun kullanımını kısıtlayan politikaları arasındaki ilişkiyi izler. Cif programları içinde bilgi akışını kontrol ettikten sonra, Jif derleyici Java programları onları çevirir ve güvenli çalıştırılabilir programlar üretmek için sıradan bir Java derleyicisi kullanır.
Cif bilgiler kullanılabilir nasıl kısıtlamalar ifade etiketleri ekleyerek Java uzanır. Örneğin, aşağıdaki değişken bildirim, sadece x değişkeninin bir int olduğunu, ama aynı zamanda x bilgilerin bir güvenlik politikası tarafından yönetilir olduğunu beyan etmektedir:
int {Alice → Bob} x;
Bu durumda, güvenlik politikası x bilgiler anapara Alice tarafından kontrol edildiğini ve Alice müdürü Bob tarafından görülebilir bu bilgileri izin söylüyor. Politika {Alice ← Bob} bilgiler Alice aittir anlamına gelir ve Alice onu Bob etkilenmesi izin söyledi. Bu gibi etiket açıklamalar dayanarak, Jif derleyici bilgiler, bilginin gizliliği ve bütünlüğü uygulamak belirler için, programlar içinde akar analiz eder.
Yorum Bulunamadı