ГОСТ Р 59453.2-2021

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

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




                               НАЦИОНАЛЬНЫЙ                       ГОСТР
                                   СТАНДАРТ
                                 РОССИЙСКОЙ
                                                                  59453.2—
                                  ФЕДЕРАЦИИ                       2021




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

                    Рекомендации по верификации
                формальной модели управления доступом


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




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




акт испытаний

ГОСТ Р 59453.2—2021


                                       Предисловие

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

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

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

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




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




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

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

ГОСТ Р 59453.2—2021


                                                                        Содержание

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

ГОСТ Р 59453.2—2021


                                         Введение

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




IV