Логотип МИЭМ НИУ ВШЭ
Завершен
Логотип типа проекта Учебно-методический
Учебно-методический
2023 / 2024
Логотип проекта Разработка функциональной и системной архитектуры системы обеспечения жизненного цикла доверенного ПО

    1309 Разработка функциональной и системной архитектуры системы обеспечения жизненного цикла доверенного ПО

    Старт
    25.11.2023
    Представление
    27.01.2024 – 07.02.2024
    Постерная сессия
    22.04.2024
    Защита
    03.06.2024

    Паспорт проекта

    Аннотация

    Создание макета такой системы на стенде ЗАО ЕС-лизинг на базе инструментальных средств Института Системного Программирования (ИСП) РАН. Отработка практикума к учебному курсу, разработанному на предыдущем этапе проекта.

    Отрасль

    Информатика

    Теги

    Информатика

    Цель

    Создание практикума по автоматизированному поиску уязвимостей в программах в рамках Системы Обеспечения Жизненного Цикла Доверенного ПО (СОЖЦ ДПО), соответствующих требованиям нормативных документов Федеральной Службы по Техническому и Экспортному Контролю (ФСТЭК). Практикум дополняет учебный курс, разработанный на первом этапе проекта, и предназначен для обучения студентов и проектного обучения специалистов.

    Ожидаемые результаты

    • * разработка технологических инструкций по работе со средствами поиска уязвимостей в программах, написанных на языках C,C++,Java, Python методами статического анализа
      • * валидация разработанных инструкций на примере анализа реальных комплексов программ на перечисленных языках с доработкой инструкций
        • * Участие в разработке типового технологического процесса поиска уязвимостей для организации-интегратора

          Форма и способы промежуточного контроля

          Формы контроля (три вида контроля), предусмотренные Проектным офисом

          Форма представления результатов

          В ходе проекта осуществляется разработка всех материалов, которые предусмотрены в методических документах Проектного офиса

          Ресурсное обеспечение

          ЗАО ЕС-лизинг предоставит мощности своего вычислительного центра и доступ к инструментальным средствам по тематике проекта

          Имеющийся задел

          * ПУД учебного курса по поиску уязвимостей в программах * Презентации для учебного курса * Конспект лекций для учебного курса * Начальная работа по поиску уязвимостей на стенде ЕС-лизинг

          Заказчик

          МИЭМ / ДКИ