A multi-layered approach to security in high assurance systems

Proceedings of the Hawaii International Conference on System Sciences

Volumn 37, Issue , 2004, Pages 4817-4826

  Alves Foss, Jim ^a   Taylor, Carol ^a   Oman, Paul ^a  

^a UNIVERSITY OF IDAHO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; MIDDLEWARE; PUBLIC POLICY; REAL TIME SYSTEMS;

GOVERNMENT SECURITY; HIGH ASSURANCE SYSTEMS; SECURITY POLICY; TRUSTED COMPUTING BASE (TCB);

SECURITY SYSTEMS;

EID: 12344302980     PISSN: 10603425     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/hicss.2004.1265709     Document Type: Conference Paper

References (21)

1. Alves-Foss, J. "The architecture of secure systems." In Proc. Hawaii International Conference on System Sciences, Vol. III, pp. 307-316, Jan. 1998.
2. Ames, B. "Real-Time Software Goes Modular", Military & Aerospace Electronics, Vol 14, No. 9, pp24-29, Sept. 2003.
3. ARINC, "Avionics Application Software Standard Interface", ARINC Specification 653, Aeronautical Radio, Inc., Annapolis, MD, Jan 1997.
4. Ames, S. R., M. Gasser, R. R. Schell. "Security kernel design and implementation: An introduction." IEEE Computer, Vol. 16(7), pp. 14-23, Jul. 1983.
5. Bolton, F. Pure CORBA, Sams Publishing, 2002.
6. DOD. Trusted Computer System Evaluation Criteria, DOD5200.28-STD, Dec. 1985.
7. Greve, D. and M. Wilding and W.M. Vanfleet. "A Separation Kernel Formal Security Policy", In Proc. ACL2 Workshop 2003, July 2003.
8. Keahey, K. A brief tutorial on CORBA, http://www.cs.indiana.edu/ ~kksiazek/tuto.html.
9. NIST. Common Criteria for Information Security Evaluation, available: http://csrc.nist.gov/cc/ccv20/ccv21ist.htm, NIST, 1999.
10. Neumann, P. G. "Experiences with formality in software development," In Theory and Practice of Software Technology, D. Ferrari, M. Bolognanai, and J. Goguen (eds.), pp. 203-219, 1983.
11. Neumann, P. G. "On hierarchical design of computer systems for critical applications," IEEE Transactions on Software Engineering, Vol. SF-12(9), Sept. 1986.
12. OMG, CORBA Security Services Specification, Vol. 1.7(draft), 1999.
13. Pfleeger, C. P. Security in Computing, Prentice Hall, Upper Saddle River, NJ, 1997.
14. Rockwell Collins, Boeing, et. al. Partitioning Kernel Protection Profile, Ver. 1.02(draft), Feb. 2003.
15. Rushby, J. "Design and verification of secure systems," In Proc. ACM Symposium on Operating System Principles, Vol. 15, pp. 12-21, 1981.
16. Rushby, J. "Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance." Technical Report, Computer Science Laboratory, SRI International, March 1999.
17. Rushby, J. "Proof of separability: A verification technique for a class of security kernels," In Proc. International Symposium on Programming, Lecture Notes in Computer Science, Vol. 137, pp. 352-367, 1982.
18. Rushby, J. "A trusted computing base for embedded systems," In Proc. 7th DOD/NBS Computer Security Conference, (Gaithersburg, MD, Sept. 24-26) pp. 294-311, 1984.
19. Rushby, J. and B. Randell. "A distributed secure system," IEEE Computer, Vol. 16(7), pp. 55-67, Jul 1983.
20. University of Idaho, MILS CORBA Protection Profile, Ver. 0.52(draft), Aug 2003.
21. White, P., M. Van Fleet, and C. Dailey. High assurance architecture via separation kernel, internal communications, 1996.