Вестник Московского университета. Серия 1: Математика. Механика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Вестн. Моск. ун-та. Сер. 1. Матем., мех.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Вестник Московского университета. Серия 1: Математика. Механика, 2021, номер 5, страницы 57–60 (Mi vmumm4428)  
Краткие сообщения

Автоматная модель проверки корректности атрибутной политики информационной безопасности в системах с конечным числом объектов

А. Л. Кузнецоваa, С. А. Афонинb

a Московский государственный технический университет имени Н. Э. Баумана
b Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
PDF полного текста (633 kB)
Список литературы:
PDF
HTML
Аннотация: Работа посвящена задаче проверки корректности политики информационной безопасности типа ABAC в случае систем с ограниченным числом объектов. При данных условиях задача сводится к проверке достижимости класса состояний в бесконечной переходной системе. Доказывается, что при условии автоматного задания политики доступа задача проверки ее корректности алгоритмически разрешима.
Ключевые слова: информационная безопасность, атрибутная модель доступа, корректность, конечный автомат, алгоритмическая разрешимость.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-07-01055
Работа выполнена при поддержке гранта РФФИ № 18-07-01055.
Поступила в редакцию: 21.10.2020
Англоязычная версия:
Moscow University Mathematics Bulletin, 2021, Volume 76, Issue 5, Pages 230–233
DOI: https://doi.org/10.3103/S002713222105003X
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.71
Образец цитирования: А. Л. Кузнецова, С. А. Афонин, “Автоматная модель проверки корректности атрибутной политики информационной безопасности в системах с конечным числом объектов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2021, № 5, 57–60; Moscow University Mathematics Bulletin, 76:5 (2021), 230–233
Цитирование в формате AMSBIB
\RBibitem{KuzAfo21}
\by А.~Л.~Кузнецова, С.~А.~Афонин
\paper Автоматная модель проверки корректности атрибутной политики информационной безопасности в системах с конечным числом объектов
\jour Вестн. Моск. ун-та. Сер.~1. Матем., мех.
\yr 2021
\issue 5
\pages 57--60
\mathnet{http://mi.mathnet.ru/vmumm4428}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4383511}
\zmath{https://zbmath.org/?q=an:1487.68069}
\transl
\jour Moscow University Mathematics Bulletin
\yr 2021
\vol 76
\issue 5
\pages 230--233
\crossref{https://doi.org/10.3103/S002713222105003X}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000750338400005}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85124294065}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmumm4428
  • https://www.mathnet.ru/rus/vmumm/y2021/i5/p57
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:73
    PDF полного текста:13
    Список литературы:18
    Первая страница:4
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024