ГОСТ Р ИСО/МЭК 15408-3 — 2008
Там, где функциональная спецификация полуформальна, демонстрация соответствия между
моделью ПБО ифункциональной спецификацией должна быть полуформальной.
14.7.6.2.6 ADV_SPM.3.6C
Там, где функциональная спецификация формальна, доказательство соответствия между
моделью ПБО и функциональной спецификацией должно быть формальным.
14.7.6.3 Элементы действий оценщика
14.7.6.3.1 ADV_SPM.3.1E
Оценщик должен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
15 Класс AGD. Руководства
Класс AGD «Руководства» содержит требования к содержанию «Руководства администратора» и
«Руководства пользователя». Для безопасного администрирования и использования ОО необходимо
описать все аспекты, относящиеся кбезопасному применению ОО. Документация руководств включает
в себя руководства пользователя и администратора, а также, когда пакет доверия
содержитсоответствую щие требования,— специфические руководства для пользователей и
администраторов, вытекающие из требований класса ADO «Поставка и эксплуатация» и
семейства ALC_FLR «Устранение недостатков».
Декомпозиция класса AGD «Руководства» насоставляющиеего семейства ииерархия компонентов
этих семействпоказаны на рисунке 12.
Рисунок 12 — Декомпозиция класса AGD
«Руководства»
15.1 Руководство администратора (AGD_ADM)
15.1.1 Цели
Руководство администратора относится к печатным документам, предназначенным для ис
пользования лицами, ответственными за правильное конфигурирование, сопровождение иадминистриро
вание ОО в целях максимальной безопасности. Таккак безопасностьэксплуатации ОО зависит от правиль
ного выполнения ФБО. лица, ответственныеза выполнениеуказанных выше функций, являютсядоверен
нымидля ФБО. Руководствопредназначено способствовать пониманию администраторами функций безо
пасности, предоставляемых ОО. включая как функции, требующие выполнения администратором дей
ствий, критичных для безопасности, так ифункции, предоставляющие информацию, критичнуюдля безо
пасности.
15.1.2 Ранжирование компонентов
Данноесемействосодержит толькоодин компонент.
15.1.3 Замечания по применению
Требования AGD_ADM.1 .ЗСи AGD_ADM.1.7C касаются того аспекта, чтов руководствеадминистра
тора соответствующим образом должны бытьотражены все упомянутые вПЗ/ЗБ предупреждения пользо
вателям ОО. относящиеся к среде безопасности и целям безопасности ОО.
Понятие «безопасные значения», каконо используется в AGD_ADM.1.50, уместно при управлении
администратором параметрами безопасности. Вруководственеобходимо представить безопасные иопас
ные устанавливаемые значениядля таких параметров. Это понятие связано с применением компонента
FMT.MSA.2 из ИСО/МЭК 15408-2.
75