АК-ВС 2
Назначение:Проведение сертификационных испытаний на отсутствие недекларированных возможностей (программных закладок), анализ безопасности программного кода.
Нормативная база примененияПреимущества:- проведение анализа и построение отчетов в соответствии с руководящим документом Гостехкомиссии России по отсутствию недекларированных возможностей (до 1 уровня контроля включительно);
- проведение сигнатурно-эвристического анализа кода с целью выявления программных закладок и критических уязвимостей ПО;
- единственное сертифицированное средство проведения сертификационных испытаний по 2 и 1 уровням контроля отсутствия недекларированных возможностей;
- интуитивно понятный веб-интерфейс;
- одновременный анализ нескольких проектов и одновременная работа нескольких экспертов.
Технические характеристики:- поддержка множества языков ANSI C (ANSI C, C90, C99, C11), C++ (C++98, C++2003, С++11, С++14), Java, C#;
- наличие энциклопедии уязвимостей (в соответствии с международным стандартом CWE для описания дефектов в области безопасности программ);
- имеет изначальные установки для выполнения сигнатурного анализа в рамках языков C/C++ , C# и Java;
- поддержка построения отчетов в соответствие с требованиями РД "Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей" (Гостехкомиссия России);
- кроссплатформенность и простота развертывания (продукт поставляется в виде virtual appliance, что позволяет запускать его практически на любой ОС).
Сертификаты:Минобороны России №4290, подтверждающий выполнение требований Приказа МО РФ, в том числе:
- руководящего документа «Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей» (Гостехкомиссия России, 1999) - по 2 уровню контроля;
- требованиям по соответствию реальных и декларируемых в документации функциональных возможностей.
Сертификат действителен до 16.03.2027.
Статический анализатор исходных текстов программ «АК-ВС 2» включен в единый реестр российских программ для электронных вычислительных машин и баз данных (реестр российского ПО). Приказ Минкомсвязи России от 08.04.2016.
Патент
- патент на полезную модель "Система для определения программных закладок" №114799 от 29 декабря 2011г.
Свидетельство о государственной регистрации
- свидетельство Роспатента о государственной регистрации программы для ЭВМ №2011619341 от 7 декабря 2011г.
АК-ВС 3
Назначение:Анализатор исходных текстов программ «АК-ВС 3» — современное и функциональное средство выявления уязвимостей и недекларированных возможностей в программном обеспечении при помощи SAST и DAST методик.
АИТП «АК-ВС 3» предназначен для автоматизации процесса испытаний программных средств защиты информации - проведения статического и динамического анализов исходных кодов программ и построения основных отчетов согласно требованиям руководящего документа «Защита от несанкционированного доступа к информации. Часть 1 Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей» (Гостехкомиссии России, 1999 год) до первого уровня контроля включительно и «Методики выявления уязвимостей и недекларированных возможностей в программном обеспечении» (ФСТЭК России, 2020 год). Указанное позволяет выполнить полный цикл проведения сертификационных испытаний (для испытательных лабораторий) и выполнять проверки в соответствии с ГОСТ БРПО (для компаний-разработчиков программных систем).
Нормативная база применения:Преимущества
- Проведение анализа в соответствии с РД НДВ или методикой ВУ НДВ;
- Анализ и построение отчетов в соответствии с руководящим документом Гостехкомиссии России по отсутствию недекларированных возможностей (до 1 уровня контроля включительно);
- Проведение сигнатурно-эвристического анализа кода с целью выявления программных закладок и критических уязвимостей ПО;
- Одновременный анализ нескольких проектов и одновременная работа нескольких экспертов.
Доступные отчеты статического анализа:- Таблицы информационных объектов (ИО);
- Отчёт по выявленным вставкам кода.
- Отчёт по базовым блокам (ББ);
- Список предполагаемых дефектов;
- Блок-схемы ФО;
- Критические маршруты выполнения ФО;
- Таблица связей ФО по информации;
- Маршруты выполнения ФО;
- Таблица связей ФО по управлению;
- Список неопределенных ФО;
- Список невызываемых ФО;
- Таблицы функциональных объектов (ФО).
Доступные отчеты динамического анализа:- Отработавшие ФО (процедуры и функции);
- Отработавшие связи между ФО (процедурами и функциями);
- Отработавшие ФО (ветви);
- Отработавшие связи между ФО (процедурами, функциями и ветвями);
- Отработавшие ББ;
- Отработавшие связи между ББ.
Технические характеристики:- поддержка множества языков – C (ANSI C, C90, C99, C11, C17), C++ (C++98, C++2003, С++11, С++14, С++17, частично C++20), Java (SE 8, частично SE 11), C# (5.0 полностью, частично до 9.0);
- наличие энциклопедии уязвимостей (в соответствии с международным стандартом CWE для описания дефектов в области безопасности программ);
- имеет изначальные установки для выполнения сигнатурного анализа в рамках языков C/C++ , C# и Java;
- поддержка построения отчетов в соответствии с требованиями РД “Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей” (Гостехкомиссия России);
- кроссплатформенность и простота развертывания (продукт поставляется в виде virtual appliance, что позволяет запускать его практически на любой ОС).
Сертификаты:Анализатор исходных текстов программ «АК-ВС 3» включен в единый реестр российских программ для электронных вычислительных машин и баз данных (реестр российского ПО). Запись в реестре №14300 от 26.07.2022 произведена на основании поручения Министерства цифрового развития, связи и массовых коммуникаций Российской Федерации от 26.07.2022 по протоколу заседания экспертного совета от 18.07.2022 №991пр.