Замечания по применению
Этот компонент содержит требование, чтобы свойство монитора обращений "достаточно простой для анализа" полностью выполнялось. Если этот компонент сочетается с функциональными требованиями 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 | Оценщик должен подтвердить, что части ФБО, которые осуществляют какие-либо политики управления доступом и/или информационными потоками, достаточно просты для анализа. |