The MILS architecture for a secure Global Information Grid

CrossTalk

Volumn 18, Issue 10, 2005, Pages

  Harrison, W Scott ^a,b   Hanebutte, Nadine ^a   Oman, Paul W ^a,b,c   Alves Foss, Jim ^a,b  

^a UNIVERSITY OF IDAHO   (United States)

^b University of Idaho   (United States)

^c IEEE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 26044448626     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (16)

1. Alves-Foss, Jim, W. Scott Harrison, Paul Oman, and Carol Taylor. "The MILS Architecture for High Assurance Embedded Systems." International Journal of Embedded Systems 2005 (to appear).
2. Radio Technical Commission for Aeronautics. "Software Considerations in Airborne Systems and Equipment Certification (RTCA DO-178B)." Washington: RTCA Inc., 1992 〈www.rtca.org〉.
3. Radio Technical Commission for Aeronautics. "Requirements Specification for Avionics Computer Resource (ACR) (RTCA DO-255)." Washington: RTCS Inc., 2000 〈www.rtca.org〉.
4. Common Criteria. CC Recognition Arrangement: Common Criteria for Information Technology Security Evaluation (Vers. 2.1). 2004 〈www. commoncriteriaportal.org〉.
5. Dransfield, Michael, et al. "MILS/MLS Architecture for Deeply Embedded Systems." NetCentric Operations 2004.
6. MacLaren, Lee. "New Options in Embedded Computing Security." Boeing Technical Excellence Conference, 2003.
7. Alves-Foss, Jim, Carol Taylor, and Paul Oman. A Multi-Layered Approach to Security in High Assurance Systems. Proc. of the Hawaii International Conference on System Sciences, 2004.
8. Adams, Charlotte. "Keeping Secrets in Integrated Avionics." Aviation Today Mar. 2004 〈www.ghs.com/download/articles/Aviation_today. pdf〉.
9. Miller, Alyson, Mark Jefferson, and Jeff Rogers. "Global Information Grid Architecture." The Edge: MITRE Advanced Technology Newsletter July 2001 〈www.mitre.org/news/the_edge/july_01/miller.html〉.
10. Ackermann, Robert. "Jointness Defines Priorities for the Defense Department's Global Grid." Signal Magazine Apr. 2001 〈www.afcea.org/ signal/articles/anmviewer.asp?a=120&z=115〉.
11. Hanebutte, Nadine, et al. Software Mediators for Transparent Channel Control in Unbounded Environments. Proc. of the 6th IEEE Information Assurance Workshop, 2005.
12. Bell, D. Elliot, and Leonard LaPadula. "Secure Computer System: Unified Exposition and Multix Interpretation." ESD-TR-75-306. Bedford, MA: MITRE Corp., 1976.
13. Jajodia, Sushil, and Ravi Sahndu. Polyinstantiation Integrity in Multi-level Relations. Proc of the IEEE Symposium on Research into Security and Privacy, 1990 〈http://citeseer.ist.psu.edu/121576.html〉.
14. Ames, Ben. "Real-Time Software Goes Modular." Military and Aerospace Electronics. 14.9 (2003):24 〈www.ghs.com/download/articles/ GHS_RTOS_modular_090103.pdf〉.
15. National Security Agency. U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness (Vers. 0.621). Washington: NSA, 2004.
16. University of Idaho. MILS CORBA Protection Profile. Vers. 0.52 (draft). Moscow, ID: Univ. of Idaho, 2003.