2015-10-13
1238
Цели
Целью является идентифицировать скрытые каналы, которые можно найти путем исчерпывающего поиска скрытых каналов.
Замечания по применению
Для исчерпывающего анализа скрытых каналов требуется представление дополнительного свидетельства, что план идентификации скрытых каналов достаточен для утверждения, что были испробованы все возможные пути исследования скрытых каналов.
Зависимости
ADA_FSP.2 Полностью определенные внешние интерфейсы
ADA_IMP.2 Реализация ФБО
AGD_ADM.1 Руководство администратора
AGD_USR.1 Руководство пользователя
| Элементы действий разработчика | ||
| AVA_CCA.3.1D | Разработчик должен провести поиск скрытых каналов для каждой политики управления информационными потоками. | |
| AVA_CCA.3.2D | Разработчик должен представить документацию анализа скрытых каналов. | |
| Элементы содержания и представления свидетельств | ||
| AVA_CCA.3.1C | Документация анализа должна идентифицировать скрытые каналы и содержать оценку их пропускной способности. | |
| AVA_CCA.3.2C | Документация анализа должна содержать описание процедур, используемых для вынесения заключения о существовании скрытых каналов, и информацию, необходимую для анализа скрытых каналов. | |
| AVA_CCA.3.3C | Документация анализа должна содержать описание всех предположений, сделанных в процессе анализа скрытых каналов. | |
| AVA_CCA.3.4C | Документация анализа должна содержать описание метода, используемого для оценки пропускной способности канала для случая наиболее опасного варианта сценария. | |
| AVA.CCA.3.5C | Документация анализа должна содержать описание наиболее опасного варианта сценария использования каждого идентифицированного скрытого канала. | |
| AVA_CCA.3.6C | Документация анализа должна содержать свидетельство, что метод, использованный для идентификации скрытых каналов, является исчерпывающим. | |
| Элементы действий оценщика | ||
| AVA_CCA.3.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | |
| AVA_CCA.3.2E | Оценщик должен подтвердить, что результаты анализа скрытых каналов показывают, что ОО удовлетворяет функциональным требованиям. | |
| AVA_CCA.3.3E | Оценщик должен выборочно подтвердить правильность результатов анализа скрытых каналов, применяя тестирование. | |
|
|
|
