ГОСТ Р 59453.1-2021

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

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




                                 НАЦИОНАЛЬНЫ Й                      ГОСТР
                                     СТАНДАРТ
                                   РОССИЙСКОЙ
                                                                    59453.1   —



                                    ФЕДЕРАЦИИ                       2021




                             Защита информации
                         ФОРМАЛЬНАЯ МОДЕЛЬ
                        УПРАВЛЕНИЯ ДОСТУПОМ
                                      Часть       1

                               Общие положения


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




                                              Москва
                                         С тандартинф орм
                                               2021




сертификат на краску

ГОСТ Р 59453.1—2021


                                       Предисловие

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

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

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

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



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




                                                          © Стандартинформ. оформление. 2021

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

ГОСТ Р 59453.1—2021


                                                                   Содержание

1 Область применения...................................................................................................................                        1
2 Нормативные ссылки.......................................................................................................................................... 1
3 Термины и определения......................................................................................................................................1
4 Общие положения..............................................................................................................................................4
5 Описание состояний в рамках формальноймодели управления доступом.............................................. 5
6 Описание правил перехода из состояний в состояния в рамках формальной модели управления
  доступом................................................................................................                                                    7
7 Доказательство выполнения условий безопасности..................................................................................... 9

ГОСТ Р 59453.1—2021


                                         Введение

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




IV