A.1.2.3 Невозможность обхода ФБО

Свойство невозможности обхода касается интерфейсов, которые позволяют обойти механизмы, обеспечивающие выполнение ФТБ. В большинстве случаев это является следствием реализации, когда программист, пишущий интерфейс, который осуществляет доступ к объекту или манипулирует объектом, несет ответственность за то, что он будет использовать интерфейсы, являющиеся частью механизма, обеспечивающего выполнение ФТБ для объекта, а не пытается обойти эти интерфейсы. Таким образом, в описании, относящемся к невозможности обхода, следует рассмотреть две широкие области.

Первая состоит из интерфейсов, которые обеспечивают выполнение ФТБ. Свойством этих интерфейсов является то, что они не содержат никаких операций или режимов, которые позволяют использовать их для обхода ФТБ. Вероятно, что для вынесения такого заключения в значительной степени могут использоваться свидетельства для семейств ADV_FSP и ADV_TDS. Поскольку рассматривается невозможность обхода то, если задокументирована только часть определенных операций, доступных через эти ИФБО, (поскольку они обеспечивают выполнение ФТБ), а другие не документируются, разработчику следует рассмотреть, необходима ли дополнительная информация (к той, которая представлена в семействах ADV_FSP и ADV_TDS), чтобы вынести заключение о том, что операции ИФБО, обеспечивающие выполнение ФТБ и не влияющие на выполнение ФТБ, не предоставят недоверенным сущностям возможность обойти осуществляемую политику безопасности. Если такая информация необходима, она включается в описание архитектуры безопасности.

Второе направление невозможности обхода касается тех интерфейсов, чьи взаимодействия не связаны с выполнением ФТБ. В зависимости от заявленных компонентов семейств ADV_FSP и ADV_TDS, часть информации об этих интерфейсах может содержаться или не содержаться в документации функциональной спецификации и проекта ОО. Следует, чтобы информация, представленная для таких интерфейсов (или для группы интерфейсов) была достаточной, чтобы читатель мог вынести заключение (на уровне детализации, соизмеримом с остальными свидетельствами, предоставленными в классе ADV: " Разработка") о том, что применяемые механизмы нельзя обойти.

Свойство невозможности обхода функциональных возможностей по безопасности распространяется на все функциональные возможности по безопасности в равной степени. Это значит, что в описании проекта ледует охватить объекты, которые находятся под защитой ФТБ, (например, компоненты семейств FDP_ *) и функциональные возможности (например, аудит), предоставляемые ФБО. В описании также следует определить интерфейсы, которые связаны с функциональными возможностями по безопасности; это можно сделать с использованием информации в функциональной спецификации. В этом описании следует также представить описание все конструкции проекта, такие как менеджеры объектов и способ их использования. Например, если стандартные подпрограммы используют стандартную макрокоманду для создания записи аудита, это соглашение по программированию является частью проекта, которое способствует невозможности обхода механизма аудита. Важно отметить, что невозможность обхода в этом контексте не является попыткой ответить на вопрос "может ли часть реализации ФБО, если она вредоносна, обойти функциональные возможности по безопасности ", а скорее рассматривается как документирование того, как реализация не обходит функциональные возможности по безопасности.

Вероятно действия по анализу и тестированию уязвимости (см. семейство AVA_VAN) будут включать попытки блокировать описанную невозможность обхода, проводя обход ФБО.

A.2 ADV_FSP: Дополнительный материал по ИФБО

Целью определения ИФБО является предоставление необходимой информации для проведения тестирования; не зная возможных средств взаимодействия с ФБО, невозможно адекватно протестировать работу ФБО.

Есть две части определения ИФБО: определение и описание их. Из-за разнообразия возможных ОО, а также различных ФБО в них, не существует стандартного набора интерфейсов, которые представляют собой "ИФБО". Это приложение представляет собой руководство по факторам, которые определяют, какие интерфейсы являются ИФБО.

Дата добавления: 2014-01-15