Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 1 2020 год

DOI: 10.17587/prin.11.40-46
УДК: 519.7; 004.056
Выразимость моделей безопасности take-grant и невлияния в рамках модели CBAC
A. В. Галатенко, канд. физ.-мат. наук, ст. науч. сотр., agalat@msu.ru, B. А. Плетнева, аспирант, pletnyova_va@mail.ru, МГУ имени М. В. Ломоносова

Исследованы вопросы вложимости классических моделей безопасности take-grant и невлияния в современную модель CBAC (Concept-Based Access Control). Под вложением понимается инъективное отображение, сохраняющее свойства безопасности и функциональные возможности системы. Основными результатами, представленными в настоящей статье, являются конструктивно доказанные теоремы о вложимости моделей.

Ключевые слова: формальные модели безопасности, модель CBAC, модель take-grant, модель невлияния, вложение моделей, сложность проверки безопасности
Стр. 40–46
Работа поддержана грантом РФФИ 18-07-01055