| Java + Bilgi Akışı Java + Bilgi Akışı, Java'yı bilgi akış kontrolü için destekle uzanan güvenlik yazılı bir programlama dilidir. |
Şimdi İndirin |
Java + Bilgi Akışı Sıralama ve Özet
- Yayıncı adı:
- Stephen Chong, Andrew Myers and K. Vikram
- yayıncı web sitesi:
- http://www.cs.cornell.edu/jif/
Java + Bilgi Akışı Etiketler
Java + Bilgi Akışı Açıklama
Java + Bilgi Akışı, Java'yı bilgi akış kontrolü için destekle uzanan güvenlik yazılı bir programlama dilidir. Java + Bilgi Akışı (Kısacası), hem derleme zamanında hem de çalışma zamanında, bilgi akış kontrolü ve erişim kontrolü için destek ile Java'yı uzatan güvenlik yazılı bir programlama dilidir. JIF derleyicisi ve çalışma zamanı sistemi için kaynak kodu şimdi indirilebilir. JIF JAVA'da yazılmıştır ve poliglot genişletilebilir Java derleyici çerçevesi kullanılarak oluşturulur.Statik bilgi akış kontrolü, bilgi işlem sistemleri tarafından manipüle edilen bilgilerin gizliliğini ve bütünlüğünü koruyabilir. Derleyici, kullanımını kısıtlayan, güvenlik özelliklerini sistem içindeki güvenlik özelliklerini uygulayan politika arasındaki yazışmaları izler. JIF programlarındaki bilgi akışını kontrol ettikten sonra, JIF derleyicisi bunları Java programlarına çevirir ve güvenli çalıştırılabilir programlar üretmek için sıradan bir Java derleyicisi kullanır. Örneğin, aşağıdaki değişken beyannamesi sadece X değişkeninin bir int olduğunu, aynı zamanda X'teki bilgilerin bir güvenlik politikası tarafından yönetildiğini da bildirir: int {Alice Bob} x; bu durumda, güvenlik politikası X'teki bilgiler, asıl Alice tarafından kontrol edilir ve bu Alice'in bu bilgilerin Müdür Bob tarafından görülmesine izin verir. Politika {Alice Bob}, bilgilerin Alice'in sahip olduğu anlamına gelir ve Alice'in Bob'dan etkilenmesine izin verdiği anlamına gelir. Bunlar gibi etiket ek açıklamalarına dayanarak, JIF derleyicisi, bilgilerin gizliliğini ve bütünlüğünü zorladığını belirlemek için programlardaki bilgi akışlarını analiz eder.
Java + Bilgi Akışı İlgili Yazılım