Данные требования включают аналогичные требования третьего класса (п. 2.5.9).
Дополнительно требуется, чтобы высокоуровневые спецификации КСЗ были отображены последовательно в спецификации одного или нескольких нижних уровней, вплоть до реализации высокоуровневой спецификации КСЗ на языке программирования высокого уровня. При этом методами верификации должно осуществляться доказательство соответствия каждого такого отображения спецификациям высокого (верхнего для данного отображения) уровня. Этот процесс может включать в себя как одно отображение (высокоуровневая спецификация - язык программирования), так и последовательность отображений в промежуточные спецификации с понижением уровня, вплоть до языка программирования. В результате верификации соответствия каждого уровня предыдущему должно достигаться соответствие реализации высокоуровневой спецификации КСЗ модели защиты, изображенной на чертеже (см. рис. Схема модели защиты).
2.6.10. Регистрация.
Данные требования полностью совпадают с аналогичным требованием четвертого (п. 2.4.10) и третьего (п. 2.5.10) классов.
2.6.11. Взаимодействие пользователя с КСЗ.
Данные требования полностью совпадают с аналогичным требованием третьего класса (п. 2.5.11).
2.6.12. Надежное восстановление.
Данные требования полностью совпадают с аналогичным требованием третьего класса (п. 2.5.12).
2.6.13. Целостность КСЗ.
Данные требования полностью совпадают с аналогичным требованием третьего класса (п. 2.5.13).
2.6.14. Контроль модификации.
При проектировании, построении и сопровождении СВТ должно быть предусмотрено управление конфигурацией СВТ, т.е. контроль изменений в формальной модели, спецификациях (разных уровней), документации, исходном тексте, версии в объектном коде. Должно обеспечиваться соответствие между документацией и текстами программ. Должна осуществляться сравниваемость генерируемых версий. Оригиналы программ должны быть защищены.
2.6.15. Контроль дистрибуции.
Должен осуществляться контроль точности копирования в СВТ при изготовлении копий с образца. Изготовляемая копия должна гарантированно повторять образец.
2.6.16. Тестирование.
СВТ второго класса должны тестироваться так же, как и СВТ третьего класса (п. 2.5.14).
Дополнительно должен тестироваться контроль дистрибуции.
2.6.17. Руководство для пользователя.
Данные требования полностью совпадают с аналогичным требованием четвертого (п. 2.4.13) и третьего (п. 2.5.15) классов.
2.6.18. Руководство по КСЗ.
Данные требования включают аналогичные требования третьего класса (п. 2.5.16).
Дополнительно должны быть представлены руководства по надежному восстановлению, по работе со средствами контроля модификации и дистрибуции.
2.6.19. Тестовая документация.
Должно быть представлено описание тестов и испытаний, которым подвергалось СВТ (п. 2.6.16), а также результатов тестирования.
2.6.20. Конструкторская (проектная) документация.
Требуется такая же документация, что и для СВТ третьего класса (п. 2.5.18).
Дополнительно должны быть описаны гарантии процесса проектирования и эквивалентность дискреционных (п. 2.6.1) и мандатных (п. 2.6.2) ПРД.
2.7. Требования к показателям первого класса защищенности.
2.7.1. Дискреционный принцип контроля доступа.
Данные требования полностью совпадают с аналогичным требованием второго класса (п. 2.6.1).
2.7.2. Мандатный принцип контроля доступа.
Данные требования полностью совпадают с аналогичным требованием второго класса (п. 2.6.2).
2.7.3. Очистка памяти.
Данные требования полностью совпадают с аналогичным требованием второго класса (п. 2.6.3).
2.7.4. Изоляция модулей.
Данные требования полностью совпадают с аналогичным требованием второго класса (п. 2.6.4).
2.7.5. Маркировка документов.
Данные требования полностью совпадают с аналогичным требованием второго класса (п. 2.6.5).
2.7.6. Защита ввода и вывода на отчуждаемый физический носитель информации.
Данные требования полностью совпадают с аналогичным требованием второго класса (п. 2.6.6).
2.7.7. Сопоставление пользователя с устройством.
Данные требования полностью совпадают с аналогичным требованием второго класса (п. 2.6.7).
2.7.8. Идентификация и аутентификация.
Данные требования полностью совпадают с аналогичным требованием второго класса (п. 2.6.8).
2.7.9. Гарантии проектирования.
Данные требования включают аналогичные требования второго класса (п. 2.6.9).
Дополнительно требуется верификация соответствия объектного кода тексту КСЗ на языке высокого уровня.
2.7.10. Регистрация.
Данные требования полностью совпадают с аналогичным требованием второго класса (п. 2.6.10).
2.7.11. Взаимодействие пользователя с КСЗ.