MILS: Architecture for high-assurance embedded computing

CrossTalk

Volumn 18, Issue 8, 2005, Pages 12-16

  Vanfleet, W Mark ^a   Luke, Jahn A ^b   Beckwith, R William ^c   Taylor, Carol ^d   Calloni, Ben ^e   Uchenick, Gordon ^c  

^a NATIONAL SECURITY AGENCY   (United States)

^b AIR FORCE RESEARCH LABORATORY   (United States)

^c Objective Interface Systems   (United States)

^d UNIVERSITY OF IDAHO   (United States)

^e LOCKHEED MARTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 23844466980     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. Vanfleet, Willard Mark, et al. "An Architecture for Deeply Embedded, Provable High Assurance Applications." May 2003.
2. Freeman, James, George Dinolt, and Richard Neely. An Internet System Security Policy and Formal Model. Proc. of 11th National Computer Security Conference, Oct. 1988: 10-19.
3. Anderson, Ross. Security Engineering. New York: Wiley & Sons, 2001.
4. Rushby, John. A Trusted Computing Base for Embedded Systems. Proc. of the 7th Department of Defense/NBS Computer Security Conference, Sept. 1984:294-311.
5. Department of Defense. Trusted Computer System Evaluation Criteria (The Orange Book). DoD 5200.28-STD. Washington: DoD, 1983.
6. Moore, G. "Cramming More Components Onto Integrated Circuits." Electronics Magazine 19 Apr. 1965.
7. Rushby, John. "The Design and Verification of Secure Systems." ACM Operating Systems Review 15.5.
8. Rushby, John. "Proof of Separability: A Verification Technique for a Class of Security Kernels." Computer Science 137: (1982) 352-367.
9. Partitioning Kernel Protection Profile, May 2003.
10. Common Criteria for Information Technology Security Evaluation, Ver. 2.1, 19 Sept. 2000.
11. Currey, Jonathan, Bill Beckwith, et al. Real-Time CORBA 1.1 Specification, Object Management Group Aug. 2002.
12. RTCA 〈www.rtca.org.〉
13. ARINC 〈www.arinc.com/cf/store/index.cfm〉.
14. Director of Central Intelligence. "Protecting Sensitive Compartmented Information Within Information Systems." Directive 6/3. Washington: DCID, 5 June 1999 〈www.fas.org/irp/offdocs/DCID_6-3_20Policy. htm〉.
15. Green Hills Software 〈www.ghs.com〉.
16. Lynux Works 〈www.lynuxworks.com〉.
17. Wind River Systems 〈www.windriver.com〉.
18. Objective Interface 〈www.ois.com〉.