ГОСТ Р ИСО/МЭК 15408-3-2002
свидетельств). Все семейства доверия внастоящем стандарте - линейно иерархичные, хотялинейность
необязательнадля семейств доверия, которые могут бытьдобавлены вдальнейшем.
Рисунок2.5 —Образецдекомпозиции класса
2.3 Структура класса критериев оценки профиля зашиты и задания по безопасности
Требования для оценки профиля зашиты и задания по безопасности трактуют как классы дове
рия. структура которых подобна структуре других классовдоверия, описанных ниже. Отличие заклю
чается в отсутствии подраздела ранжирования компонентов вописаниях семейств и вызвано тем,
что каждое семейство имеет только один компонент.
В таблицах 3.1—3.4 приведены названия каждого из классов АРЕ И ASE, составляющих их
семейств и их краткие имена. Содержание разделов ПЗ, рассматриваемых в семействах класса АРЕ.
представлено в ГОСТ Р ИСО/МЭК 15408-1, приложение Б. подразделы Б.2.2—Б.2.6, а разделов ЗБ,
рассматриваемых в семействах класса ASE, —в ГОСТ Р ИСО/МЭК 15408-1. приложение В. подраз
делы В.2.2—В.2.8.
2.4 Использование терминов в настоящем стандарте
В настоящем стандарте определенным образом
используются
термины, список которых приведен
ниже. Они не включены в глоссарий ГОСТ Р ИСО/МЭК 15408 (раздел 2 ГОСТ Р ИСО/МЭК
15408-1), потому что являются общеупотребительными терминами, и их использование, хотя и огра
ничено приведенными разъяснениями, согласуется со словарными определениями. Однако именно
такое толкование терминов применялось при разработке настоящего стандарта, и поэтому оно полезно
для понимания. В скобках приведены эквиваленты терминов на английском языке.
верифицировать (verify): Аналогичен термину «подтверждать» («confirm»), но имеет более глубо
кий смысл. При использовании в контексте действий оценщика указывает, что требуются независимые
усилия оценщика.
взаимно поддерживающие (mutually supportive): Описывает взаимосвязь в группе сущностей,
указывая, что последние обладают некоторыми свойствами, которые не находятся в противоречии со
свойствами других сущностей и могутспособствовать выполнению другими сущностями их задач. Нет
необходимости определять, что каждая из рассматриваемых отдельных сущностей непосредственно
поддерживает другие сущности в этой группе; достаточно, если сделано обобщенное заключение.
внутренне непротиворечивый (internally consistent): Отсутствуют очевидные противоречия между
любыми аспектами сущности. Применительно к документации это означает, что в ней не может быть
наложено что-либо, что может быть воспринято как противоречащее чему-тодругому.
делать (независимое) заключение (determine): Требуется независимый ан&тиздля достижения
конкретного заключения. Термин отличается от «подтверждать* («confirm») или «верифицировать*
(«verify»), так как последние подразумевают, что требует проверки анализ, приведенный ранее, в то
время как «делать(независимое) заключение» подразумевает совершенно независимый анализ, обыч но
при отсутствии любого предшествующего анализа.
демонстрировать (demonstrate): Относится к анализу, который приводит к заключению, но
является менее строгим, чем «доказательство» («proof»).
доказывать (prove): Относится к формальному анализу в математическом смысле, полностью
строгий во всех отношениях. Обычно используется, когда желательно показать соответствие между
двумя представлениями ФБО на высоком уровне строгости.
исчерпывающий (exhaustive): Используется применительно к проведению анализа или другой
деятельности. Аналогичен термину «систематический» («systematic*), поболее точен, так как указывает
не только на то, что в соответствии с некоторым конкретным планом проведения анализа или другой
деятельности был применен методический подход, но также и па то, что этот план достаточен для
обеспечения проведения исследования по всем возможным направлениям.
S