جافا + تدفق المعلومات (جواد للأزياء العالمية في قصيرة) هي لغة برمجة كتبته الأمن الذي يمتد جافا مع دعم للسيطرة على تدفق المعلومات والتحكم في الوصول، على حد سواء في وقت الترجمة وأثناء وقت التشغيل.
شفرة المصدر للمترجم جواد للأزياء العالمية ونظام التشغيل الوقت متاح الآن للتحميل. هو مكتوب جواد للأزياء العالمية في جاوة وبنيت باستخدام إطار مترجم جافا للمد متعدد اللغات.
ساكنة مراقبة تدفق المعلومات يمكن أن تحمي سرية وسلامة المعلومات التلاعب بها من قبل النظم الحاسوبية. المترجم يتعقب المراسلات بين المعلومات والسياسات التي تحد من استخدامه، وإنفاذ خصائص الأمان نهاية إلى نهاية داخل النظام. بعد التحقق من تدفق المعلومات في إطار برامج جواد للأزياء العالمية، ومترجم JIF يترجم لهم برامج جافا ويستخدم مترجم جافا العادي لإنتاج البرامج القابلة للتنفيذ آمنة.
جواد للأزياء العالمية تمتد جافا بإضافة العلامات التي تعبر عن القيود المفروضة على الكيفية التي يمكن أن تستخدم المعلومات. على سبيل المثال، تعريف متغير التالية يعلن ليس فقط أن متغير x هو عدد صحيح، ولكن أيضا أن المعلومات في العاشر تحكمه سياسة أمنية:
الباحث {أليس → بوب} س؛
في هذه الحالة، تقول السياسة الأمنية أن المعلومات في العاشر يتم التحكم من قبل مدير المدرسة أليس، أليس وأن تسمح هذه المعلومات أن ينظر إليها من قبل مدير المدرسة بوب. سياسة {أليس ← بوب} يعني أن المعلومات التي يملكها أليس، أليس وأن يسمح أن تتأثر من قبل بوب. بناء على الشروح تسمية مثل هذه، يحلل مترجم JIF تدفق المعلومات داخل البرامج، ليحدد ما إذا كان فرض سرية وسلامة المعلومات.
لم يتم العثور على التعليقات