loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth IEEE International Workshop on Information Assurance (IWIA'06)
High Robustness Requirements in a Common Criteria Protection Profile
Royal Holloway, United Kingdom
April 13-April 14
ISBN: 0-7695-2564-4
Thuy D. Nguyen, Naval Postgraduate School, Monterey, California
Timothy E. Levin, Naval Postgraduate School, Monterey, California
Cynthia E. Irvine, Naval Postgraduate School, Monterey, California
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.
Index Terms:
common criteria, separation kernel, high robustness, dynamic configuration, least privilege.
Citation:
Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine, "High Robustness Requirements in a Common Criteria Protection Profile," iwia, pp.66-78, Fourth IEEE International Workshop on Information Assurance (IWIA'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.