ГОСТРИСО/МЭК 15408-3-2002
AVA_VLA.2.4E Оценщик должен выполнить независимое тестирование проникновения, основанное
на независимом анализе уязвимостей, и сделать независимое заключение о воз
можности использования дополнительно идентифицированных уязвимостей в пред
полагаемой среде.
AVA_VLA.2.5E Оценщик должен сделать независимое заключение, что ОО является стойким к
нападениям проникновения, выполняемым нарушителем, обладающим низким по
тенциалом нападения.
AVA_VLA.3Умеренно стойкий
Цели
Разработчик выполняетанализ уязвимостей, чтобы установить присутствие уязвимостей безопас
ности и подтвердить, что они не могут быть использованы в предполагаемой среде ОО.
Оценщик выполняет независимое тестирование проникновения, поддержанное собственным не
зависимым анализом уязвимостей, чтобы сделать независимое заключение, что ОО является стойким к
нападениям проникновения, выполняемым нарушителями, обладающими умеренным потенциалом
нападения.
Зависимости
ADVFSP.I Неформальная функциональная спецификация
ADV HLD.2 Детализация вопросов безопасности в проекте верхнего уровня
ADVJMP.1 Подмножество реализации ФЕЮ
ADA_LLD.l Описательный проект нижнего уровня
AGD ADM.1 Руководство администратора
AGDUSR.I Руководство пользователя
Элементы действий разработчика
AVA_VLA.3.1D Разработчик должен выполнить и задокументировать анализ поставляемых мате
риалов ОО по поиску путей, которым пользователь может нарушить ПВО.
AY’A_VLA.3.2D Разработчик должен задокументировать местоположение идентифицированных
уязвимостей.
Элементы содержания и представления свидетельств
AVA_VLA.3.1CДокументация должна показать для всехидентифицированных уязвимостей, что
ни одна из них не может быть использована в предполагаемой среде ОО.
AVA_VLA.3.2CДокументациядолжна содержать строгое обоснование, что ОО с идентифициро
ванными уязвимостями валяется стойким к явным нападениям проникнове
ния.
AVA_VLA.3.3C Свидетельство должно показать, что поиск уязвимостей является систематичес
ким.
Элементы действий оценщика
AVA_VLA.3.1EОценщикдолжен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
AVA_VLA.3.2EОценщикдолжен провеет тестирование проникновения, основанное на анализе
уязвимостей, выполненном разработчиком для обеспечения учета идентифициро
ванных уязвимостей.
AVA_VLA.3.3EОценщикдолжен выполнить независимый анализ уязвимостей.
AVA_VLA.3.4E Оценщик должен выполнить независимое тестирование проникновения, осно
ванное на независимом анализе уязвимостей, и сделать независимое заключение
о возможности использования дополнительно идентифицированных уязвимостей
в предполагаемой среде.
AVA_VLA.3.5E Оценщикдолжен сделать независимое заключение, что ОО является стойким к
нападениям проникновения, выполняемым нарушителем, обладающим умерен-
-ным потенциалом нападения.
AVA_VLA.4 Высокостойкий
Цели
Разработчик выполняет анализ уязвимостей, чтобы установить присутствие уязвимостей безопас
ности и подтвердить, что они не могут быть использованы в предполагаемой среде ОО.
Оценщик выполняет независимое тестирование проникновения, поддержанное собственным не
зависимым анализом уязвимостей, чтобы сделать независимое заключение, что ОО является стойким к
нападениям проникновения, выполняемым нарушителями, обладающими высоким потенциалом
нападения.
Зависимости
ADV_FSP.l Неформальная функциональная спецификация
92