Пресс-релизы //

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

LG ОТМЕЧЕНА МНОГОЧИСЛЕННЫМИ НАГРАДАМИ CES 2025 INNOVATION AWARDS, LG Electronics, 04:21, 17.11.2024, Россия80

Компания умных решений для жизни удостоена высокой оценки в различных категориях, получив в том числе три награды Best Innovation Awards

Школьники из России и Беларуси стали победителями международной олимпиады по креативному программированию наряду с участниками из 12 стран, ROBBO, 04:21, 17.11.2024, Россия79

Компания «РОББО», российский производитель образовательной робототехники, организатор Scratch-Олимпиады, подвела итоги 8-й Международной Scratch-Олимпиады по креативному программированию. Финал 2024 года прошел в онлайн формате с 28 сентября по 4 октября. Итоговый протокол опубликован 14 ноября на creativeprogramming.org.

HRlink внедрил кадровый ЭДО в HR-процессы «Юниливер Русь», HRlink, 04:20, 17.11.2024, Россия79

HRlink, разработчик сервиса кадрового ЭДО, автоматизировал кадровые процессы одного из лидеров российского FMCG-рынка компании «Юниливер Русь». Внедрение платформы позволило повысить эффективность работы HR-департамента – доля подписанных документов в среднем теперь составляет 97%.

«Аэродиск» выпускает opensource-версию системы управления vAIR, Аэродиск, 04:20, 17.11.2024, Россия79
Компания «Аэродиск», российский разработчик и производитель решений в области хранения данных и виртуализации, выпустил OpenSource-версию системы управления виртуализацией ИТ-инфраструктуры — Open vAIR.

«Газинформсервис» на AQ PRO: укрепление лидерства в сфере кибербезопасности, Газинформсервис, 04:15, 17.11.2024, Россия44

«Газинформсервис» принял участие в ежегодной конференции компании «Аквариус» «AQ PRO Время решений». В рамках мероприятия, где эксперты и представители ИТ-индустрии обсуждали актуальные технологические вызовы в сфере отечественной электроники и программного обеспечения, «Газинформсервис» представил ряд докладов, посвящённых решениям для повышения информационной безопасности.

Jatoba и TrueConf Enterprise: безопасная видеосвязь для критически важных инфраструктур, Газинформсервис, 04:14, 17.11.2024, Россия50

Разработка отечественной компании «Газинформсервис» — защищённая система управления базами данных (СУБД) Jatoba — интегрирована с программной платформой видеоконференцсвязи (ВКС) TrueConf Enterprise.

Как заказчику подготовиться к внедрению 1С:ERP на производственном предприятии, ООО "Цифровизация производства", 04:13, 17.11.2024, Россия60

Планируете внедрение ERP, но не знаете с чего начать? Начали настраивать 1С:ERP самостоятельно, но что-то пошло не так? Не удовлетворены результатом внедрения другого интегратора? Тогда регистрируйтесь на наш вебинар «Как заказчику подготовиться к внедрению 1С:ERP на производственном предприятии» 21 ноября в 11:00 ЗАРЕГИСТРИРОВАТЬСЯ – (ССЫЛКА)

Ставропольский край улучшает показатели по медицинским инцидентам с помощью аналитической платформы «N3.Аналитика», Нетрика, 04:12, 17.11.2024, Россия41

Платформа управления данными «N3.Аналитика», разработанная специалистами компании «Нетрика Медицина», позволяет органам управления здравоохранением Ставропольского края планомерно улучшать доступность и качество медицинской помощи

Pragmatic Tools и MONT заключили соглашение о стратегическом партнерстве в области импортозамещения, MONT, 04:12, 17.11.2024, Россия47

Компания Pragmatic Tools, разработчик программных продуктов для цифровой трансформации ИТ-инфраструктуры, и группа компаний MONT, один из крупнейших дистрибьюторов программного обеспечения в России, договорились о сотрудничестве

IT-компания PMP Tech признана «Лучшим предприятием отрасли» 2023 года, PMP Tech, 04:09, 17.11.2024, Россия61

ООО «ПМП ТЕХ» объявляет о своей номинации и признании «Лучшим предприятием отрасли 2023» в ежегодной премии, организованной Центром аналитических исследований. Эта награда стала итогом всесторонней аналитики и оценки компании, проведенной на основании данных, полученных от федеральных статистических органов и налоговой службы РФ.

«Лента» интегрировала GMonit для поддержки работоспособности SAP-систем, GMonit, 04:09, 17.11.2024, Россия62

В связи с переходом на insource поддержку SAP-систем ритейлер внедрил observability платформу GMonit, которая позволила улучшить осведомленность о текущем состоянии вендорских решений, обеспечить их стабильность и эффективность работы.

VolgaBlob — новый стратегический партнер Nubes, Nubes, 04:08, 17.11.2024, Россия39

Облачный провайдер Nubes и компания VolgaBlob подписали соглашение о стратегическом сотрудничестве. Тем самым они обеспечили возможность развернуть платформу Smart Monitor для своих клиентов.

Возможности системы Optimining обсудили на All-over-IP 2024, Систематика, 04:07, 17.11.2024, Россия43

Команда разработчиков российской системы для мониторинга и анализа бизнес-процессов Optimining рассказала о возможностях продукта участникам Форума All-over-IP & Digital Transformation 2024.

«Рейтинг Рунета»: Налог в 3% с рекламы в интернете – достаточно мягкий вариант для рекламодателей, Рейтинг Рунета, 03:58, 17.11.2024, Россия43

Эксперты «Рейтинга Рунета» считают приемлемым налог на рекламу в интернете в размере 3%. Эту цифру озвучил в качестве обсуждаемой заместитель председателя комитета Госдумы по информационной политике Антон Горелкин в своем телеграм-аккаунте.

«Рейтинг Рунета» запустил телеграм-бот подбора digital-подрядчиков, Рейтинг Рунета, 03:58, 17.11.2024, Россия47

«Рейтинг Рунета» разработал бот, упрощающий поиск подрядчика. Теперь заказчики могут найти разработчика сайта или PR-агентство за пару минут, ответив на несколько простых вопросов. С момента возникновения идеи до реализации прошло 10 месяцев. Стоимость разработки составила 1,3 млн рублей.