Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) специализируется на исследованиях системного и прикладного ПО, а также обеспечении его безопасности.
Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) специализируется на исследованиях системного и прикладного ПО, а также обеспечении его безопасности.
Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) специализируется на исследованиях системного и прикладного ПО, а также обеспечении его безопасности.
На базе Центра компетенций ФСТЭК России и ИСП РАН реализованы проекты "Центр исследования безопасности системного ПО", "Унифицированная среда разработки безопасного отечественного ПО", ведется разработка ГОСТов и действует сообщество "РБПО". В ИСП РАН действует орган по сертификации процессов РБПО при ФСТЭК России.
Подходы и инструменты ИСП РАН позволяют определять уязвимости ПО на ранних стадиях его разработки, делая его более безопасным и надежным. В институте разработаны статический анализатор Svace и сервер сбора результатов Svacer, фаззеры Crusher и Sydr, системы определения поверхности атак Natch, безопасные компиляторов SAFEC и Safelang и много другое.
ИСП РАН проводит аудиты РБПО и внедряет свои инструменты в организации-разработчики СЗИ и отечественного ПО, создаваемого в том числе для ГИС и ОКИИ.