Towards a high assurance multi-level secure PC for intelligence communities

2008 IEEE International Conference on Technologies for Homeland Security, HST'08

Volumn , Issue , 2008, Pages 609-614

  Kleidermacher, David N ^a  

^a Green Hills Software Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS;

HIGH-ASSURANCE; INTELLIGENCE COMMUNITIES;

WINDOWS OPERATING SYSTEM;

EID: 50649104012     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/THS.2008.4534523     Document Type: Conference Paper

References (9)

1. Sharon Gaudin quoting Michael Vatis; "Security Expert: U.S. Companies Unprepared for Cyber Terror"; Earthweb IT Management, http://itmanagement.earthweb.com/secu/article.php/1429851, July 19, 2002
2. Common Criteria for Information Technology Security Evaluation Version 2.1; Part 3: Security assurance requirements http://csrc.nist.gov/cc/ Documents/CC%20v2.1/p3-v21.pdf
3. Jonathan Shapiro, "Understanding the Windows EAL4 Evaluation", http://eros.cs.jhu.edu/~shap/NT-EAL4.html
4. "Controlled Access Protection Profile", http://www.niap-ccevs. org/cc-scheme/pp/PP_OS_CA_V1.D.cfm
5. INTEGRITY-178B - NIAP products in evaluation, http://www.niap-ccevs.org/ cc-scheme/in_evaluation/
6. "Protection Profiles Frequently Asked Questions", http://www.niap-ccevs.org/cc-scheme/faqs/pp-faqs.cfm#robustness
7. Samuel King, et al., "SubVirt: Implementing malware with virtual machines", http://www.eecs.umich.edu/virtual/papers/king06.pdf, 2006
8. Tavis Ormandy, "An Empirical Study into the Security Exposure to Hosts of Hostile Virtualized Environments", http://taviso.decsystem.org/ virtsec.pdf, 2007
9. Rich Ptak quoted by Denise Dubie, "Security concerns cloud virtualization deployments", http://www.networkworld.com/news/2007/112107- security-virtualization.html, Network World, November 21, 2007