در جاوا + جریان اطلاعات (Jif در کوتاه مدت) یک زبان برنامه نویسی-امنیتی تایپ است که گستردگی جاوا با پشتیبانی از کنترل جریان اطلاعات و کنترل دسترسی، هر دو در زمان کامپایل و در زمان اجرا است.کد منبع برای کامپایلر Jif و سیستم زمان اجرا است اکنون برای دانلود در دسترس است. Jif به زبان جاوا نوشته شده است و با استفاده از...