Show simple item record

dc.contributor.authorNguyen, Thuy D.
dc.contributor.authorLevin, Timothy E.
dc.contributor.authorIrvine, Cynthia E.
dc.date.accessioned2012-07-11T15:49:33Z
dc.date.available2012-07-11T15:49:33Z
dc.date.issued2006-04-00
dc.identifier.citationProceedings of the 4th IEEE International Information Assurance Workshop, Royal Holloway, University of London, UK, April 2006, pp. 66-75.
dc.identifier.urihttp://hdl.handle.net/10945/7141
dc.description.abstractThe 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: common criteria, separation kernel, high robustness, dynamic configuration, least privilege.en_US
dc.publisherJohn Wiley and Sons, Hoboken, NJ, 2006,en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleHigh Robustness Requirements in a Common Criteria Protection Profileen_US
dc.typeArticleen_US
dc.contributor.departmentComputer Science (CS)
dc.subject.authorcommon criteriaen_US
dc.subject.authorseparation kernelen_US
dc.subject.authorhigh robustnessen_US
dc.subject.authordynamic configurationen_US
dc.subject.authorleast privilegeen_US
dc.description.distributionstatementApproved for public release; distribution is unlimited.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record