Пресс-релизы // » Добавить пресс-релиз

ГК Astra Linux стала индустриальным партнером Института системного программирования РАН

Группа компаний Astra Linux, ведущий разработчик отечественного рынка операционных систем, снова стала основным индустриальным партнёром Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН). Компания обеспечит софинансирование исследований технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации. Участие ГК Astra Linux в финансировании этих исследований определяют условия предоставления гранта, который Институт получил в рамках федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014 - 2020 годы».

Одно из ключевых направлений работы – развитие технологий и инструментальных средств представления и верификации на формализованном машиночитаемом языке математической модели управления доступом. ГК Astra Linux заинтересована в результатах таких исследований, так как именно на данной модели основана защита операционной системы специального назначения (ОССН) Astra Linux Special Edition.

Применение этих инструментальных средств, с одной стороны, позволяет повысить качество разработки и обеспечить безопасность ОССН, а с другой – направлено на выполнение утвержденных Приказом ФСТЭК России от 30.07.2018 № 131 «Требований по безопасности информации, устанавливающих уровни доверия к средствам технической защиты информации и средствам обеспечения безопасности информационных технологий». Данные требования действуют с 1 июня 2019 г. по инициативе ФСТЭК России, в чьей системе сертификации ОССН Astra Linux Special Edition имеет первый (наивысший) класс защиты и, следовательно, максимальный уровень доверия.

«ИСП РАН и ГК Astra Linux развивают партнерские отношения с 2013 г. Мы ценим участие разработчиков средств защиты информации в проводимых нами исследованиях, а также их софинансировании. Это позволяет концентрировать наши усилия на направлениях, в которых заинтересованы лидеры отечественного рынка информационной безопасности, ориентированных на выполнение решений регуляторов, а также это даёт возможность создавать и внедрять наши наукоемкие технологии и инструментальные средства в решениях российских разработчиков, видеть результаты их работы», – комментирует директор Института академик РАН Арутюн Аветисян.

Кроме исследования технологий, применяемых в инструментальных средствах верификации модели управления доступом, которые ИСП РАН ведет в рамках работ по гранту, при разработке средств защиты информации, претендующих на высокие уровни доверия, нужен широкий спектр средств статического и динамического анализа программного кода, сбора трасс его выполнения, тестирования на проникновение, анализа помеченных данных и т.д. Чтобы эффективно использовать эти средства, обрабатывать и анализировать результаты их работы, разработчику необходима постоянно функционирующая техническая инфраструктура выполнения требований доверия (испытательные стенды, базы данных дефектов программного кода, среда непрерывной разработки и т.д.), а также возможность применять соответствующие научные подходы в своей повседневной работе.

«Сотрудничество в лице ИСП РАН с российской академической наукой стало неотъемлемой частью научного сопровождения разработки нашей защищённой операционной системы и обеспечения доверия к ней. Некоторыми из используемых для этого технологиями, например, разработкой математической модели управления доступом, мы изначально владели сами. Несколько других технологий, к примеру, дедуктивную верификацию этой модели, мы смогли освоить совсем недавно. При этом взаимодействие с ИСП РАН позволяет нам не только соответствовать требованиям доверия, предъявляемым актуальной нормативной базой, и с выполнением которых у нас могут возникать затруднения. Оно в первую очередь даёт нам возможность заглянуть в будущее, исследовать и апробировать на нашей операционной системе самые передовые технологии обеспечения доверия к средствам защиты информации, сделать их достоянием отечественного рынка информационной безопасности. Именно на это направлена миссия ГК Astra Linux как индустриального партнёра ИСП РАН», – отмечает главный научный сотрудник ГК Astra Linux член-корреспондент Академии криптографии России Петр Девянин.

Контактное лицо: Баканович Анна
Компания: ГК Astra Linux
Добавлен: 17:40, 04.03.2020 Количество просмотров: 870
Страна: Россия


«Телфин» обновил сервис «Мониторинг» для колл-центров, Телфин, 22:16, 21.06.2025, Россия131
Провайдер коммуникационных решений «Телфин» расширяет функциональность сервиса «Мониторинг» для колл-центров. Теперь пользователям данного решения доступны новые настройки для оценки эффективности и загруженности операторов с помощью отчетов по часам за любой день: сколько вызовов произошло в колл-центре в определенный час, и как они были обработаны.


Dodo Brands внедрила систему управления знаниями Minerva Knowledge, Minervasoft, 22:59, 18.06.2025, Россия169
Работа в новой системе позволила компании оптимизировать клиентский сервис, повысить эффективность корпоративного поиска на 10% и консолидировать знания для реализации пилотного проекта по подключению генеративного искусственного интеллекта.


Система «ГИРВАС» расширяет совместимость: в ближайшем обновлении добавят поддержку новых СУБД, Карельский разработчик, 22:11, 21.06.2025, Россия117
Система управления содержимым (CMS) «ГИРВАС», разработанная компанией «Карельский разработчик», готовится к важному обновлению, которое значительно расширит её функциональные возможности.


Богатые тоже платят. «Выберу.ру» подготовил рейтинг лучших премиальных карт за май 2025 года, Финансовый маркетплейс «Выберу.ру», 22:10, 21.06.2025, Россия56
«Выберу.ру» составил рейтинг банков с наиболее выгодными для состоятельных клиентов дебетовыми премиальными картами «Mir Supreme» благодаря максимальному кешбэку, широкому набору привилегий и процентам на остаток средств.


PROF-IT GROUP внедрила IоT и Big Data на заводе СОЛЛЕРС в ОЭЗ «Алабуга», PROF-IT GROUP, 23:50, 19.06.2025, Россия216
Завод дизельных двигателей СОЛЛЕРС в ОЭЗ «Алабуга» внедрил технологии IоT и Big Data для онлайн-контроля производства на базе отечественной цифровой платформы WINNUM. Проект реализован при поддержке технологического партнера группы СОЛЛЕРС - компании PROF-IT GROUP.


Axenix помогла Avon вдвое ускорить запуск новых продуктов за счет создания собственной платформы для исследований и разработок, Axenix, 22:32, 18.06.2025, Россия88
Российское подразделение международной косметической компании Avon, входящей в бразильскую группу Natura & Co, полностью перешло на использование собственной системы управления разработкой продуктов (R&D), созданной компанией Axenix.


НКК объявляет о старте верификации PLM-системы САРУС+ с участием отечественных предприятий, НКК, 15:22, 21.06.2025, Россия101
Платформа САРУС+, отечественная PLM-система нового поколения, разработана с учетом специфических требований российской промышленности.


При поддержке ЕДИНОГО ЦУПИС состоялся Sport-Marafon Fest, ЕДИНЫЙ ЦУПИС (НКО "Мобильная карта"), 22:15, 21.06.2025, Россия116
ЕДИНЫЙ ЦУПИС, платежный сервис для любителей спорта, поддержал один из крупнейших спортивно-музыкальных фестивалей России, который прошел 6-8 июня в калужском арт-парке «Никола-Ленивец». Фестиваль собрал свыше 10 тыс. участников.


ЕДИНЫЙ ЦУПИС принял участие в специальном мероприятии Forbes в рамках ЦИПР-2025, ЕДИНЫЙ ЦУПИС (НКО "Мобильная карта"), 22:09, 21.06.2025, Россия61
В рамках ЦИПР-2025 в Нижнем Новгороде 3 июня состоялся бизнес-ужин экспертов цифрового развития «Технологическое лидерство: факторы роста», организованный FCongress при поддержке Forbes Russia. В событии принял участие технический директор, член Правления ЕДИНОГО ЦУПИС Александр фон Розен.


Группа компаний «Серконс» выполняет проекты для 100 тысяч партнеров с помощью 1С:CRM, 1С-Рарус, 22:09, 21.06.2025, Россия68
«1С-Рарус» завершил перевод крупнейшего оператора в области сертификации на отечественное CRM-решение. Модуль «1С:CRM» интегрирован в ERP-систему холдинга «Серконс». Усовершенствованы бизнес-процессы работы с партнерами. В результате на 15-20% выросли ключевые метрики продаж.


Hisense возглавила глобальный рейтинг по объему продаж телевизоров – лазерных, Mini-LED и с диагональю 100 дюймов и более, Hisense, 22:09, 21.06.2025, Россия69
Omdia подвела итоги первого квартала 2025 года


Группа компаний MONT стала официальным дистрибьютором экосистемы виртуализации Space, MONT, 22:08, 21.06.2025, Россия90
Группа компаний MONT стала официальным дистрибьютором всей линейки продуктов экосистемы виртуализации Space от компании «ДАКОМ М». Сотрудничество направлено на расширение доступа к инновационным решениям на основе облачных технологий для российских заказчиков.


SIMETRA: искусственный интеллект, сервисная модель и импортозамещение изменят рынок транспортного планирования в перспективе пяти лет, Simetra, 22:08, 21.06.2025, Россия100
Переход на сервисные модели, развитие отечественных цифровых решений и массовое внедрение искусственного интеллекта (ИИ) станут основными трендами на рынке транспортного планирования России до 2030 года, считают эксперты группы компаний SIMETRA.


BeringPro и Axenix объявляют о партнерстве для реализации проектов на платформе интегрированного планирования In.Plan, Axenix, 22:05, 21.06.2025, Россия116
Консалтинговые компании BeringPro и Axenix подписали соглашение о сотрудничестве. В рамках партнерства они планируют реализовывать комплексные проекты по автоматизации процессов планирования на базе платформы In.Plan.


Региональный опыт формирования регистров и внедрения ИИ для цифровой трансформации обсудили в Санкт-Петербурге, Нетрика, 15:22, 21.06.2025, Россия139
6 июня в Санкт-Петербурге в рамках ежегодного конгресса «ИТМ Петербург» состоялась VIII Межрегиональная конференция «Практическая польза региональных информационных систем в сфере здравоохранения».


  © 2003-2025 inthepress.ru