AGD_USR.1 Руководство пользователя
Элементы действий разработчика
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
| Оценщик должен выборочно подтвердить правильность результатов анализа скрытых каналов, применяя тестирование.
|
| | | |