This reliance on the standard opera

This reliance on the standard operating-system side for uncritical security functions is quite important in keeping the code in the nexus minimal. Because the nexus is the only unconditionally trusted component in a TCB, it requires the utmost scrutiny and testing. This includes formal modeling of nexus portions.

Kết quả (Việt) 1:

Này phụ thuộc vào bên hệ thống vận hành tiêu chuẩn cho các chức năng an ninh uncritical là khá quan trọng trong việc giữ các mã ở nexus tối thiểu. Bởi vì nexus là các thành phần vô điều kiện đáng tin cậy duy nhất trong một TCB, nó đòi hỏi tối đa giám sát và kiểm tra. Điều này bao gồm các mô hình chính thức nexus phần.

Kết quả (Việt) 2:

Sự phụ thuộc vào các bên điều hành hệ thống tiêu chuẩn cho các chức năng bảo mật không phê phán là khá quan trọng trong việc giữ các mã trong các mối quan hệ tối thiểu. Bởi vì các mối quan hệ là vô điều kiện tin cậy thành phần chỉ trong một TCB, nó đòi hỏi sự giám sát tối đa và thử nghiệm. Điều này bao gồm mô hình chính thức của phần mối.