А.9.1.2 Взаимосвязь между ФТБ и целями безопасности

А.9.1.1 Способы преобразования целей безопасности в требования безопасности, поддерживаемые ОК

ОК поддерживает преобразование целей безопасности в требования безопасности тремя способами:

a) путем предоставления предопределенного четкого ”языка“, разработанного с целью точного описания того, что подлежит оценке. Этот язык определяется как совокупность компонентов, определенных в ОК-2. Использование этого языка для четкого преобразования целей безопасности для ОО в ФТБ является обязательным, хотя существуют некоторые исключения (см. 7.3);

b) путем предоставления операций – механизм, который позволяет разработчику ЗБ модифицировать ФТБ, чтобы обеспечить более точный учет целей безопасности для ОО. В данной части ОК определены четыре допустимые операции: назначение, выбор, итерация и уточнение. Дальнейшее их рассмотрение представлено в C.2 (приложение C);

c) путем определения зависимостей – механизм, который поддерживает более полное преобразование целей безопасности для ОО в ФТБ. На языке ОК-2 ФТБ может иметь зависимости от других ФТБ. Это указывает, что если в ЗБ используется данное ФТБ, то в общем случае в ЗБ должны также быть использованы и ФТБ, от которых оно зависит. Это уменьшает для разработчика ЗБ возможность упустить включение в ЗБ необходимых ФТБ и таким образом улучшает полноту ЗБ. Дальнейшее рассмотрение зависимостей представлено в 7.2.

ЗБ также содержит ”Обоснование требований безопасности“, включающее два пункта, касающихся ФТБ:

· прослеживание, показывающее, какие ФТБ достижению каких целей безопасности для ОО способствуют;

· совокупность логических обоснований, показывающих, что все цели безопасности для ОО достигаются ФТБ.

А.9.1.2.1 Прослеживание ФТБ к целям безопасности для ОО

Прослеживание показывает, каким образом ФТБ сопоставлены с целями безопасности для ОО. обеспечивая при этом следующее:

a) Отсутствие избыточных ФТБ: каждое ФТБ сопоставлено, по крайней мере, с одной целью безопасности.

b) Полнота по отношению к целям безопасности для ОО: для каждой цели безопасности для ОО имеется, по крайней мере, одно ФТБ, сопоставленное с ней.

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

А.9.1.2.2 Предоставление логического обоснования для сопоставления

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

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

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

А.9.2 Требования доверия к безопасности (ТДБ)

ТДБ – описание того, каким образом должен быть оценен ОО. В данном описании используется стандартизированный язык по следующим причинам:

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

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

Рассматриваемый стандартизированный язык определяется как совокупность компонентов, определенных в ОК-3. Использование этого языка является обязательным, хотя существуют некоторые исключения. ОК усиливает этот язык по двум направлениям:

a) путем предоставления операций – механизм, который позволяет разработчику ЗБ модифицировать ТДБ. В данной части ОК определены четыре допустимые операции: назначение, выбор, итерация и уточнение. Дальнейшее их рассмотрение представлено в C.2 (приложение C).

b) путем определения зависимостей – механизм, который поддерживает более полное выражение ТДБ. На языке ОК-3 ТДБ может иметь зависимости от других ТДБ. Это указывает, что если в ЗБ используется данное ТДБ, то в общем случае должны также использоваться и ТДБ, от которых оно зависит. Это помогает разработчику ЗБ не упустить включение в ЗБ необходимых ТДБ и таким образом повышает качество ЗБ. Рассмотрение зависимостей представлено в 7.2.

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