ADV_SPM.1 Неформальная модель политики безопасности ОО
Зависимости
|
ADV_FSP.1
| Неформальная функциональная спецификация
|
Элементы действий разработчика
|
ADV_SPM.1.1D
| Разработчик должен представить модель ПБО.
| |
ADV_SPM.1.2D
| Разработчик должен демонстрировать соответствие между функциональной спецификацией и моделью ПБО.
| |
Элементы содержания и представления свидетельств
| |
ADV_SPM.1.1C
| Модель ПБО должна быть неформальной.
| |
ADV_SPM.1.2C
| Модель ПБО должна содержать описание правил и характеристик всех политик ПБО, которые могут быть смоделированы.
| |
ADV_SPM.1.3C
| Модель ПБО должна включать в себя логическое обоснование, которое демонстрирует, что она согласована и полна относительно всех политик ПБО, которые могут быть смоделированы.
| |
ADV_SPM.1.4C
| Демонстрация соответствия между моделью ПБО и функциональной спецификацией должна показать, что все функции безопасности в функциональной спецификации являются непротиворечивыми и полными относительно модели ПБО.
| |
Элементы действий оценщика
| |
ADV_SPM.1.1E
| Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
| |
| | | | | |
ADV_SPM.2 Полуформальная модель политики безопасности ОО
Зависимости
|
ADV_FSP.1 Неформальная функциональная спецификация
|
Элементы действий разработчика
|
ADV_SPM.2.1D
| Разработчик должен представить модель ПБО.
|
ADV_SPM.2.2D
| Разработчик должен демонстрировать соответствие между функциональной спецификацией и моделью ПБО.
|
Элементы содержания и представления свидетельств
|
ADV_SPM.2.1C
| Модель ПБО должна быть полуформальной.
|
ADV_SPM.2.2C
| Модель ПБО должна содержать описание правил и характеристик всех политик ПБО, которые могут быть смоделированы.
|
ADV_SPM.2.3C
| Модель ПБО должна включать в себя логическое обоснование, которое демонстрирует, что она согласована и полна относительно всех политик ПБО, которые могут быть смоделированы.
|
ADV_SPM.2.4C
| Демонстрация соответствия между моделью ПБО и функциональной спецификацией должна показать, что все функции безопасности в функциональной спецификации являются непротиворечивыми и полными относительно модели ПБО.
|
ADV_SPM.2.5C
| Там, где функциональная спецификация по меньшей мере полуформальна, демонстрация соответствия между моделью ПБО и функциональной спецификацией должна быть полуформальной.
|
Элементы действий оценщика
|
ADV_SPM.2.1E
| Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
|
| | | |