 | جافا + تدفق المعلومات |
| التحميل الان | |
جافا + تدفق المعلومات الترتيب والملخص
الإعلانات
- رخصة:
- GPL
- السعر:
- FREE
- اسم الناشر:
- Stephen Chong, Andrew Myers and K. Vikram
- موقع ويب الناشر:
- http://www.cs.cornell.edu/jif/
جافا + تدفق المعلومات العلامات
جافا + تدفق المعلومات وصف
تدفق معلومات Java + هي لغة برمجة مكتوبة بالأمن تمدد Java بدعم من التحكم في تدفق المعلومات. Java + تدفق المعلومات (JIF SHOIR) هي لغة برمجة مكتوبة بالأمن تمدد جافا مع دعم التحكم في تدفق المعلومات والتحكم في الوصول، وكلاهما في وقت الترجمة وفي وقت التشغيل. يتم تشغيل التعليمات البرمجية المصدر لنظام تحويل JIF متوفر الآن للتنزيل. يتم كتابة JIF في JIFA وتم بناؤه باستخدام Framework Framework Framework Polyglot القابل للتوسيع. يتتبع المحول البرمجي المراسلات بين المعلومات التي تقوم بها السياسات التي تقيد استخدامها، وإنفاذ خصائص الأمان نهاية إلى نهاية داخل النظام. بعد التحقق من تدفق المعلومات داخل برامج JIF، يقوم برنامج برامج التحويل البرمجي JIF بترجمة إليك إلى برامج Java ويستخدم برنامج مترجم Java العادي لإنتاج برامج قابلة للتنفيذ آمنة. JIF يمتد Java عن طريق إضافة التسميات التي تعكس القيود المفروضة على كيفية استخدام المعلومات. على سبيل المثال، يعلن الإعلان المتغير التالي التالي أن المتغير X هو Int Int، ولكن أيضا أن المعلومات الموجودة في X تحكمها سياسة أمان: Int {Alice Bob}؛ في هذه الحالة، تقول سياسة الأمان أن يتم التحكم في المعلومات الموجودة في X من قبل أليس الرئيسي، وتصبح أليس هذه المعلومات التي يجب رؤيتها من قبل بوب الرئيسي. تعني السياسة {Alice BOB} أن المعلومات مملوكة من قبل أليس، وأن أليس يسمح لها أن تتأثر بوب. بناء على التوضيحات التوضيحية مثل هذه، تحلل جيف مترجم تحليل المعلومات داخل البرامج، لتحديد ما إذا كانوا يفرضون سرية ونزاهة المعلومات.
جافا + تدفق المعلومات برامج ذات صلة
disarsembler ل Linux.
disassembler for linux هو برنامج سيحاول تقديم أداة مدفوعة واجهة المستخدم الرسومية لتفكيك الملفات التنفيذية. ...