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

ГК 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 Количество просмотров: 905
Страна: Россия


Hisense запустила массовое производство телевизоров Hisense UXQ с технологией RGB Mini-LED и диагональю 116 дюймов, Hisense, 12:42, 22.07.2025, Россия105
Как ожидается, самые большие в мире телевизоры Mini-LED с подсветкой RGB и потрясающей цветопередачей будут доступны в российских магазинах осенью 2025 года


Fork-Tech: к 2030 году объем обрабатываемых данных в финсекторе вырастет в 3-3,5 раз, Fork-Tech, 05:49, 22.07.2025, Россия144
Все большая цифровизация услуг, внедрение искусственного интеллекта, а также новые регуляторные государственные инициативы обуславливают взрывной рост данных в финансовом секторе в ближайшие пять лет.


СберТех и Аэродиск развивают российские решения для хранения и управления данными, Аэродиск, 05:48, 22.07.2025, Россия154
Российские разработчики успешно провели испытание работоспособности систем хранения данных, произведенных Аэродиском, под управлением операционной системы СберТеха.


Axenix выводит бизнес-аналитику на новый уровень с ИИ-ассистентами в платформе In.Plan, Axenix, 05:48, 22.07.2025, Россия148
Компания Axenix внедрила ИИ-ассистентов в платформу интегрированного бизнес-планирования In.Plan. Это позволит сделать работу пользователей с данными более точной, быстрой и удобной.


«ЭР-Телеком Холдинг» автоматизировал кадровое делопроизводство с помощью HRlink и сэкономил более 50 млн рублей, HRlink, 05:45, 22.07.2025, Россия144
Интернет-провайдер внедрил несколько продуктов вендора, включая сервис для приема на работу Start Link, и достиг качественной оптимизации в кадровом делопроизводстве — экономия по итогам реализации проекта составила более 50 млн рублей.


«АЛМИ Партнер» и CommuniGate Pro успешно протестировали корпоративное коммуникационное решение для компаний с высокими требованиями к безопасности данных, ALMI Partner, 05:43, 22.07.2025, Россия145
Российский разработчик общесистемного и прикладного программного обеспечения «АЛМИ Партнер» и разработчик платформы для унифицированных коммуникаций «СБК» подтвердили совместимость почтового клиента «АМэйл» с платформой CommuniGate Pro.


На Урале разработали дизайн-код для отечественных беспилотников, ООО "Лаборатория будущего", 05:39, 22.07.2025, Россия155
В Екатеринбурге подвели итоги первого в России Дронотона – бесплатной практикоориентированной образовательной программы «Университета 2035» и компании «Лаборатория будущего». Участники Дронотона представили визуальный стиль для беспилотников «Лаборатории будущего», которые будут доставлять грузы, участвовать в спасательных операциях и не только.


Результаты опроса НСКВ: Искреннее желание помогать обществу – в топе мотивации корпоративных волонтеров России, НСКВ, 05:34, 22.07.2025, Россия166
16 июля прошло заседание НСКВ, посвященное обсуждению эффективных подходов к поддержанию и развитию мотивации сотрудников, участвующих в волонтерских инициативах. В заседании НСКВ приняли участие представители компаний Юнирест, РУСАЛ, Система ПБО, Газпром – медиа холдинг, Металлоинвест, Сбер, МТС, BIOCAD, Мобиус Технологии, Сервье, Татэнерго, Банк ПСБ и другие.


Toshiba TV представляет новые модели телевизоров на российском рынке, Toshiba TV, 12:03, 21.07.2025, Россия124
Устройства сочетают в себе элегантный дизайн и расширенный функционал


Inpolus® Integration Platform централизует и ускоряет обмен данными в Astros Logistics, «Инполюс», 05:32, 22.07.2025, Россия142
Москва, 21 июля 2025 г.


Hybrid: у рекламодателей растет запрос на точную и быструю аналитику рекламных кампаний, Hybrid, 00:03, 20.07.2025, Россия147
Российский рынок аналитических решений продолжает устойчиво расти. В 2023 году совокупная выручка пятидесяти крупнейших поставщиков в этой сфере достигла 72 миллиардов рублей, что на 27% превышает показатель предыдущего года.


Пенсионерам — без переплат: «Выберу.ру» подготовил рейтинг лучших кредитов в июле 2025 года, Финансовый маркетплейс "Выберу.ру", 05:16, 22.07.2025, Россия85
К экватору дачного сезона «Выберу.ру» составил рейтинг банков с самыми выгодными потребительскими кредитами для пенсионеров. Топ-подборка от финансового маркетплейса поможет людям найти подходящее решение и в условиях высоких кредитных ставок не переплачивать лишние проценты благодаря скидкам.


В России начались продажи POCO F7: стильный дизайн и невероятная мощь, diHouse, 06:28, 20.07.2025, Россия246
Компания diHouse, дистрибьютор продукции потребительской электроники и «умных» устройств Xiaomi, объявляет о старте продаж смартфона POCO F7 на российском рынке.


«Аэродиск» и УЦ «Микротест» развивают программу обучения специалистов по СХД, Аэродиск, 06:28, 20.07.2025, Россия269
Компания «Аэродиск», ведущий российский разработчик систем хранения данных и виртуализации, совместно с учебным центром «Микротест» обновили курс «Сертифицированный системный инженер СХД АЭРОДИСК ВОСТОК/ENGINE AQ».


«АЛМИ Партнер» выпустила обновление «АльтерОфис» и «АМэйл», ALMI Partner, 06:28, 20.07.2025, Россия253
Компания «АЛМИ Партнер» представила обновление офисного пакета «АльтерОфис» и почтового клиента «АМэйл», включающее значительные улучшения в производительности, безопасности и удобстве работы.


  © 2003-2025 inthepress.ru