Эта публикация цитируется в 1 статье

Математические основы компьютерной безопасности

Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели

П. Н. Девянин

УМС Учебно-методического объединения по образованию в области информационной безопасности, г. Москва

Аннотация: В рамках мандатной сущностно-ролевой ДП-модели, ориентированной на реализацию в отечественной защищённой операционной системе специального назначения Astra Linux Special Edition, анализируются условия безопасности информационных потоков по памяти в смысле Белла–ЛаПадулы и мандатного контроля целостности.

Ключевые слова: компьютерная безопасность, формальная модель, информационный поток, Linux.

УДК: 004.94