double arrow

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 Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
       

Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



Сейчас читают про: