The System Security Concept

Role of the System Security Concept

ADV_FSP – Functional Specification

Definition

Aspects of the TSF Specification

Interface - Purpose

Interface – Method of Use

Interface - Effects

Interface - Exceptions

Interface – Error Messages

Specification Formalism

Informal Functional Specification

Fully Defined External Interfaces

Semiformal Functional Specification

Formal Functional Specification

ADV_SPM – Security Policy Modeling

Definition – Security Policy Model

Aspects of the Family

Rules and Characteristics

Rationale

Correspondence

Informal TSP Model

Semiformal TSP Model

Formal TSP Model