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

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

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


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




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

Труды института системного программирования РАН, 2017, том 29, выпуск 3, страницы 43–56
DOI: https://doi.org/10.15514/ISPRAS-2017-29(3)-4 (Mi tisp221) 		 
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

ADV_SPM — Формальные модели политики безопасности на практике

А. В. Хорошиловabcd, И. В. Щепетковb

a Московский физико-технический институт
b ИСП РАН
c ВМК МГУ
d НИУ ВШЭ
PDF полного текста (790 kB) Список цитирования (2)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2017-29(3)-4
Аннотация: В статье рассматривается семейство требований доверия к безопасности ADV_SPM «Моделирование политики безопасности», которое определяется стандартом ГОСТ Р ИСО/МЭК 15408-3-2013 «Критерии оценки безопасности информационных технологий. Часть 3. Компоненты доверия к безопасности». Обсуждаются задачи, решаемые этим семейством, и вопросы, которые возникают при попытке интерпретировать его требования. На простом примере представляется подход к формализации политик безопасности при помощи языка формальных спецификаций Event-B и инструментов платформы Rodin.
Ключевые слова: информационная безопасность, политики безопасности, формальные модели.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: А. В. Хорошилов, И. В. Щепетков, “ADV_SPM — Формальные модели политики безопасности на практике”, Труды ИСП РАН, 29:3 (2017), 43–56
Цитирование в формате AMSBIB
\RBibitem{KhoShc17}
\by А.~В.~Хорошилов, И.~В.~Щепетков
\paper ADV\_SPM — Формальные модели политики безопасности на практике
\jour Труды ИСП РАН
\yr 2017
\vol 29
\issue 3
\pages 43--56
\mathnet{http://mi.mathnet.ru/tisp221}
\crossref{https://doi.org/10.15514/ISPRAS-2017-29(3)-4}
\elib{https://elibrary.ru/item.asp?id=29438839}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp221
  • https://www.mathnet.ru/rus/tisp/v29/i3/p43
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:253
    PDF полного текста:157
    Список литературы:35
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024