A Note on High Robustness Requirements for Separation Kernels

Abstract

Partial Contents: Presentation Overview, Problem Definition, General Separation Kernel Characteristics, General SK Characteristics, Specific SK Characteristics, Evaluation Target, SKPP High Robustness Issues, Principle of Least Privilege (PoLP), Least Privilege in FDP_ACC, Least Privilege in ADV_ARC/ADV_INT, Exceptions to PoLP, SK Configuration, Dynamically Configurable SK, Dynamic Configuration Problems, SKPP Dynamic Configuration Options, SKPP DC Requirements, SKPP Transition to CC V3.0, Security Attributes Binding.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2005
Accession Number
ADA484521

Entities

People

  • Cynthia E. Irvine
  • Thuy D. Nguyen
  • Timothy E. Levin

Organizations

  • Naval Postgraduate School

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Complex Systems
  • Computer Science
  • Embedded Systems
  • Environmental Security
  • Flow
  • Hardware Assurance
  • Hypervelocity Flow
  • Information Operations
  • Information Systems
  • Security
  • Test And Evaluation
  • Transitions
  • User Interface

Readers

  • Cybersecurity.
  • European Security and Defence Policy (ESDP).
  • Systems Analysis and Design