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 ob-ject 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 เพื่อตรวจสอบว่า ข้อมูลสามารถไหลระหว่างวัตถุ ในกรณีระดับ⋆ ข้อมูลสามารถไหลจาก ob-ject ป้าย L1 กับ L2 หนึ่งป้าย L2 เป็นน้อยเป็นผลเป็น L1 ในทุกประเภท ความสัมพันธ์นี้เป็นสิ่งสำคัญมากที่เราแนะนำสัญลักษณ์ ⊑ แสดงว่า:

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

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

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

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