Accession Number:

ADA535069

Title:

Separation Kernel Protection Profile Revisited: Choices and Rationale

Descriptive Note:

Conference paper

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Report Date:

2010-12-01

Pagination or Media Count:

12.0

Abstract:

A variety of critical decisions were made during the development of the U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness the SKPP in addition several errata that have come to light since its publication. This paper is intended to help future SKPP users to better understand the intent of the requirements.

Subject Categories:

  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE