ГОСТ Р ИСО/МЭК 15408-3 — 2008
14.6.4.3 Элементы действий оценщика
14.6.4.3.1 ADV_RCR.1.1E
Оценщикдолжен подтвердить, что представленная информация соответствует всем требо
ваниям к содержанию и представлению свидетельств.
14.6.5 ADV_RCR.2 Полуформальная демонстрация соответствия
Зависимости: нет зависимостей.
14.6.5.1 Элементы действий разработчика
14.6.5.1.1 ADV_RCR.2.1D
Разработчик должен представитьанализсоответствия между всеми смежными парами имеющихся
представлений ФБО.
14.6.5.2 Элементы содержания и представления свидетельств
14.6.5.2.1 ADV_RCR.2.1C
Для каждой смежной пары имеющихся представлений ФБО анализ должен демонстрировать, что
все функциональные возможности более абстрактного представления ФБО. относящиеся к безопасности,
правильно и полностьюуточнены в менее абстрактном представлении ФБО.
14.6.5.2.2 ADV_RCR.2.2C
Для каждой смежной пары имеющихся представлений ФБО, где части обоих представлений
специфицированы, по меньшей мере, полуформально,демонстрация соответствия между этими
частями представлений должна быть полуформальной.
14.6.5.3 Элементы действий оценщика
14.6.5.3.1 ADV_RCR.2.1E
Оценщикдолжен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.6.6 ADV_RCR.3 Формальная демонстрация соответствия
Зависимости: нет зависимостей.
14.6.6.1 Замечания по применению
Необходимо, чтобы разработчикпродемонстрировал либодоказал соответствие представлений, как
описано в требованиях ниже, соразмерно с уровнем строгости стиля представления. Например, соответ
ствие необходимодоказать, если используемые представления специфицированы формально.
14.6.6.2 Элементы действий разработчика
14.6.6.2.1 ADV_RCR.3.1D
Разработчик должен представитьанализсоответствия между всеми смежными парами имеющихся
представлений ФБО.
14.6.6.2.2 ADV_RCR.3.2D
Для тех из соответствующих частей представлений, которые специфицированы формально,
разработчикдолжен доказать это соответствие.
14.6.6.3 Элементы содержания и представления свидетельств
14.6.6.3.1 ADV_RCR.3.1C
Для каждой смежной пары имеющихся представлений ФБО анализдолжендоказать или демонст
рировать. что всефункциональные возможности более абстрактного представления ФБО. относящиеся к
безопасности, правильно иполностьюуточнены в менее абстрактном представлении ФБО.
14.6.6.3.2 ADV_RCR.3.2C
Для каждой смежной пары имеющихся представлений ФБО. где части одного представления спе
цифицированы полуформально, а другого — по меньшей мере, полуформально, демонстрация соот
ветствия между этими частями представлений должна быть полуформальной.
14.6.6.3.3 ADV_RCR.3.3C
Для каждой смежной пары имеющихся представлений ФБО, где части обоих представлений
специфицированы формально, доказательство соответствия между этими частями представле
ний должно быть формальным.
14.6.6.4 Элементы действий оценщика
14.6.6.4.1 ADV_RCR.3.1E
Оценщик должен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.6.6.4.2 ADV RCR.3.2E
72