জাভা + তথ্য প্রবাহ (সংক্ষেপে Jif) কম্পাইল সময়ে এবং চালানোর সময় উভয়, তথ্য প্রবাহ নিয়ন্ত্রণ এবং প্রবেশাধিকার নিয়ন্ত্রণ করার জন্য সমর্থন সঙ্গে জাভা প্রসারিত করে একটি নিরাপত্তা-টাইপ প্রোগ্রামিং ভাষা.
Jif কম্পাইলার ও অন্যান্য রান টাইম সিস্টেমের জন্য সোর্স কোড ডাউনলোড এর জন্য পাওয়া যায়. Jif জাভা করা হবে না এবং বহুভাষিক এক্সটেনসিবল জাভা কম্পাইলার ফ্রেমওয়ার্ক ব্যবহার করে নির্মিত হয়.
স্ট্যাটিক তথ্য প্রবাহ নিয়ন্ত্রণ গোপনীয়তা এবং সিস্টেম কম্পিউটিং দ্বারা কাজে ব্যবহৃত তথ্য অখণ্ডতা রক্ষা করতে পারি. কম্পাইলার তথ্য নিরাপত্তা বৈশিষ্ট্য শেষ টু শেষ সিস্টেমের মধ্যে তা enforcing, তার ব্যবহার সীমিত যে নীতি মধ্যে চিঠিপত্রের ট্র্যাক. Jif প্রোগ্রাম মধ্যে তথ্য প্রবাহ চেক পরে, Jif কম্পাইলার জাভা প্রোগ্রাম তাদের অনুবাদ করে ও নিরাপদ এক্সিকিউটেবল প্রোগ্রাম উত্পাদন একটি সাধারণ জাভা কম্পাইলার ব্যবহার করে.
Jif তথ্য ব্যবহার করা যেতে পারে কিভাবে উপর বিধিনিষেধ প্রকাশ যে লেবেল যুক্ত করে জাভা প্রসারিত করে. উদাহরণস্বরূপ, নিম্নলিখিত পরিবর্তনশীল ঘোষণা না শুধুমাত্র পরিবর্তনশীল x কোন int যে, কিন্তু এক্স তথ্য নিরাপত্তা নীতি দ্বারা পরিচালিত হয় যে ঘোষণা:
কোন int {এলিস → বব} এক্স;
এই ক্ষেত্রে, নিরাপত্তা নীতি X তথ্য প্রধান এলিস দ্বারা নিয়ন্ত্রিত হয় যে, এবং এলিস প্রধান বব দ্বারা দেখা যায় এই তথ্য অনুমতি প্রদান করা যেতে বলেছেন. নীতি {এলিস ← বব} তথ্য এলিস মালিকানাধীন হয় এর মানে হল যে, এবং এলিস এটা বব দ্বারা প্রভাবিত হতে অনুমতি প্রদান করা যেতে. এই মত লেবেল টীকা উপর ভিত্তি করে, Jif কম্পাইলার তথ্য তারা তথ্যের গোপনীয়তা এবং অখণ্ডতা জোরদার কিনা যাচাই করা, প্রোগ্রাম মধ্যে প্রবাহিত বিশ্লেষণ.
পাওয়া মন্তব্যসমূহ না