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.
đang được dịch, vui lòng đợi..
