Java + การไหลของข้อมูล (Jif ในระยะสั้น) เป็นภาษาโปรแกรมรักษาความปลอดภัยที่ขยายพิมพ์ Java ด้วยการสนับสนุนสำหรับการควบคุมการไหลของข้อมูลและการควบคุมการเข้าถึงทั้งที่รวบรวมเวลาและในเวลาทำงาน
รหัสที่มาสำหรับคอมไพเลอร์ Jif และระบบการใช้เวลาอยู่ในขณะนี้สามารถดาวน์โหลดได้ Jif เขียนใน Java และถูกสร้างขึ้นโดยใช้กรอบขยาย Java คอมไพเลอร์พูดได้หลายภาษา
ควบคุมการไหลของข้อมูลคงที่สามารถป้องกันการรักษาความลับและความสมบูรณ์ของข้อมูลที่จัดการโดยระบบคอมพิวเตอร์ คอมไพเลอร์ติดตามความสอดคล้องระหว่างนโยบายข้อมูลที่ จำกัด การใช้งาน, การบังคับใช้คุณสมบัติการรักษาความปลอดภัยแบบ end-to-end ในระบบ หลังจากการตรวจสอบการไหลของข้อมูลที่อยู่ในโปรแกรม Jif คอมไพเลอร์ Jif แปลให้พวกเขาโปรแกรมจาวาและใช้คอมไพเลอร์ Java สามัญในการผลิตโปรแกรมปฏิบัติการที่มีความปลอดภัย
Jif ขยาย Java โดยการเพิ่มป้ายที่แสดงข้อ จำกัด เกี่ยวกับวิธีการที่ข้อมูลอาจถูกนำมาใช้ ยกตัวอย่างเช่นการประกาศตัวแปรต่อไปนี้ไม่เพียง แต่บอกว่าตัวแปร x เป็น int แต่ยังว่าข้อมูลใน x จะเป็นไปตามนโยบายการรักษาความปลอดภัย:
{int อลิซ→บ๊อบ} x;
ในกรณีนี้นโยบายการรักษาความปลอดภัยกล่าวว่าข้อมูลใน x จะถูกควบคุมโดยหลักของอลิซและอลิซที่ช่วยให้ข้อมูลนี้เพื่อที่จะเห็นจากเงินต้นบ๊อบ นโยบาย {อลิซ←บ๊อบ} หมายความว่าข้อมูลเป็นเจ้าของโดยอลิซและอลิซที่ช่วยให้มันได้รับผลกระทบโดยบ๊อบ ขึ้นอยู่กับคำอธิบายประกอบฉลากเช่นนี้ข้อมูลการวิเคราะห์คอมไพเลอร์ Jif ไหลภายในโปรแกรมเพื่อกำหนดว่าพวกเขาบังคับใช้การรักษาความลับและความสมบูรณ์ของข้อมูล.
ความคิดเห็นที่ไม่พบ