论文信息 - Multiple Independent Levels of Security - 字舞流文

Multiple Independent Levels of Security

Jim Alves-Foss | J. Alves-Foss

[1] Jim Alves-Foss,et al. The MILS architecture for high-assurance embedded systems , 2006, Int. J. Embed. Syst..

[2] Jim Alves-Foss,et al. Using SPARK-Ada to Model and Verify a MILS Message Router , 2006 .

[3] John M. Rushby,et al. Design and verification of secure systems , 1981, SOSP.

[4] Brian Randell,et al. Operating Systems, An Advanced Course , 1978 .

[5] Gerald J. Popek,et al. Design Issues for Secure Computer Networks , 1978, Operating Systems.

[6] Butler W. Lampson,et al. Reflections on an operating system design , 1976, CACM.