در جاوا + جریان اطلاعات (Jif در کوتاه مدت) یک زبان برنامه نویسی-امنیتی تایپ است که گستردگی جاوا با پشتیبانی از کنترل جریان اطلاعات و کنترل دسترسی، هر دو در زمان کامپایل و در زمان اجرا است.
کد منبع برای کامپایلر Jif و سیستم زمان اجرا است اکنون برای دانلود در دسترس است. Jif به زبان جاوا نوشته شده است و با استفاده از چارچوب کامپایلر جاوا توسعه چند زبانی ساخته شده است.
کنترل جریان اطلاعات استاتیک می توانید محرمانه بودن و یکپارچگی اطلاعات دستکاری شده توسط سیستم های کامپیوتری محافظت می کند. کامپایلر آهنگ مکاتبات بین اطلاعات سیاست هایی که محدود کردن استفاده از آن، اجرای خواص امنیتی پایان به پایان در درون نظام. پس از چک کردن جریان اطلاعات در داخل برنامه Jif، کامپایلر Jif آنها را به برنامه های جاوا ترجمه و با استفاده از کامپایلر جاوا عادی برای تولید برنامه های اجرایی امن.
Jif گسترش جاوا با اضافه کردن برچسب بیان محدودیت در چطور ممکن است اطلاعات استفاده می شود. به عنوان مثال، اعلامیه متغیر زیر اعلام نه تنها که متغیر x از نوع int است، بلکه آن است که اطلاعات در X است که توسط یک سیاست امنیتی حکومت:
اعضای هیات {آلیس → باب} X.
در این مورد، سیاست امنیتی می گوید که اطلاعات در X است توسط مدیر آلیس کنترل، و این که آلیس اجازه این اطلاعات را به توسط باب اصلی دیده می شود. سیاست {آلیس ← باب} بدان معنی است که اطلاعات توسط آلیس متعلق به، و آلیس اجازه آن را به توسط باب تحت تاثیر قرار. حاشیه نویسی بر اساس برچسب هایی از این، کامپایلر Jif تجزیه و تحلیل جریان اطلاعات در داخل برنامه، به تعیین اینکه آیا آنها اعمال محرمانه بودن و تمامیت از اطلاعات است.
نظر یافت نشد