Almost every operation in HiStar re

Almost every operation in HiStar requires the kernel to check whether information can flow between objects. In the absence of level ⋆, information can flow from an object labeled L1 to one labeled L2 only if L2 is at least as tainted as L1 in every category. This relationship is so important that we introduce a symbol, ⊑, to denote it:

ผลลัพธ์ (ไทย) 1:

เกือบทุกการดำเนินการใน HiStar ต้องใช้ kernel เพื่อตรวจสอบว่า ข้อมูลสามารถไหลระหว่างวัตถุ ในกรณีระดับ⋆ ข้อมูลสามารถไหลจากวัตถุที่ติดป้าย L1 กับ L2 หนึ่งป้าย L2 เป็นน้อยเป็นผลเป็น L1 ในทุกประเภท ความสัมพันธ์นี้เป็นสิ่งสำคัญมากที่เราแนะนำสัญลักษณ์ ⊑ แสดงว่า:

ผลลัพธ์ (ไทย) 2:

เกือบจะดำเนินการในทุก HiStar ต้องเคอร์เนลเพื่อตรวจสอบว่าข้อมูลที่สามารถไหลระหว่างวัตถุ ในกรณีที่ไม่มีระดับ⋆ข้อมูลสามารถไหลจากวัตถ​​ุที่มีข้อความ L1 ถึงหนึ่งติดป้าย L2 L2 เฉพาะถ้าเป็นอย่างน้อยเป็นที่ปนเปื้อนเป็น L1 ในทุกประเภท ความสัมพันธ์นี้เป็นสิ่งสำคัญที่เราแนะนำสัญลักษณ์⊑เพื่อแสดงว่ามัน

ผลลัพธ์ (ไทย) 3:

เกือบทุกงาน histar ต้องใช้เคอร์เนลเพื่อตรวจสอบว่าข้อมูลที่สามารถไหลระหว่างวัตถุ ในการขาดของ⋆ระดับข้อมูลที่สามารถไหลจากวัตถุที่มีข้อความหนึ่งป้ายเท่านั้นถ้า L2 L1 L2 L1 เป็นอย่างน้อยเป็นรอยเปื้อนเป็นทุกประเภท ความสัมพันธ์นี้เป็นสิ่งสำคัญที่เราแนะนำเป็นสัญลักษณ์ ⊑เพื่อแสดง :