О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB

Девянин, Петр Николаевич, Леонова, Мария Александровна

Дата публикации: 2021

Дата публикации в реестре: 2022-10-06T22:21:44Z

Аннотация:

Рассматриваются приемы согласованного описания мандатной сущностно-ролевой

Ключевые слова:
формальная модель управления доступом, верификация, требования доверия, Astra Linux Special Edition, операционная система специального назначения, Event-B, формальный метод

Тип: статьи в журналах

Источник: Прикладная дискретная математика. Приложение. 2021. № 14. С. 126-132

Связанные документы (рекомендация CORE)