ГОСТ Р ИСО/МЭК 15408-3-2013
функциональные возможности, называемые не влияющими на выполнение ФТБ.
Они не участвуют в реализации ФТБ, а частью ФБО являются, скорее всего, из-за
среды их функционирования. Это, например, любой программный код, запущенный в
операционной системе в привилегированном аппаратном режиме. Его следует
рассматривать как часть ФБО потому, что в случае искажения (или в случае замены
вредоносным кодом), он может нарушить правильность выполнения ФТБ в силу того,
что выполнялсяв привилегированномрежиме.Примеромфункциональных
возможностей, не влияющих на выполнение ФТБ, может быть набор математических
операций над числами с плавающей запятой, выполняемый для быстроты
вычислений в режиме ядра ОС.
Семейство «Архитектура безопасности» (ADV ARC) служит для описания
требований и анализа ОО на основе свойств разделения доменов, собственной
защиты ФБО и невозможности обхода ФБО. Эти свойства имеют значение для
выполнения ФТБ, так как их отсутствие приведет, скорее всего, к сбою механизмов,
осуществляющих реализацию ФТБ. Функциональные возможности этих свойств и
проект, относящийся к ним. при этом рассматриваются не как часть описанного
выше ряда значимости, а отдельно - в силу того, что они совершенно иные по сути и
к их анализу предъявляются другие требования.
РазницаванализереализацииФТБ(функциональныхвозможностей,
осуществляющих и поддерживающих выполнение ФТБ) и реализации некоторых
фундаментальных свойств безопасности ОО (к которым относится инициализация,
собственная защита ФБО и невозможность обхода ФБО) заключается в том, что
функциональные возможности, имеющие отношение к ФТБ, являются более или
менее явными и относительно легко тестируемыми, а вышеупомянутые свойства
требуют анализа гораздо более широкого набора функций на различных уровнях.
Кроме того, глубина требуемого анализа данных свойств будет варьироваться в
зависимости от проекта ОО. Семейства класса ADV «Разработка» обеспечивают
выполнение этого отдельным семейством (ADV ARC «Архитектура безопасности»),
которое посвящено анализу требований инициализации, собственной защиты ФБО и
невозможности обхода ФБО, в то время как другие семейства связаны с анализом
функций, обеспечивающих поддержку выполнения ФТБ.
Даже в тех случаях, когда необходимы различные описания на разных уровнях
детализации, совсем необязательно каждое представление ФБО оформлять в виде
77