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 dịch Jif và hệ thống thời gian chạy là bây giờ có sẵn để tải về. Jif được viết bằng Java và được xây dựng bằng cách sử dụng mở rộng khuôn khổ biên dịch Java Polyglot.
Tĩnh kiểm soát luồng thông tin có thể bảo vệ sự bảo mật và tính toàn vẹn của thông tin bị thao túng bởi các hệ thống máy tính. Trình biên dịch theo dõi các thông tin tương ứng giữa các chính sách hạn chế sử dụng, thực thi các đặc tính bảo mật end-to-end trong hệ thống. Sau khi kiểm tra dòng chảy thông tin trong chương trình Jif, trình biên dịch Jif dịch chúng cho các chương trình Java và sử dụng một trình biên dịch Java thông thường để sản xuất chương trình thực thi an toàn.
Jif mở rộng Java bằng cách thêm nhãn thể hiện những hạn chế về cách thông tin có thể được sử dụng. Ví dụ, việc khai báo biến sau đây khai báo không chỉ là biến x là một int, nhưng cũng có những thông tin trong x được cai trị bởi một chính sách bảo mật:
int {Alice → Bob} x;
Trong trường hợp này, các chính sách an ninh nói rằng thông tin trong x được kiểm soát bởi chính Alice, và rằng Alice phép thông tin này sẽ được nhìn thấy bởi hiệu trưởng Bob. Các chính sách {Alice ← Bob} nghĩa là thông tin thuộc sở hữu của Alice, và rằng Alice phép nó bị ảnh hưởng bởi Bob. Dựa trên các chú thích nhãn như thế này, trình biên dịch Jif phân tích các luồng thông tin trong các chương trình, để xác định xem họ thi hành các bí mật và tính toàn vẹn của thông tin.
Bình luận không