Этот компонент содержит требование, чтобы свойство монитора обращений "достаточно простой для анализа" полностью выполнялось. Если этот компонент сочетается с функциональными требованиями FPT_RVM.1 и FPT_SEP.3, то концепция монитора обращений будет полностью реализована.
Зависимости
|
ADV_IMP.2 Реализации ФБО
|
ADV_LLD.1 Описательный проект нижнего уровня
|
Элементы действий разработчика
|
ADV_INT.3.1D
| Разработчик должен проектировать и структурировать ФБО в модульном виде, избегая необязательных связей между модулями проекта.
|
ADV_INT.3.2D
| Разработчик должен представить описание архитектуры.
|
ADV_INT.3.3D
| Разработчик должен проектировать и структурировать ФБО по уровням с минимизацией взаимных связей между уровнями проекта.
|
ADV_INT.3.4D
| Разработчик должен проектировать и структурировать ФБО способом, минимизирующим сложность ФБО в целом.
|
ADV_INT.3.5D
| Разработчик должен проектировать и структурировать части ФБО, которые осуществляют какие-либо политики управления доступом и/или информационными потоками так, чтобы они были достаточно простыми для анализа.
|
ADV_INT.3.6D
| Разработчик должен обеспечить, чтобы функции, цели которых не имеют отношения к безопасности, были устранены из модулей ФБО.
|
Элементы содержания и представления свидетельств
|
ADV_INT.3.1C
| Описание архитектуры должно идентифицировать модули ФБО и специфицировать, какие части ФБО осуществляют политики управления доступом и/или управления информационными потоками.
|
ADV_INT.3.2C
| Описание архитектуры должно содержать изложение назначения, интерфейса, параметров и результатов применения каждого модуля ФБО.
|
ADV_INT.3.3C
| Описание архитектуры должно содержать изложение, каким образом проект ФБО обеспечивает большую независимость модулей, чтобы избежать ненужного взаимодействия.
|
ADV_INT.3.4C
| Описание архитектуры должно показать ее разбиение на уровни.
|
ADV_INT.3.5C
| Описание архитектуры должно показать, что взаимные связи были минимизированы, и содержать строгое обоснование оставшихся связей.
|
ADV_INT.3.6C
| Описание архитектуры должно содержать изложение, каким образом все ФБО структурированы для минимизации сложности.
|
ADV_INT.3.7C
| Описание архитектуры должно содержать строгое обоснование включения в ФБО каждого модуля, не участвующего в осуществлении ПБО.
|
Элементы действий оценщика
|
ADV_INT.3.1E
| Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
|
ADV_INT.3.2E
| Оценщик должен сделать независимое заключение, что и проект нижнего уровня, и представление реализации согласуются с описанием архитектуры.
|
ADV_INT.3.3E
| Оценщик должен подтвердить, что части ФБО, которые осуществляют какие-либо политики управления доступом и/или информационными потоками, достаточно просты для анализа.
|