В рамках мандатной сущностно-ролевой ДП-модели, ориентированной на реализацию в отечественной защищённой операционной системе специального назначения Astra Linux Special Edition, анализируются условия безопасности информационных потоков по памяти в смысле Белла - ЛаПадулы и мандатного контроля целостности.
Скачать электронную версию публикации
Загружен, раз: 557
- Title Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели
- Headline Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 7 (Приложение)
- Date:
- DOI
Ключевые слова
access control, information flow, formal model, computer security, Linux, информационный поток, формальная модель, компьютерная безопасностьАвторы
Ссылки
Операционные системы Astra Linux. http://www.astra-linux.ru/.
Девянин П. Н. Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux // Прикладная дискретная математика. 2013. №4(22). С. 22-40.
Девянин П. Н. Адаптация мандатной сущностно-ролевой ДП-модели к условиям функционирования ОС семейства Linux // Системы высокой доступности. 2013. №3. С. 98-102.
Девянин П. Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками: учеб. пособие для вузов. 2-е изд., испр. и доп. М.: Горячая линия - Телеком, 2013. 338 с.
Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели | Прикладная дискретная математика. 2014. № 7 (Приложение).
Скачать полнотекстовую версию
Загружен, раз: 1917