The major technical insight that em

The major technical insight that emerged at this time was that a secure operating system needed
a small, verifiably correct foundation upon which the security of the system can be derived. This
foundation was called a security kernel [108]. A security kernel is defined as the hardware and
software necessary to realize the reference monitor abstraction [10].A security kernel design includes
hardware mechanisms leveraged by a minimal, software trusted computing base (TCB) to achieve
the reference monitor concept guarantees of tamperproofing, complete mediation, and verifiability

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

Sự thấu hiểu kỹ thuật lớn xuất hiện tại thời điểm này là một hệ điều hành an toàn cần thiếtmột nền tảng nhỏ, verifiably đúng khi mà sự bảo mật của hệ thống có thể được bắt nguồn. Điều nàynền tảng đã được gọi là an ninh hạt nhân [108]. An ninh hạt nhân được định nghĩa là phần cứng vàphần mềm cần thiết để nhận ra các trừu tượng màn hình tham khảo [10]. Bao gồm một thiết kế an ninh hạt nhâncơ chế phần cứng thừa hưởng bởi một tối thiểu, phần mềm tin cậy tính toán cơ sở (TCB) để đạt đượckhái niệm màn hình tham khảo đảm bảo tamperproofing, hoàn toàn hòa giải và verifiability

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

Sự thấu hiểu kỹ thuật chủ yếu nổi lên vào thời điểm này là một hệ điều hành an toàn cần thiết
một nhỏ, nền tảng verifiably đúng khi mà sự an toàn của hệ thống có thể được bắt nguồn. Đây
Quỹ này được gọi là một hạt nhân an toàn [108]. Một hạt nhân an ninh được định nghĩa như là phần cứng và
phần mềm cần thiết để nhận ra sự trừu tượng màn hình tham khảo [10] .A an ninh hạt nhân thiết kế bao gồm
các cơ chế phần cứng thừa hưởng bởi một tối thiểu, phần mềm đáng tin cậy cơ sở tính toán (TCB) để đạt được
sự đảm bảo màn hình tham khảo khái niệm tamperproofing, hòa giải hoàn toàn, và kiểm chứng