Приложение А (справочное). Замечания по применению функциональных требований безопасности

Приложение А

(справочное)

Замечания по применению функциональных требований безопасности

Приложения А - П содержат дополнительную справочную информацию по использованию семейств и компонентов, определенных в нормативных элементах данной части ОК, которая может понадобиться потребителям, разработчикам или оценщикам при использовании компонентов. Для упрощения поиска требуемой информации порядок следования классов, семейств и компонентов в приложениях тот же, что и в нормативных элементах данной части ОК. Структура представления классов, семейств и компонентов в приложениях отличается от их предшествующего описания, так как приложения содержат только вспомогательную информацию.

А.1 Структура замечаний

Раздел определяет содержание и форму замечаний, относящихся к функциональным требованиям ОК.

А.1.1 Структура класса

Структура функционального класса в приложениях В - П приведена на рисунке А.1.

А.1.1.1 Имя класса

Уникальное имя класса, определенное в нормативных элементах данной части ОК.

А.1.1.2 Представление класса

В представлении класса в приложениях В - П приводится информация об использовании семейств и компонентов класса. Эта информация дополняется рисунком, показывающим организацию каждого класса и семейств в каждом классе, а также иерархические связи между компонентами в каждом семействе.

А.1.2 Структура семейства

Структура функционального семейства в замечаниях по применению приведена на рисунке А.2

А.1.2.1. Имя семейства

Уникальное имя семейства, определенное в нормативных элементах данной части ОК.

А.1.2.2. Замечания для пользователя

Замечания для пользователя содержат дополнительную информацию, которая представляет интерес для потенциальных пользователей семейства, таких как разработчики ПЗ, ЗБ, функциональных пакетов, а также ОО. Эти замечания имеют информативный характер и могут охватывать предупреждения об ограничениях применения и тех аспектах, которые требуют особого внимания при использовании компонентов.

А.1.2.3. Замечания для оценщика

Замечания для оценщика содержат любую информацию, которая представляет интерес для разработчиков и оценщиков ОО при проверке его на соответствие компонентам семейства. Замечания носят информативный характер и могут относиться к различным областям, которые требуют особого внимания при оценке. Они могут включать в себя разъяснение назначения и определение возможных путей интерпретации требований, а также предостережения и предупреждения, представляющие особый интерес для оценщиков.

Замечания для пользователя и оценщика не обязательны и приводятся только при необходимости.

А.1.3 Структура компонента

Структура функциональных компонентов в замечаниях по применению показана на рисунке А.3

А.1.3.1. Идентификация компонента

Уникальное имя компонента, определенное в нормативных элементах данной части ОК.

А.1.3.2. Обоснование компонента и замечания по применению

В этом пункте может содержаться любая относящаяся к компоненту информация.

Обоснование содержит такие детали, которые уточняют общие формулировки применительно к определенному уровню; его следует использовать только в том случае, если на этом уровне требуется расширенное описание.

Замечания по применению содержат дополнительное уточнение в виде описания, относящегося к определенному компоненту. Это уточнение может касаться замечаний для пользователя и/или оценщика, как указано в А.1.2. Это уточнение может использоваться при объяснении природы зависимостей (например, совместно применяемая информация или операция).

Этот раздел не обязателен и вводится при необходимости.

А.1.3.3 Разрешенные операции

В этой части каждого компонента содержатся рекомендации по выполнению разрешенных в этом компоненте операций.

Этот пункт не обязателен и вводится только при необходимости.

А.2 Таблица зависимостей

В таблице А.1 показаны прямые, косвенные и выбираемые зависимости функциональных компонентов. Каждому компоненту, от которого зависят какие-либо функциональные компоненты, отведена графа. Каждому функциональному компоненту отведена строка. Знаки на пересечении строк и граф таблицы указывают характер зависимости соответствующих компонентов. "X" - прямая зависимость; "-" - косвенная, а "о" - выбираемая.

Выбираемую зависимость рассмотрим на примере компонента FDP_ETC.1, требующего присутствия либо компонента FDP_ACC.1, либо компонента FDP_IFC.1. Так, если выбран компонент FDP_ACC.1, то присутствие FDP_IFC.1 необязательно и наоборот. Если пересечение строки и графы таблицы пусто, компонент из строки не зависит от компонента из графы.

Таблица А.1 - Зависимости функциональных компонентов

ADV_SPM.1

AGD_ADM.1

AVA_CCA.1

AVA_CCA.3

FAU_GEN.1

FAU_SAA.1

FAU_SAR.1

FAU_STG.1

FCS_CKM.1

FCS_CKM.2

FCS_CKM.4

FCS_COP.1

FDP_ACC.1

FDP_ACF.1

FDP_IFC.1

FDP_IFF.1

FDP_ITC.1

FDP_ITT.1

FDP_ITT.2

FDP_UIT.1

FIA_ATD.1

FIA_UAU.1

FIA_UID.1

FMT_MOF.1

FMT_MSA.1

FMT_MSA.2

FMT_MSA.3

FMT_MTD.1

FMT_SMR.1

FPR_UNO.1

FPT_AMT.1

FPT_FLS.1

FPT_ITT.1

FPT_STM.1

FPT_TDC.1

FPT_TST.1

FTP_ITC.1

FTP_TRP.1

FAU_ARP.1

-

x

-

FAU_GEN.1

x

FAU_GEN.2

x

x

-

FAU_SAA.1

x

-

FAU_SAA.2

x

FAU_SAA.3

FAU_SAA.4

FAU_SAR.1

x

-

FAU_SAR.2

-

x

-

FAU_SAR.3

-

x

-

FAU_SEL.1

x

-

x

-

-

FAU_STG.1

x

-

FAU_STG.2

x

-

FAU_STG.3

-

x

-

FAU_STG.4

x

-

FCO_NRO.1

x

FCO_NRO.2

x

FCO_NRR.1

x

FCO_NRR.2

x

FCS_CKM.1

-

-

o

x

o

-

-

-

-

-

-

-

x

-

-

FCS_CKM.2

-

o

-

x

-

-

-

-

-

o

-

-

x

-

-

FCS_CKM.3

-

o

-

x

-

-

-

-

-

o

-

-

x

-

-

FCS_CKM.4

-

o

-

-

-

-

-

-

-

o

-

-

x

-

-

FCS_COP.1

-

o

-

x

-

-

-

-

-

o

-

-

x

-

-

FDP_ACC.1

-

x

-

-

-

-

-

-

FDP_ACC.2

-

x

-

-

-

-

-

-

FDP_ACF.1

x

-

-

-

-

-

x

-

FDP_DAU.1

FDP_DAU.2

x

FDP_ETC.1

o

-

o

-

-

-

-

-

FDP_ETC.2

o

-

o

-

-

-

-

-

FDP_IFC.1

-

-

-

x

-

-

-

-

FDP_IFC.2

-

-

-

x

-

-

-

-

FDP_IFF.1

-

-

x

-

-

-

x

-

FDP_IFF.2

-

-

x

-

-

-

x

-

FDP_IFF.3

x

-

-

x

-

-

-

-

-

FDP_IFF.4

x

-

-

x

-

-

-

-

-

FDP_IFF.5

x

-

-

x

-

-

-

-

-

FDP_IFF.6

x

-

-

x

-

-

-

-

-

FDP_ITC.1

o

-

o

-

-

-

x

-

FDP_ITC.2

o

-

o

-

-

-

-

-

x

o

FDP_ITT.1

o

-

o

-

-

-

-

-

FDP_ITT.2

o

-

o

-

-

-

-

-

FDP_ITT.3

o

-

o

-

x

-

-

-

-

FDP_ITT.4

o

-

о

-

x

-

-

-

-

FDP_RIP.1

FDP_RIP.2

FDP_ROL.1

o

-

o

-

-

-

-

-

FDP_ROL.2

o

-

o

-

-

-

-

-

FDP_SDI.1

FDP_SDI.2

FDP_UCT.1

o

-

o

-

-

-

-

-

o

o

FDP_UIT.1

o

-

o

-

-

-

-

-

o

o

FDP_UIT.2

o

-

o

-

x

-

-

-

-

x

FDP_UIT.3

o

-

o

-

x

-

-

-

-

x

FIA_AFL.1

x

-

FIA_ATD.1

FIA_SOS.1

FIA_SOS.2

FIA_UAU.1

x

FIA_UAU.2

x

FIA_UAU.3

FIA_UAU.4

FIA_UAU.5

FIA_UAU.6

FIA_UAU.7

x

-

FIA_UID.1

FIA_UID.2

FIA_USB.1

x

FMT_MOF.1

-

x

FMT_MSA.1

o

-

o

-

-

-

-

x

FMT_MSA.2

x

o

-

o

-

-

x

-

x

FMT_MSA.3

-

-

-

-

-

x

-

x

FMT_MTD.1

-

x

FMT_MTD.2

-

x

x

FMT_MTD.3

x

-

x

-

FMT_REV.1

-

x

FMT_SAE.1

-

x

x

FMT_SMR.1

x

FMT_SMR.2

FMT_SMR.3

-

x

FPR_ANO.1

FPR_ANO.2

FPR_PSE.1

FPR_PSE.2

x

FPR_PSE.3

FPR_UNL.1

FPR_UNO.1

FPR_UNO.2

FPR_UNO.3

x

FPR_UNO.4

FPT_AMT.1

FPT_FLS.1

x

FPT_ITA.1

FPT_ITC.1

FPT_ITI.1

FPT_ITI.2

FPT_ITT.1

FPT_ITT.2

FPT_ITT.3

x

FPT_PHP.1

-

x

-

FPT_PHP.2

-

x

-

FPT_PHP.3

FPT_RCV.1

x

x

FPT_RCV.2

x

x

-

x

FPT_RCV.3

x

x

-

x

FPT_RCV.4

x

-

x

FPT_RPL.1

FPT_RVM.1

FPT_SEP.1

FPT_SEP.2

FPT_SEP.3

FPT_SSP.1

x

FPT_SSP.2

x

FPT_STM.1

FPT_TDC.1

FPT_TRC.1

x

FPT_TST.1

x

FRU_FLT.1

-

x

FRU_FLT.2

-

x

FRU_PRS.1

FRU_PRS.2

FRU_RSA.1

FRU_RSA.2

FTA_LSA.1

FTA_MCS.1

x

FTA_MCS.2

x

FTA_SSL.1

x

-

FTA_SSL.2

x

-

FTA_SSL.3

FTA_TAB.1

FTA_TAH.1

FTA_TSE.1

FTP_ITC.1

FTP_TRP.1