Домашнее задание 2, страница 7
Описание файла
Документ из архива "Домашнее задание 2", который расположен в категории "". Всё это находится в предмете "информатика" из 7 семестр, которые можно найти в файловом архиве МГТУ им. Н.Э.Баумана. Не смотря на прямую связь этого архива с МГТУ им. Н.Э.Баумана, его также можно найти и в других разделах. Архив можно найти в разделе "курсовые/домашние работы", в предмете "информатика иу" в общих файлах.
Онлайн просмотр документа "Домашнее задание 2"
Текст 7 страницы из документа "Домашнее задание 2"
Таким образом, столбец «Зависимости по ОК» таблицы 6 является справочным и содержит компоненты, определённые в Части 2 ОК в описании компонентов требований, приведённых в столбце «Функциональные требования безопасности» таблицы 6, под рубрикой «Зависимости».
Столбец «Удовлетворение зависимостей» таблицы 6 показывает, какие компоненты требований были реально включены в ЗБ для удовлетворения зависимостей компонентов, приведённых в столбце «Функциональные требования безопасности» таблицы 6. Компоненты требований либо совпадают с указанными в столбце «Зависимости по ОК», либо иерархичны по отношению к ним.
Таблица 6. Зависимости функциональных требований
| Функциональные требования безопасности | Зависимости по ОК | Удовлетворение зависимостей |
| FDP_RIP.2.1. | отсутствуют | - |
| FDP_ACF.1.3. | FDP_ACC .1 или FMP_MSA.3. | FMP_MSA.3. |
| FDP_SDI.1. | отсутствуют | - |
| FIA_UID.1.2. | отсутствуют | - |
| FIA_AFL.1.1. | FIA_UAU.2. | FIA_UAU.2. |
| FIA_ATD.1.1. | отсутствуют | - |
| FIA_UAU.2 | FIA_UID. 1. | - |
| FPT_TRC.1 | FPT_ITT.1 | - |
| FPT_TST.1 | FPT_AMT.1 | FPT_AMT.1 |
| FPT_FLS.1 | ADV_SPM.1. | - |
| FPT_RCV.1 | FPT_TST.1, AGD_ADM.1 | FPT_TST.1, AGD_ADM.1 |
| FPT_PHP.1.2. | FMT_MOF.1 | FMT_MOF.1 |
| FPT_STM.1 | отсутствуют | - |
| FPT_AMT.1 | отсутствуют | - |
| FAU_ARP.1 | FAU_SAA.1 | FAU_SAA.1 |
| FAU_GEN.1.1 | FPT_STM.1 | |
| FAU_GEN.2 | FAU_GEN.1 , FIA_UID.1 | FAU_GEN.1 , FIA_UID.1 |
| FAU_SEL.1 | FAU_GEN.1 | FAU_GEN.1 |
| FAU_SAA.1 | FAU_GEN.1 | FAU_GEN.1 |
| FTA_SSL.2.1 | отсутствуют | - |
| FTA_TAB.1 | отсутствуют | - |
| FRU_FLT.1 | FPT_FLS.1 | FPT_FLS.1 |
| FMT_MOF.1 | FMT_SMR.1 | FMT_SMR.1 |
| FMT_SMR.1 | FIA_UID.1 | FIA_UID.1 |
| FMT_MSA.3 | отсутствуют | - |
Зависимость FIA_UAU.2 от FIA_UID.1 не учитывается, поскольку момент идентификации совпадает с моментом настройки системы, при эксплуатации происходит исключительно аутентификация.
Зависимость FPT_FLS.1, FPT_RCV.1 от ADV_SPM.1 не учитывается, поскольку в ЗБ приведено четкое определение безопасного состояния ОО (согласно п. Л.2 и Л.8 Части 3 ОК).
Зависимость FPT_TRC.1 от FPT_ITT.1 не учитывается, поскольку все данные внутри ОО защищены.
Таким образом, все зависимости включенных в ЗБ требований удовлетворены.
-
Логическое обоснование краткой спецификации ОО
-
Логическое обоснование функций безопасности
Отображение функциональных требований безопасности на функции безопасности приведено в таблице 7.
Таблица 7. Отображение функциональных требований безопасности на функции безопасности
| SF.Administration | SF.DataProtection | SF.Auth | SF.Audit | SF.Warning | SF.Recovery | SF.PhysProtection | |
| FDP_RIP.2.1. | X | ||||||
| FDP_ACF.1.3. | X | X | |||||
| FDP_SDI.1. | X | X | |||||
| FIA_UID.1.2. | X | ||||||
| FIA_AFL.1.1. | X | X | |||||
| FIA_ATD.1.1. | X | ||||||
| FIA_UAU.2 | X | X | |||||
| FPT_TRC.1 | X | ||||||
| FPT_TST.1 | X | ||||||
| FPT_FLS.1 | X | X | X | ||||
| FPT_RCV.1 | X | ||||||
| FPT_PHP.1.2. | X | X | X | ||||
| FPT_STM.1 | X | X | |||||
| FPT_AMT.1 | X | ||||||
| FAU_ARP.1 | X | ||||||
| FAU_GEN.1.1 | X | ||||||
| FAU_GEN.2 | X | ||||||
| FAU_SEL.1 | X | ||||||
| FAU_SAA.1 | X | X | |||||
| FTA_SSL.2.1 | X | ||||||
| FTA_TAB.1 | X | ||||||
| FRU_FLT.1 | X | X | X | ||||
| FMT_MOF.1 | X | ||||||
| FMT_SMR.1 | X | X | X | X | X | X | |
| FMT_MSA.3 | X |
Тем самым, сочетание специфицированных для ОО функций безопасности при совместном использовании удовлетворяет функциональным требованиям безопасности ОО.
-
Логическое обоснование мер доверия
Отображение мер доверия на требования доверия приведено в таблице 8.
Таблица 8. Отображение требований доверия на меры доверия
| IF.CONF | IF.DEL | IF.DOC | IF.MAN | IF.TST | IF.VUL | |
| ACM_CAP.3 | x | |||||
| ACM_SCP.1 | x | |||||
| ADO_DEL.1 | x | |||||
| ADO_IGS.1 | x | |||||
| ADV_FSP.1 | x | |||||
| ADV_HLD.2 | x | |||||
| ADV_RCR.1 | x | |||||
| AGD_ADM.1 | x | |||||
| AGD_USR.1 | x | |||||
| ALC_DVS.1 | x | |||||
| ATE_COV.2 | x | |||||
| ATE_DPT.1 | x | |||||
| ATE_FUN.1 | x | |||||
| ATE_IND.2 | x | |||||
| AVA_MSU.1 | x | |||||
| AVA_SOF.1 | x | |||||
| AVA_VLA.1 | x |
Тем самым, изложенные меры доверия полностью соответствуют требованиям доверия.
-
Логическое обоснование утверждений о соответствии функций безопасности
Функции безопасности, реализованные с помощью вероятностных или перестановочных механизмов, в ОО отсутствуют.
-
Обоснование утверждений о соответствии профилю защиты
Для данного Задания по безопасности соответствие какому-либо Профилю защиты не декларируется.
