|
Прикладная дискретная математика. Приложение, 2014, выпуск 7, страницы 82–85
(Mi pdma140)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математические основы компьютерной безопасности
Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели
П. Н. Девянин УМС Учебно-методического объединения по образованию в области информационной безопасности, г. Москва
Аннотация:
В рамках мандатной сущностно-ролевой ДП-модели, ориентированной на реализацию в отечественной защищённой операционной системе специального назначения Astra Linux Special Edition, анализируются условия безопасности информационных потоков по памяти в смысле Белла–ЛаПадулы и мандатного контроля целостности.
Ключевые слова:
компьютерная безопасность, формальная модель, информационный поток, Linux.
Образец цитирования:
П. Н. Девянин, “Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели”, ПДМ. Приложение, 2014, № 7, 82–85
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma140 https://www.mathnet.ru/rus/pdma/y2014/i7/p82
|
|