Java + dòng chảy thông tin (Jif trong ngắn hạn) là một ngôn ngữ lập trình bảo mật, đánh máy mà mở rộng Java với sự hỗ trợ để kiểm soát luồng thông tin và kiểm soát truy cập, cả trong thời gian biên dịch và thời gian chạy.Các mã nguồn cho các trình biên...