| Java kartı bilgi akış doğrulayıcı JCSI, Java kart kapağı dosyalarının analizi ve görselleştirilmesi için bir prototip aracıdır. Araçta uygulanan analiz yöntemi, soyut yorumlama teorisine ve çok seviyeli bir SECU'ya dayanmaktadır. |
Şimdi İndirin |
Java kartı bilgi akış doğrulayıcı Sıralama ve Özet
- İşletim sistemleri:
- Windows All
Java kartı bilgi akış doğrulayıcı Etiketler
Java kartı bilgi akış doğrulayıcı Açıklama
JCSI, Java kart kapağı dosyalarının analizi için bir prototip aracıdır. JCSI, Java kartı kapağı dosyalarının analizi ve görselleştirilmesi için bir prototip aracıdır. Takımda uygulanan analiz yöntemi, soyut yorumlama teorisine ve çok seviyeli bir güvenlik politikası ödevine dayanmaktadır. Değişkenlerin gerçek değerleri güvenlik seviyelerine soyutlanmıştır ve ByTecode talimatları, soyut bir etki alanı üzerinde yürütülür. Alet, açık veya örtük bilgi akışları nedeniyle güvenlik sorunlarını keşfetmek ve güvenilmeyen kaynaklardan indirilen Java kartı uygulamalarının güvenlik özelliklerini kontrol etmek için kullanılabilir.
Java kartı bilgi akış doğrulayıcı İlgili Yazılım