Ранжирование компонентов

Цели

Проект ОО (ADV_TDS)

ADV_SPM.1.1E

Элементы действий оценщика

Соответствие должно показать, что функциональная спецификация является не противоречивой и полной по отношению к модели.

ADV_SPM.1.4C

Соответствие между моделью и функциональной спецификацией должно быть представлено на правильном уровне формализации.

ADV_SPM.1.3C

Для всех моделируемых политик модель должна определять безопасность для ОО и содержать формальное доказательство того, что ОО не может войти в небезопасное состояние.

ADV_SPM.1.2C

Модель должна быть представлена в формальном виде, при необходимости с пояснительным текстом, и определять политики безопасности ФБО, которые моделируются.

ADV_SPM.1.1C

Элементы содержания и представления свидетельств

Разработчик должен представить доказательство соответствия между моделью и функциональной спецификацией.

ADV_SPM.1.4D

Разработчик должен представить формальное доказательство соответствия между моделью и любой формальной функциональной спецификацией.

ADV_SPM.1.3D

Для каждой политики, охватываемой формальной моделью политики безопасности, в модели должно быть определено соответствующие фрагменты изложения ФТБ, которые осуществляют эту политику.

ADV_SPM.1.2D

ADV_SPM.1.1D

Элементы действий разработчика

ADV_SPM.1 Формальная модель политики безопасности ОО

Зависимости: ADV_FSP.4 Полная функциональная спецификация

Разработчик должен представить формальную модель политики безопасности для [назначение: список политик, которые формально моделируются ].

Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.

Описание проекта ОО включает как содержание описания ФБО, так и полное описание ФБО. При необходимости повышения доверия, уровень детализации, представляемый в описании, также необходимо повысить. При увеличении размера и сложности ФБО уместными являются несколько уровней декомпозиции. Требования к проекту предназначены для предоставления информации (соразмерной с заданным уровнем доверия), по которой можно сделать заключение о том, что функциональные требования безопасности выполняются.

Описание проекта ОО предоставляет как контекст для описания ФБО, так и полное описание ФБО. При необходимости увеличения доверия, увеличивается также уровень детализации в описании. Множественные уровни декомпозиции приемлемы при увеличении размера и сложности ФБО. Проектные требования предназначены для обеспечения информации (соразмерной с данным уровнем доверия), чтобы можно было сделать заключение о том, что функциональные требования безопасности выполняются.

Компоненты этого семейства ранжируются на основе количества требуемой для представления информации в отношении ФБО и уровня формализации, требуемого от описания проекта.

Дата добавления: 2014-01-15