|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
О проблеме представления формальной модели политики безопасности операционных систем
П. Н. Девянин Федеральное учебно-методическое объединение высших учебных заведений России по образованию в области информационной безопасности
Аннотация:
В связи с начавшимся процессом внедрения ФСТЭК России «Требований безопасности информации к операционным системам» в работе анализируются пути выполнения требований функциональной компоненты ADV_SPM.1 «Формальная модель политики безопасности», в том числе по определению языка, глубины и детализации представления модели политики безопасности управления доступом и информационными потоками. При этом приводятся предложения по составу основных элементов модели, использованию для ее верификации инструментальных средств. Практическая возможность применения предлагаемых подходов рассматривается на примере представления описания и верификации МРОСЛ ДП-модели, как основы механизма управления доступом в ОССН Astra Linux Special Edition.
Ключевые слова:
информационная безопасность, политики безопасности, формальные модели.
Образец цитирования:
П. Н. Девянин, “О проблеме представления формальной модели политики безопасности операционных систем”, Труды ИСП РАН, 29:3 (2017), 7–16
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp218 https://www.mathnet.ru/rus/tisp/v29/i3/p7
|
Статистика просмотров: |
Страница аннотации: | 343 | PDF полного текста: | 255 | Список литературы: | 34 |
|