• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Выразимость моделей безопасности take-grant и невлияния в рамках модели CBAC

Программная инженерия. 2020. Т. 11. № 1. С. 40-46.
Галатенко А.В., Плетнева В.

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