Software mediators for transparent channel control in unbounded environments

Proceedings from the 6th Annual IEEE System, Man and Cybernetics Information Assurance Workshop, SMC 2005

Volumn 2005, Issue , 2005, Pages 201-206

  Hanebutte, Nadine ^a   Oman, Paul ^a   Loosbrock, Michael ^a   Holland, Austin ^a   Harrison, W Scott ^a   Alves Foss, Jim ^a  

^a UNIVERSITY OF IDAHO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHANNEL CONTROL; MULTIPLE INDEPENDENT LEVELS OF SECURITY (MILS) ARCHITECTURE; SOFTWARE MEDIATORS; UNBOUNDED ENVIRONMENTS;

COMPUTER ARCHITECTURE; COMPUTER NETWORKS; COMPUTER OPERATING SYSTEMS; DATA STRUCTURES; MOBILE COMPUTING; SECURITY OF DATA; VIRTUAL REALITY;

COMPUTER SOFTWARE;

EID: 33745464799     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IAW.2005.1495953     Document Type: Conference Paper

References (23)

1. J. Alves-Foss, W. S. Harrison, P. Oman, and C. Taylor, "The MILS architecture for high-assurance embedded systems," The International Journal of Embedded Systems (to appear), 2005.
2. J. Alves-Foss, C. Taylor, and P. Oman, "A multi-layered approach to security in high assurance systems," in Proceedings of the, 37th Annual Hawaii International Conference on System Sciences (HICSS'37), 2004.
3. M. Dransfield, W. Vanfleet, B. Beckwith, L. MacLaren, J. Luke, and B. Calloni, "MILS/MLS architecture for deeply embedded systems," in Net Centric Operations 2004, 2004.
4. J. Rushby, "Design and verification of secure systems," in Proceedings of the 1st ACM Symposium on Operating System Principles (SOSP-1), 1981.
5. J. Rushby, "Proof of separability: A verification technique for a class of security kernels," in Proceedings of the 5th International Symposium on Programming, 1982.
6. J. Rushby and B. Randell, "A distributed secure system," IEEE Computer, vol. 16, no. 7, 1983.
7. Common Criteria Recognition Arrangement, "Common criteria for information technology security evaluation version 2.1," 2004.
8. Department of Defense (USA), "Joint tactical radio system." http://jtrs.army.mil, 2004.
9. C. Adams, "Network centric, rush to connect," Aviation Today - Avionics Magazine, 9 2004.
10. SPG Media, "JSF (F35) joint strike fighter, international." http://www.airforce-technology.com/projects/jsf/, 2004.
11. C. Adams, "Keeping secrets in integrated avionics, reprint," Green Hills Software, 2004.
12. B. Ames, "Real-time software goes modular," Military and Aerospace Electronics, vol. 14, September 2003.
13. L. MacLaren, "New options in embedded computing security," in Boeing Technical Excellence Conference (BTEC 5), 2003.
14. N. Mead, R. Ellison, R. Linger, T. Longstaff, and J. McHugh, "Survivable network analysis method," Tech. Rep, CMU/SEI-2000-TR-013 ESC-2000-TR-013, CMU/SEI, 2000.
15. A. Baratloo, N. Singh, and T. Tsai, "Transparent run-time defense against stack smashing attacks," in Proceedings of 2000 USENIX Annual Technical Conference (USENIX'00), 2000.
16. N. Hanebutte, Analyses of Security and Survivability as Software Quality Attributes. PhD thesis, University of Idaho, Moscow Campus, 2004.
17. T. Jaeger, J. Tidswell, A. Gefflaut, Y. Park, J. Liedkte, and K. Elphinstone, "Synchronous IPC over transparent monitors," in Proceedings of the 9th ACM Special Interest Group on Operating Systems (SIGOPS) European Workshop, 2000.
18. M. Kang and I. Moskowitz, "A pump for rapid, reliable, secure communication," in Proceedings of the 1st ACM Conference on Computer and Communications Security (ACM CCS-1), 1993.
19. A. Moore, "Network pump (NP) security target," Tech. Rep. NRL/MR/5540-00-8459, Naval Research Laboratory, 2000.
20. O. Andreasson, "Iptables tutorial 1.1.19.," http://iptables-tutorial.frozentux.net/iptables-tutorial.html, 2003.
21. J. Morris, "libipq man pages." http://www.cs.princeton.edu/- nakao/libipq.htm, 2001.
22. "Integrity-178b RTOS." http://www.ghs.com/products/ safety_critical/integrity-do-178b.html, 2004.
23. RTCA (Radio Technical Commission for Aeronautics), Software Considerations in Airborne Systems and Equipment Certification (RTCA DO-178b). RTCA Inc., 1992.