Элементы действий разработчика
AVA_CCA.1.1D | Разработчик должен провести поиск скрытых каналов для каждой политики управления информационными потоками. | ||
AVA_CCA.1.2D | Разработчик должен представить документацию анализа скрытых каналов. | ||
Элементы содержания и представления свидетельств | |||
AVA_CCA.1.1С | Документация анализа должна идентифицировать скрытые каналы и содержать оценку их пропускной способности. | ||
AVA_CCA.1.2C | Документация анализа должна содержать описание процедур, используемых для вынесения заключения о существовании скрытых каналов, и информацию, необходимую для анализа скрытых каналов. | ||
AVA_CCA.1.3C | Документация анализа должна содержать описание всех предположений, сделанных в процессе анализа скрытых каналов. | ||
AVA_CCA.1.4C | Документация анализа должна содержать описание метода, используемого для оценки пропускной способности канала для случая наиболее опасного варианта сценария. | ||
AVA_CCA.1.5C | Документация анализа должна содержать описание наиболее опасного варианта сценария использования каждого идентифицированного скрытого канала. | ||
Элементы действий оценщика | |||
AVA_CCA.1.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | ||
AVA_CCA.1.2E | Оценщик должен подтвердить, что результаты анализа скрытых каналов показывают, что ОО удовлетворяет функциональным требованиям. | ||
AVA_CCA.1.3E | Оценщик должен выборочно подтвердить правильность результатов анализа скрытых каналов, применяя тестирование. | ||