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