Как с вами связаться

Введите сообщение

Как с вами связаться

Введите сообщение

Аватар сообщества АСТРА: НОВОСТИ

АСТРА: НОВОСТИ

АСТРА: последние новости сегодня

Новый стандарт от ГРУППЫ АСТРА

7 645

    Утвержден новый стандарт для создания моделей управления доступом в сертифицированных средствах защиты информации, разработанный «Группой Астра». Федеральное агентство по техническому регулированию и метрологии (Росстандарт) своим приказом от 10 марта 2025 года утвердило новый национальный стандарт ГОСТ Р 59453.3-2025 «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке». Главным разработчиком этого документа стала «Группа Астра». Новый стандарт разработан с целью упростить работу специалистов, занимающихся созданием формальных моделей управления доступом для сертифицированных средств защиты информации (СЗИ). Эти модели являются не только инструментом для соблюдения современных регуляторных требований, но и средством обеспечения высокого уровня доверия, надежности и доказуемой безопасности сертифицированных СЗИ. ФСТЭК России требует, чтобы формальные модели сопровождались подробными описаниями для повышения уровня доверия к СЗИ. Ранее, также при участии экспертов «Группы Астра», был принят стандарт ГОСТ Р 59453.1-2021 «Защита информации. Формальная модель управления доступом. Часть 1. Общие положения». Этот стандарт определил обязательные требования к формальным моделям, их математическому или формализованному описанию, а также дополнительные условия их применения в рамках различных политик управления доступом (дискреционной, мандатной, ролевой и мандатного контроля целостности). Новый стандарт расширяет, дополняет и конкретизирует ГОСТ Р 59453.1-2021. Практика показала, что создание формальных моделей представляет собой сложную задачу, особенно для системного программного обеспечения, такого как операционные системы (ОС) и системы управления базами данных (СУБД). В новом стандарте ГОСТ Р 59453.3-2025 эксперты «Группы Астра» детально описали рекомендуемые этапы создания таких моделей, включая описание состояний и переходов абстрактных автоматов, а также формулировку и проведение доказательств выполнения требований безопасности. Абстрактный автомат — это основа формальной модели, которая описывает поведение систем или процессов СЗИ. Он состоит из набора состояний и правил перехода между ними, что позволяет понять, в каком состоянии находится система и как она переходит из одного состояния в другое под воздействием различных событий или условий. Использование абстрактных автоматов помогает избежать неопределенности и ошибок, упрощает проверку корректности логики системы и является важным этапом при описании формальных моделей управления доступом для сертифицированных СЗИ. Кроме того, Росстандарт утвердил ГОСТ Р 59453.4-2021 «Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом». Этот стандарт был разработан Институтом системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) при участии специалистов «Группы Астра». Петр Девянин, научный руководитель «Группы Астра», доктор технических наук, член-корреспондент Академии криптографии России, отметил важность новых стандартов: «Эти документы являются логическим продолжением серии ГОСТ, разработанных совместно с ИСП РАН. В них закреплены проверенные временем подходы к разработке и обеспечению доверия к безопасному программному обеспечению. Я убежден, что рекомендации, изложенные в ГОСТ Р 59453.3-2025, будут востребованы многими отечественными разработчиками сертифицированных решений для информационной безопасности», — подчеркнул он. Источник: www.astragroup.ru

    Пост взят с международного финтех-медиа ресурса

    Другие новости сообщества / АСТРА: последние новости сегодня

    EXPRESS NEWS

    • Кремль не исключает разговора Путина и Трампа по итогам поездки переговорщиков США в Москву и в Киев, сообщил Песков
      Кремль не исключает разговора Путина и Трампа по итогам поездки переговорщиков США в Москву и в Киев, сообщил Песков

    • Трамп в Truth Social назвал Луну собственностью США

    • Старший сын Трампа прибыл в Таллин, пишет газета Postimees. Цель его визита неизвестна. Посольство США в Эстонии в ответ на запросы со стороны Postimees и портала Delfi отказалось комментировать поездку Дональда Трампа-младшего
      Старший сын Трампа прибыл в Таллин, пишет газета Postimees. Цель его визита неизвестна. Посольство США в Эстонии в ответ на запросы со стороны Postimees и портала Delfi отказалось комментировать поездку Дональда Трампа-младшего

    • Факт встречи Путина с Уиткоффом и Кушнером означает атмосферу доверия, по крайней мере, на этом канале общения, отметил Песков в разговоре с журналистом «Вестей» Зарубиным

    • Трехсторонняя встреча лидеров РФ, США и Китая не исключается, заявил ТАСС Рябков
      Трехсторонняя встреча лидеров РФ, США и Китая не исключается, заявил ТАСС Рябков

    • РФ и США надо развивать взаимодействие в тех сферах экономики и бизнеса, где это отвечает взаимным интересам, заявил ТАСС Силуанов

    • Трамп заявил, что США могут «очень скоро» нанести удар по предполагаемому иранскому ядерному объекту близ Натанза под горой Коланг Газ-Ла
      Трамп заявил, что США могут «очень скоро» нанести удар по предполагаемому иранскому ядерному объекту близ Натанза под горой Коланг Газ-Ла

    • Москва в ближайшее время примет ответные меры на закрытие генконсульства РФ в Бонне, заявил посол в Германии Нечаев

    • Председатель Верховного суда России Игорь Краснов прибыл с официальным визитом в Нью-Дели, передает корреспондент ТАСС
      Председатель Верховного суда России Игорь Краснов прибыл с официальным визитом в Нью-Дели, передает корреспондент ТАСС

    • Трамп заявил, что США в ближайшее время возобновят продажи боеприпасов союзникам

    • Пашинян заявил, что Армения не собирается вводить визы для граждан России
      Пашинян заявил, что Армения не собирается вводить визы для граждан России

    • Китай готов развивать обмены с РФ в сферах культуры, туризма и образования, сообщил вице-премьер Госсовета КНР

    • РФ за полноформатное восстановление отношений с США, сообщил Путин. Контакты РФ с администрацией США продолжаются, президент видит позитивный настрой Трампа на конструктивную работу
      РФ за полноформатное восстановление отношений с США, сообщил Путин. Контакты РФ с администрацией США продолжаются, президент видит позитивный настрой Трампа на конструктивную работу

    • Трамп заявил, что для бизнеса было бы отлично поддерживать хорошие отношения с Россией

    • Трамп заявил, что готов провести встречу с Путиным, когда стороны будут готовы заключить мирное соглашение по Украине
      Трамп заявил, что готов провести встречу с Путиным, когда стороны будут готовы заключить мирное соглашение по Украине

    • ВС США уничтожили 28 кораблей в Ормузском проливе в ночь на 1 сентября, заявил Трамп в интервью автору подкаста Lt. Dan Дэну Патрику

    • ЕК предложила включить в 22-й пакет санкций 1600 российских физлиц и компаний, заявила Каллас
      ЕК предложила включить в 22-й пакет санкций 1600 российских физлиц и компаний, заявила Каллас

    • Трамп думает над тем, чтобы назвать Ормузский пролив в свою честь. «Как и сама Америка, Ормузский пролив станет "горячее", чем когда-либо!» — отметил американский президент

    • «Большое число» россиян могут внести в новые санкционные списки ЕС, которые предложила ФРГ. Об этом заявил глава МИД страны Йоханн Вадефуль

    • Добыча нефти в Венесуэле может превысить 1,5 млн баррелей в сутки в первой половине следующего года. Об этом заявил Крис Райт в интервью телеканалу CNBC
      Добыча нефти в Венесуэле может превысить 1,5 млн баррелей в сутки в первой половине следующего года. Об этом заявил Крис Райт в интервью телеканалу CNBC

    • Каллас заявила, что вызвала исполняющего обязанности постпреда России при ЕС в связи с инцидентом в Лейпциге

    • Ушаков опроверг, что Путин не захотел встречаться с главой ЦРУ, и подчеркнул в разговоре с журналистом Life Юнашевым, что таких планов и не было

    • В ФРГ делают всё, чтобы изничтожить всё позитивное, что было накоплено в отношениях с РФ десятилетиями. Об этом заявила Мария Захарова на полях ВЭФ

    • Бессент отметил важность контактов с РФ для урегулирования на Украине
      Бессент отметил важность контактов с РФ для урегулирования на Украине
    • Контакты между спецслужбами осуществляются всегда, заявил Путин, говоря о визите главы ЦРУ
      Контакты между спецслужбами осуществляются всегда, заявил Путин, говоря о визите главы ЦРУ

    • США уничтожат Иран в случае новых ответных атак, утверждает Трамп в интервью Fox News. Он считает, что иранские власти «не останавливаются», и назвал их действия «безумными» и «глупыми»

    • Германия идет по дальнейшему пути эскалации, обвинения в отношении России после инцидента в Лейпциге не подкреплены никакой аргументацией со стороны Берлина, заявил Дмитрий Песков
      Германия идет по дальнейшему пути эскалации, обвинения в отношении России после инцидента в Лейпциге не подкреплены никакой аргументацией со стороны Берлина, заявил Дмитрий Песков

    • США нанесли удар по аэропорту в Джирофте на юге Ирана, сообщила иранская гостелерадиокомпания

    • Пашинян назвал очень хорошей встречу с Путиным в Бишкеке и заявил о намерении в ближайшее время совершить визит в Москву
      Пашинян назвал очень хорошей встречу с Путиным в Бишкеке и заявил о намерении в ближайшее время совершить визит в Москву
    • Трамп заявил, что не за горами проведение крупнейшей атаки на Иран, после которой почти ничего не останется
      Трамп заявил, что не за горами проведение крупнейшей атаки на Иран, после которой почти ничего не останется
    • Встреча Путина и Эрдогана завершилась, продлившись около полутора часов, передает корреспондент ТАСС
      Встреча Путина и Эрдогана завершилась, продлившись около полутора часов, передает корреспондент ТАСС
    • Новым гендиректором Apple стал Джон Тернус
      Новым гендиректором Apple стал Джон Тернус

    • Министры обороны ЕС не приняли никаких конкретных решений о предоставлении ракет для Patriot Киеву, заявила Каллас

    • Уиткофф и Кушнер активизируют переговорные усилия на украинском направлении, сообщил источник ТАСС

    • США применили против Ирана меньше оружия, чем передали Киеву при Байдене, заявил Трамп
      США применили против Ирана меньше оружия, чем передали Киеву при Байдене, заявил Трамп

    • Трамп, говоря о приглашении России на мероприятия G20, заявил, что хочет поладить со всеми: «Одна из причин моего успеха заключается в том, что я со всеми лажу»

    • Лионель Месси завершил выступления за сборную Аргентины по футболу. Об этом он сообщил в соцсетях
      Лионель Месси завершил выступления за сборную Аргентины по футболу. Об этом он сообщил в соцсетях

    • Токаев назначил и. о. вице-премьера Аиду Балаеву зампредом Совета безопасности Казахстана. Секретарь Совбеза Гизат Нурдаулетов освобожден от должности, говорится в указе президента.

    • Токаев подписал указ о назначении Ерлана Карина на пост вице-президента Казахстана, сообщает пресс-служба
      Токаев подписал указ о назначении Ерлана Карина на пост вице-президента Казахстана, сообщает пресс-служба

    • США в течение недели введут санкции против одного из банков для давления на Иран, заявил американский министр финансов Скотт Бессент

    Вы уверены, что хотите выйти из аккаунта?