Title :
High robustness requirements in a Common Criteria protection profile
Author :
Nguyen, Thuy D. ; Levin, Timothy E. ; Irvine, Cynthia E.
Author_Institution :
Naval Postgraduate Sch., Monterey, CA
Abstract :
The development of a Common Criteria Protection Profile for high robustness separation kernels requires explicit modifications of several common criteria requirements as well as extrapolation from existing (e.g., medium robustness) guidance and decisions. The draft U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness (SKPP) is intended to be applicable to a class of products (the target of evaluation, or TOE) that includes, but is not limited to, real time and embedded systems. This paper describes certain SKPP concepts and requirements and provides underlying motivations and rationale for their inclusion in the SKPP. Primary areas of focus are the security requirements regarding information flow, dynamic configuration, and the application of the principle of least privilege to restrict actions of active entities
Keywords :
security of data; standards; Common Criteria Protection Profile; Protection Profile for Separation Kernels in Environments Requiring High Robustness; dynamic configuration; evaluation target; explicit modification; information flow; real time embedded system; security requirement; Conferences; Embedded system; Extrapolation; Government; Information security; Kernel; Protection; Real time systems; Robustness; Virtual machine monitors; common criteria; dynamic configuration; high robustness; least privilege.; separation kernel;
Conference_Titel :
Information Assurance, 2006. IWIA 2006. Fourth IEEE International Workshop on
Conference_Location :
London
Print_ISBN :
0-7695-2564-4
DOI :
10.1109/IWIA.2006.13
