 |
ГК 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
Количество просмотров: 1311
Страна: Россия
| Быстрее самолётов: в аэрогавани «Нерюнгри» увеличили скорости 4G, МегаФон, 23:05, 30.06.2026, Россия302 |
| Пассажирам и сотрудникам аэропорта «Нерюнгри» в Чульмане стал доступен более быстрый мобильный интернет МегаФона. Техническая служба оператора запустила в воздушной гавани базовую станцию с поддержкой LTE. Благодаря проведённым работам скорости передачи данных теперь достигают 75 Мбит/с. |
| От «умного дома» до прогулок у озера — в Тюмени улучшили связь для тысяч новосёлов, МегаФон, 23:04, 30.06.2026, Россия304 |
| МегаФон запустил новые базовые станции в семи жилых комплексах областного центра Тюменской области: «Юнион», «Централь», «Новый», «Дивный квартал у озера», «Опера», «Мотивы», «Ново Комарово». Новостройки находятся в разных точках города, в общей сложности в них уже проживают несколько тысяч человек. Ещё столько же готовятся к новоселью. |
| МегаФон увеличил покрытие на региональной трассе в Удмуртии, МегаФон, 23:04, 30.06.2026, Россия297 |
| МегаФон запустил новые базовые станции в населённых пунктах, прилегающих к региональной автодороге, соединяющей Сарапул и Камбарку: теперь жители сёл Мазунио и Тарасово будут на связи с близкими и друзьями, смогут пользоваться цифровыми сервисами. Для автомобилистов в этих локациях стали доступны голосовые вызовы, загрузка карт, использование навигационных сервисо |
| ПО «Helius.КУБ» и РЕД ОС 8: подтвержденная совместимость для доверенных ПАК, «Гравитон», 23:02, 30.06.2026, Россия297 |
| Компании «Гравитон», разработчик и производитель российской вычислительной техники, и РЕД СОФТ, разработчик программного обеспечения, объявили о совместимости программного обеспечения «Helius.КУБ» с российской операционной системой РЕД ОС 8. Данный шаг является частью последовательной стратегии компании «Гравитон» по выводу на рынок импортонезависимых ИТ-решений для российских заказчиков. |
| Печатное оборудование «Гравитон» совместимо с сервисами Print-X, «Гравитон», 22:59, 30.06.2026, Россия290 |
| Разработчик и производитель российской вычислительной техники «Гравитон» и компания ПринтИкс (входит в ГК «Айтеко») завершили интеграцию своих решений. Теперь на печатном оборудовании «Гравитон» можно установить приложение Print-X, которое расширяет возможности управления корпоративной печатью и повышает эффективность рабочих процессов. |
| "Андагар" разработал интернет-магазин для бренда одежды, Андагар, 22:58, 30.06.2026, Россия115 |
| ИТ-компания «Андагар» разработала платформу для российского бренда одежды с собственным производством. Решение объединило интернет-магазин, складской учет, логистику, работу с маркировкой «Честный знак» и интеграцию с производством. |
| Связь в амурской тайге: оператор запустил 4G в поселке Береговой, МегаФон, 22:57, 30.06.2026, Россия79 |
| Жители таёжного поселка Береговой в Зейском муниципальном округе Амурской области теперь могут пользоваться 4G в сети МегаФона. Специалисты перевели базовую станцию со спутника на волоконно-оптическую линию, что позволило запустить мобильный интернет на скорости до 50 Мбит/с. Ранее в поселке работала только голосовая связь оператора. |
| Вышла новая версия системы Arenadata Harmony MDM 3.1.1, Arenadata, 22:56, 30.06.2026, Россия156 |  |
| «Гармония» обновила систему Arenadata Harmony MDM (AD.MDM). Среди ключевых изменений – наследование признаков по иерархии классов, автоматическая генерация наименований по шаблонам и асинхронная выгрузка отчетов через реплику базы данных. |
|
|
