Публикации
HPE InfoSight – искусственный интеллект для центров обработки данных, статья
Использование Linux в общедоступных корпоративных облаках, статья
Перспективы и проблемы ИИ, статья
Платформы Cisco для аналитики, статья
SCM – перспективы одноуровневой памяти, статья
Intel: новые флэш-устройства, статья
ETERNUS AF S2 – новый уровень ценовой доступности для цифровой трансформации , статья
Evergreen – решение главной проблемы СХД , статья
Cisco: гиперконвергенция для новых вызовов , статья
2018 – год начала больших перемен в отрасли , статья
HPDA: еще и ускорение аналитики больших данных , статья
Компоненты архитектуры Intel для СХД нового поколения , статья
SAP Leonardo ML “в разрезе” , статья
Единая платформа мониторинга гетерогенных СХД, статья
 
Обзоры
Все обзоры в Storage News
 
Тематические публикации
Flash-память
Облачные вычисления/сервисы
Специализ. СХД для BI-хранилищ, аналитика "больших данных", интеграция данных
Современные СХД
Информационная безопасность (ИБ), борьба с мошенничеством
Рынки
ИСП РАН поможет АО «НПО РусБИТех» повысить доверие к безопасности ОС Astra Linux

23, ноябрь 2018  —  22 ноября ИСП РАН им . В . П . Иванникова в рамках своей Открытой конференции , посвященной 70- летию отечественного ИТ - сектора , заключил соглашение с АО « НПО РусБИТех » о продаже лицензии на статический анализатор Svace и динамический анализатор Crusher. Сделка позволит предприятию - разработчику отечественной сертифицированной операционной системы Astra Linux обнаруживать ошибки кода на ранних стадиях и повысить доверие к безопасности своей платформы , используемой в государственных и коммерческих информационных системах , в том числе , в критически важных секторах экономики .

Svace и Crusher - два дополняющих друг друга необходимых инструмента жизненного цикла разработки безопасного ПО , разработанные ИСП РАН им . В . П . Иванникова . В рамках соглашения институт продал АО « НПО РусБИТех » годовую лицензию на эти статический и динамический анализаторы . Она дает возможность с использованием Svace и Crusher проверять любой исходный код , разрабатываемый специалистами предприятия . Вместе с этой лицензией будут оказаны услуги по установке анализаторов и интеграции их со средой разработки , что поможет использовать Svace и Crusher с наибольшей отдачей .

« РусБИТех » - партнер , с которым мы работаем долгие годы . Мы много раз делали совместные проекты , в том числе , в области верификации модели безопасности . Теперь переходим в новую фазу сотрудничества , когда наши технологии передаются в компанию и будут использоваться там . Причем , « РусБИТех » внедряет эти средства на опережение , когда это еще не является обязательным требованием регуляторов . Это и есть признак инновационности . Рад , что есть такие компаниями и надеюсь их число будет только увеличиваться », - прокомментировал подписание Арутюн Аветисян .

Разработки ИСП РАН позволят АО « НПО РусБИТех » обнаруживать ошибки в исходном коде разрабатываемой отечественной сертифицированной операционной системы Astra Linux. Исправление ошибок на ранней стадии разработки с применением инструментов мирового уровня повысит доверие к безопасности операционной системы Astra Linux, что важно при ее использовании в государственных и коммерческих информационных системах как в критически важных секторах экономики , так и в широком спектре информационных систем гражданского назначения .

« За счет продуктов института мы рассчитываем повысить качество наших продуктов , таких как операционные системы и средства виртуализации . Приведу такой образ : не побоюсь отнести средства разработки , анализа и верификации к станкам , с помощью которых мы создаем свое программное обеспечение . ИСП РАН выбился в мировые лидеры в области создания таких средств , часто не имеющих аналогов нигде . Его продукция заслуженно пользуется спросом во всем мире . Подписанием договора мы хотим продемонстрировать , что отечественная отрасль жива , и мы поддерживаем ее », - отметил директор по развитию АО « НПО РусБИТех » Юрий Соснин .

Статический анализатор Svace позволяет выявить ошибки в программном обеспечении , которые могут привести к сбоям в его работе , или уязвимости , создающие риск перехвата контроля над системой . В среднем при написании 1000 строк кода программист совершает около 20 ошибок , а с помощью Svace их число можно сократить в несколько раз .

Динамический анализатор Crusher дает возможность автоматически генерировать наборы входных данных программы , чтобы проверить ее устойчивость к обработке данных , не соответствующих ожидаемому формату . Crusher автоматически регистрирует ошибки времени исполнения , приводящие к аварийному завершению программы . Он уже успешно используется для обнаружения ошибок в программах пользовательского режима операционной системы Astra Linux в рамках подготовки ее к сертификации ФСТЭК России и для автоматического тестирования API технологии интернета вещей компании Samsung.

Подробная информация о мероприятии http://www.isprasopen.ru/

Институт системного программирования Российской академии наук - разработчик технологий мирового уровня в таких областях , как операционные системы , компиляторные технологии , параллельные и распределенные вычисления , технологии верификации и тестирования программного обеспечения , анализ и обработка больших объемов данных , семантический поиск и др . Среди долговременных отечественных партнеров Института ГосНИИАС , Вымпелком , РусБИТех и др ., среди зарубежных Samsung, Huawei, Dell EMC, HPE, Intel, Nvidia, Rogue Wave, Linux Foundation.

АО « НПО РусБИТех » — научно - производственное объединение , осуществляющее лицензированную разработку , производство и внедрение автоматизированных систем , систем поддержки принятия решений , программных средств общего назначения , разработку и создание средств защиты информации и телекоммуникационных средств , комплексных тренажерных систем нового поколения . Приоритетным направлением во всех видах деятельности является выполнение государственных заказов в интересах федеральных органов исполнительной власти .

Astra Linux - семейство современных Linux- подобных операционных систем . Существуют релизы общего назначения (Common Edition) - с интегрированными офисными средствами , системой управления базами данных и другими программными средствами . Также разработан и успешно применяется во многих государственных и коммерческих информационных системах релиз Special Edition - операционная система специального назначения , сертифицированная ФСБ , ФСТЭК и Минобороны России и предназначенная для построения автоматизированных систем в защищенном исполнении , обрабатывающих информацию , содержащую сведения , составляющие государственную тайну , с грифом не выше « совершенно секретно ».

Публикации по теме
Информационная безопасность (ИБ), борьба с мошенничеством
 
Новости ИСП РАН

© "Storage News" journal, Russia&CIS
Редакция: 115516, Москва, а/я 57; тел./факс - (495) 233-4935;
www.storagenews.ru; info@storagenews.ru.