АК-ВС 2
К списку продукций
Цена по запросу
Для уточнения стоимости или покупки лицензии анализатора кода вычислительных систем АК-ВС 2, просто оставьте заявку.

АК-ВС 2 предназначен для проверки на отсутствие недекларированных возможностей (программных закладок) и для анализа безопасности программного кода.

Достоинства АК-ВС 2:

  • Одновременный анализ нескольких проектов и одновременная работа нескольких экспертов.
  • Интуитивно понятный веб-интерфейс.
  • Единственное сертифицированное средство проведения сертификационных испытаний по 2 и 1 уровням контроля отсутствия недекларированных возможностей.
  • Проведение сигнатурно-эвристического анализа кода с целью выявления программных закладок и критических уязвимостей ПО.
  • Гостехкомиссии России по отсутствию недекларированных возможностей (до 1 уровня контроля включительно).
  • Проведение анализа и построение отчетов в соответствии с руководящим документом.

Характеристики АК-ВС 2:

  • Кроссплатформенность и простота развертывания (продукт поставляется в виде virtual appliance, что позволяет запускать его практически на любой ОС).
  • Поддержка построения отчетов в соответствие с требованиями РД "Защита от несанкционированного доступа к информации.
  • Имеет изначальные установки для выполнения сигнатурного анализа в рамках языков C/C++ , C# и Java.
  • Поддержка множества языков: ANSI C (ANSI C, C90, C99, C11), C++ (C++98, C++2003, С++11, С++14), Java, C#.
  • Наличие энциклопедии уязвимостей (в соответствии с международным стандартом CWE для Описания дефектов в области безопасности программ).

Сертификация АК-ВС 2:

Минобороны России №4290, подтверждающий выполнение требований Приказа МО РФ, в том числе:

  • Руководящего документа «Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей» (Гостехкомиссия России, 1999) - по 2 уровню контроля.
  • Требованиям по соответствию реальных и декларируемых в документации функциональных возможностей.

Патент

  • Патент на полезную модель "Система для определения программных закладок" №114799 от 29 декабря 2011г.

Свидетельство о государственной регистрации

  • Свидетельство Роспатента о государственной регистрации программы для ЭВМ №2011619341 от 7 декабря 2011г.

Есть вопросы?

Задайте их нашим специалистам и получите ответ


К списку продукций
×