ГОСТ Р 59453.4-2025

ФЕДЕРАЛЬНОЕ АГЕНТСТВО

                                     ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ




                                                 НАЦИОНАЛЬНЫЙ                        ГОСТ Р
                                                      СТАНДАРТ
                                                    РОССИЙСКОЙ
                                                                                     59453 . 4 —
                                                     ФЕДЕРАЦИИ                       2025




                                           Защита информации

                                      Ф О Р М А Л Ь Н А Я М ОДЕЛЬ
                                     УПРАВЛЕНИЯ ДО С ТУП О М
                                                      Часть        4

                                 Рекомендации по верификации средства
                               защиты информации, реализующего политики
                            управления доступом, на основе формализованных
                                  описаний модели управления доступом


                                                 Издание официальное




                                                             Москва
                                                Российский институт стандартизации
                                                               2025




обязательная сертификация

ГОСТ Р 59453.4— 2025


                                              Предисловие
       1 РАЗРАБОТАН Ф е д еральной служ бой по те хн и ч е ско м у и э кспо р тн о м у контролю (Ф С ТЭ К Рос­
сии), И нститутом систем ного пр огр ам м и р ова н и я им. В.П. И ванникова Р оссийской а кад ем и и наук
(ИСП РАН), О бщ еством с о гра н иче нн о й ответстве нностью «Р усБ И Т ех-А стра» (О О О «РусБИ Тех-
А стра»), Ф е деральны м автоном ны м учре ж д ен и е м «Государственны й научно-и ссл е д овате л ьски й ис­
пы тательны й ин ститут проблем техн ической защ иты инф орм ации Ф едеральной служ бы по те хн и ч е ­
ско м у и экспо ртн о м у контролю » (ФАУ «ГН И И И ПТЗИ Ф С Т Э К России»)

     2 ВНЕСЕН Техническим комитетом по стандартизации ТК 362 «Защ ита инф орм ации»

     3 У ТВЕ РЖ Д ЕН И ВВЕДЕН В ДЕ Й С ТВ И Е П риказом Ф едерального агентства по техническом у
регулированию и метрологии от 10 марта 2025 г. № 112-ст

     4 ВВЕДЕН ВП ЕРВЫ Е




      П равила п рим енения наст оящ его ст андарт а уст ановлены в ст ат ье 26 Ф едерального закона
от 29 ию ня 2015 г. № 162-ФЗ «О ст андарт изации в Р оссийской Ф едерации». И нф орм ац ия об из­
м енениях к наст оящ ем у ст андарт у публикует ся в еж егодном (по сост оянию на 1 января т екущ его
года) и нф орм ационном указат еле «Н ациональны е ст андарт ы », а оф ициальны й т екст изм енений
и п оправок — в е ж ем есячном инф орм ационном указат еле «Н ациональны е ст андарт ы ». В случае
пересм от ра (замены) или от м ены наст оящ его ст андарт а соот вет ст вую щ ее уведом ление будет
опубликовано в ближ айш ем вы пуске еж ем есячного инф орм ационного указат еля «Н ациональны е
ст андарт ы ». С оот вет ст вую щ ая инф орм ация, уведом ление и т екст ы разм ещ аю т ся т акж е в ин­
ф орм ационной сист ем е общ его пользования — на оф ициальном сайт е Ф едерального агент ст ва по
т ехническом у р егулированию и м ет рологии в сет и И нт ернет (www.rst.gov.ru)




                                                 © О ф орм ление. Ф ГБУ «И нститут стандартизации», 2025

     Н астоящ ий стандарт не может бы ть полностью или частично воспроизведен, тираж ирован и рас­
пространен в качестве оф ициального издания без разреш ения Ф едерального агентства по техническо­
му регулированию и метрологии

ГОСТ Р 59453.4— 2025


                                                                                  Содержание
1 О бласть п р и м е н е н и я ........................................................................................................................................................... 1
2 Н орм ативны е с с ы л ки ........................................................................................................................................................... 1
3 Термины и о п р е д е л е н и я ....................................................................................................................................................2
4 О бщ ие п о л о ж е н и я ............................................................................................................................................................... 2
5 Вы бор инструм ентов в е р и ф и к а ц и и .............................................................................................................................. 4
6 Рекомендации по вериф икации средства защ иты инф орм ации, реализую щ его политики
   управления доступом , на основе ф орм ал изованны х описаний модели управления доступом
    на системном у р о в н е ...........................................................................................................................................................4
7 Рекомендации по вериф икации средства защ иты инф орм ации, реализую щ его политики
   управления доступом , на основе ф орм ал изованны х описаний модели управления доступом
    на уровне интерф ейсов модулей б е з о п а с н о с т и .......................................................................................................5
П рилож ение А (справочное) Рекомендации по оценке покры тия ф орм ал ьны х м о д ел е й .......................... 7
П рилож ение Б (справочное) Пример проведения вериф икации средства защ иты инф орм ации,
                              реализую щ его политики управления доступом , на основе ф орм ализованны х
                              описаний модели управления д о с т у п о м ...........................................................................................9
Б и б л и о гр а ф и я ........................................................................................................................................................................ 15

ГОСТ Р 59453.4— 2025


                                            Введение
      П роектирование и разработка средств защ иты инф орм ации является сложной инж енерно-тех­
нической задачей. По этой причине для обеспечения надеж ности и корректности ф ункционирования
средств защ иты инф орм ации, так же как в д ругих областях конструкторской деятельности, необходимо
привлекать техники моделирования и исследования как сам их моделей, так и продуктов, програм м ны х
реш ений.
      В ГОСТ Р 59453.1— 2021, ГОСТ Р 59453.2— 2021 и ГОСТ Р 59453.3— 2025 приводятся реком ен­
дации по разработке моделей управления доступом и по процессам вериф икации этих моделей. Кор­
ректная модель управления доступом является первы м звеном в цепи работ по вериф икации средств
защ иты инф орм ации в целом. В связи с этим настоящ ий стандарт устанавливает реком ендации по
организации работ по вериф икации средств защ иты инф орм ации, реализую щ их политики управления
доступом , а такж е по доказательству или дем онстрации того, что исследуем ое средство защ иты ин­
ф орм ации в действительности реализует ф орм альную модель управления доступом .
      П оскольку схемы реализации средств защ иты инф орм ации в различны х систем ах сущ ественно
различаю тся и не м огут быть сведены в единый архитектурны й шаблон, в данном стандарте реком ен­
дации даю тся в общ ем виде. С пособов конкретизации требований стандарта может бы ть несколько. В
каж дом конкретном случае разработчик долж ен вы брать наиболее подходящ ие техники м оделирова­
ния и вериф икации средства защ иты инф орм ации. Н еобходим ым требованием является лиш ь вы пол­
нение общ их реком ендаций, которые содерж ит данны й стандарт.




IV