ГОСТ Р ИСО/МЭК 15408-3-2013
формальное доказательство того, что 00 не может перейти в небезопасное
состояние.
11.5.4.2.3ADV_SPM.1.3C
Соответствие между моделью и функциональной спецификацией должно
быть представлено на соответствующем уровне формализации.
11.5.4.2.4ADV_SPM.1.4C
В соответствии между моделью ПВО и функциональной спецификацией
должно быть продемонстрировано,что функциональная спецификация
является непротиворечивой и полной относительно модели ПБО.
11.5.4.2.5ADV_SPM.1.5C
Демонстрация соответствия между моделью ПБО и функциональной
спецификацией должна показывать, что интерфейсы в функциональной
спецификации являютсянепротиворечивымии полными относительно
политик, указанных в назначении компонента ADV SMP.1.1D.
11.5.4.3
Элементы действий оценщика
11.5.4.3.1
ADV_SPM.1.1E
Оценщикдолженподтвердить,чтопредставленнаяинформация
удовлетворяетвсемтребованиямксодержаниюипредставлению
свидетельств.
11.6Проект 00 (ADV_TDS)
11.6.1Цели
В описании проекта 00 предоставляется краткое содержание описания ФБО, а
также полное описание ФБО. С увеличением требуемого уровня доверия
увеличивается и требуемый уровень детализации описания. При увеличении
размера и сложности системы ФБО целесообразно применение различных уровней
декомпозиции. Требования к проекту предназначены для предоставления такой
информации (соответствующей заданному уровню доверия), чтобы можно было
сделать заключение, что ФТБ реализованы.
112