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

Труды института системного программирования РАН.

Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.

2020. Т. 32, вып. 1, С. 7–26. DOI: 10.15514/ISPRAS-2020-32(1)-1.

Перейти к источнику

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