In 1981, Rushby examined the difficulty of building security kernel systems, such as Scomp and GEMSOS discussed in Chapter 6. Rushby found that security kernel systems, despite their near
Năm 1981, Rushby kiểm tra khó khăn trong việc xây dựng bảo mật hệ thống hạt nhân, chẳng hạn như Scomp vàGEMSOS thảo luận trong chương 6. Rushby tìm thấy rằng an ninh hệ thống hạt nhân, mặc dù họ gần
Năm 1981, Rushby xét những khó khăn của các hệ thống hạt nhân bảo vệ tòa nhà, chẳng hạn như Scomp và GEMSOS thảo luận trong Chương 6. Rushby thấy rằng các hệ thống hạt nhân an toàn, mặc dù gần họ