ГОСТ Р ИСО/МЭК18045— 2008
жающем этот ПЗ. что позволяет разработчику ЗБ проявлять большую гибкость при разработке ОО и соот
ветствующего ЗБ. в котором утверждается о соответствии конкретному ПЗ.
Разрешенными операциями для компонентов по ИСО/МЭК 15408-2 и ИСО/МЭК 15408-3 являются
«назначение», «итерация», «выбор» и «уточнение». Операции «назначение» и «выбор» разрешены только в
специально обозначенных местах компонента. Операции «итерация» и «уточнение» разрешеныдля всех
компонентов.
Оценщик делает заключение, все ли операции идентифицированы в каждом компоненте, где они
используются. Необходимо, чтобы завершенные и незавершенные операции были идентифицированы та
ким образом, чтобы они могли быть различимы и было ясно, завершена ли конкретная операция или нет.
Идентификация может быть осуществлена либо путем введения типографских различий, либо путем ис
пользования явной идентификации в сопроводительном тексте, либо любым другим способом.
8.3.5.3.11 Шаг оценивания APE_REQ.1-11
Оценщик должен исследовать изложение раздела «Требования безопасности ИТ», чтобы сделать
заключение, корректно ли выполнены операции.
Оценщику следует иметь в виду, что операции над требованиями безопасности необязательно долж
ны быть выполнены и завершены в ПЗ.
Оценщиксравнивает каждую формулировку требований в ПЗ с элементом, из которого она получена,
чтобы сделать заключение:
a)для операции «назначение» — выбраны ли значения параметров или переменных всоответствии с
указанным типом, требуемым операцией «назначение»;
b
)для операции «выбор» — принадлежит ли выбранный пункт или пункты множеству пунктов, указан
ных во фрагменте «выбор» данного элемента. Оценщик также делает заключение, приемлемо ли число
выбранных пунктов для данного требования. Для некоторых требований необходим выбор только одного
пункта (например. FAU_GEN.1.1.b). в других случаях приемлем выбор нескольких пунктов (например, вто
рая операция в FDPJTT.1.1);
c) для операции «уточнение» — уточнен ли компонент таким образом, что ОО. удовлетворяющий
уточненному требованию, также удовлетворяет и неуточненному требованию. Если уточненноетребование
выходит за эти рамки, то его считают расширенным требованием.
Пример: ADV_SPM.1.2С — Модель ПБО должна содержать описание правил и характеристик всех
политик ПБО, которые могут быть смоделированы. Уточнение: Модель ПБО должна охватывать только
управление доступом. Если политика управления доступом является единственной политикой ПБО, то та
кое уточнение является правомерным. Если в ПБО также имеются политики идентификации и аутентифика
ции. а уточнение означает, что моделировать следует только управление доступом, то это уточнение не
является правомерным.
Особым случаем уточнения является редакционное уточнение, когда в требование вносят небольшие
изменения, а именно переформулирование предложения в соответствии с правилами грамматики. Недо
пускается, чтобы такое изменение каким-либообразом изменяло смысл требования.
Пример редакционного уточнения — FAU_ARP.1 с единственным действием. Вместо записи: «ФБО
должны предпринять информировать оператора при обнаружении возможного нарушения безопасности»
допускается, чтобы разработчик ПЗ написал: «ФБО должны информироватьоператора при обнаружении
возможного нарушения безопасности».
Оценщику необходимо иметь в виду, что редакционные уточнения должны бытьчетко идентифициро
ваны (см. шаг оценивания APE_REQ.1-10);
d) для операции «итерация» — отличается ли каждая итерация компонента от каждойдругой итерации
этого компонента (по крайней мере, один элементодной итерации компонента должен отличаться от соот
ветствующего элемента другой итерации компонента), или что компонент применяется к разным
частям ОО.
8.3.5.3.12 Шагоценивания APE_REQ.1-12
ИСО/МЭК 15408-3 APE_REQ.1.70: Любые незавершенныеоперациинадтребованиями безопаснос
ти ИТ. включенными в ПЗ. должны быть идентифицированы.
Оценщик должен исследовать изложение раздела «Требования безопасности ИТ», чтобы сделать
заключение, идентифицированы ливсе незавершенные операции над требованиями безопасности ИТ. вклю
ченными вПЗ.
Оценщик делает заключение, все ли операции идентифицированы в каждом компоненте, где такая
операция используется. Необходимо, чтобы завершенные и незавершенные операции были идентифициро
ваны таким образом, чтобы они могли быть различимы и было ясно, завершена ли операция или нет.
22