Комплект документов для сертификации ПО: 1. Задание по безопасности. 2. Функциональная спецификация. 3. Процедуры тестирования и тестовая документация. 4. Свидетельство анализа стойкости функции безопасности. 5. Эксплуатационная документация (руководства пользователя и администратора).