Re-engineering Xen internals for higher-assurance security

Information Security Technical Report

Volumn 13, Issue 1, 2008, Pages 17-24

  McDermott, J ^a   Kirby, J ^a   Montrose, B ^a   Johnson, T ^a   Kang, M ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; PROBLEM SOLVING; SECURITY SYSTEMS; SOFTWARE ENGINEERING;

COMMERCIAL OFF THE SHELF (COTS); LINUX OPERATING SYSTEMS; SOFTWARE PRODUCTS; XENON PROJECT;

SECURITY OF DATA;

EID: 43049159119     PISSN: 13634127     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.istr.2008.01.001     Document Type: Article

References (16)

1. Anderson R. Security engineering: a guide to building dependable distributed systems (2001), John Wiley & Sons
2. Barham P., Dragovic B., Fraiser K., Hand S., Harris T., Ho A., et al. Xen and the art of virtualization. Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP-19) (October 2003), Bolton Landing, New York, USA
3. Brady R., Anderson R., and Ball R. Murphy's law, the fitness of evolving species, and the limits of software reliability. Technical report no. 471 (1999), Cambridge University Computer Laboratory
4. Bishop P., and Bloomfield R. A conservative theory for long-term reliability growth prediction. IEEE Transactions on Reliability 45 4 (December 1996)
5. The Common Criteria Project Sponsoring Organizations. Common Criteria for information technology security evaluation. v. 3.1. rev. 1 ed.; September 2006a [also referred to as ISO 15408].
6. The Common Criteria Project Sponsoring Organizations. Common methodology for information technology security evaluation. v. 3.1. rev. 1 ed.; September 2006b.
7. Clements P., Bachmann F., Bass L., Garlan D., Ivers J., Little R., et al. Documenting software architectures: views and beyond (2003), Addison-Wesley
8. http://www.grammatech.com
9. Halstead M. Elements of software science. Operating and programming systems series (1977), Elsevier
10. Littlewood B. Predicting software reliability. Philosophical Transactions of the Royal Society of London A327 (1989) 513-527
11. McCabe T. A complexity measure. IEEE Transactions on Software Engineering 2 4 (December 1976) 308-320
12. McDermott J., Kirby J., Kang M., and Montrose B. Xenon formal security policy model. Technical report NRL memo report NRL/MR/5540-07-9067 (August 2007), Naval Research Laboratory
13. Parnas D. On the criteria to be used in decomposing systems into modules. CACM 15 12 (December 1972)
14. Parnas D, Clements P, Weiss D. The modular structure of complex systems. In: Proceedings of the Seventh International Conference on Software Engineering, Orlando, FL, US; 1984.
15. Randell B, Rushby J. Distributed secure systems: then and now. In: 23rd Annual Computer Security Applications Conference (ACSAC), Miami, FL, US; December 2007.
16. Sailer R, Jaeger T, Valdez E, Cáceres R, Perez R, Berger S, et al. Building a MAC-based security architecture for the Xen open-source hypervisor. In: Proc. 21st Annual Computer Security Applications Conference, Tucson, Arizona, US; December 2005.