350 руб
Журнал «Системы высокой доступности» №2 за 2011 г.
Статья в номере:
Подходы к разработке формальных моделей управления доступом в защищенных операционных системах семейства LINUX
Ключевые слова: ДП-модель операционная система
Авторы:
П.Н. Девянин - д. т. н., доцент, ИКСИ, зам. зав. кафедрой. E-mail: peter_devyanin@hotmail.com В.Г. Проскурин - к. т. н., доцент, ИКСИ. E-mail: vadim_proskurin@hotmail.com
Аннотация:
Рассмотрены подходы к разработке новых формальных моделей дискреционного или ролевого управления доступом и информационными потоками (ДП-моделей) для защищенных операционных систем семейства Linux. Проанализированы направления развития и применения этих ДП-моделей для теоретического обоснования безопасности технических решений, реализуемых в защищенных операционных системах
Страницы: 93-96
Список источников
  1. План перехода федеральных органов исполнительной власти и федеральных бюджетных учреждений на использование свободного программного обеспечения на 2011-2015 годы // Правительство Российской Федерации. Распоряжение от 17 декабря 2010 г. № 2299-р.
  2. Девянин П.Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками. Учебное пособие для вузов. М.: Горячая линия. Телеком. 2011. 320 с.
  3. Девянин П.Н. Анализ в рамках базовой ролевой ДП-модели безопасности систем с простыми траекториями функционирования // Прикладная дискретная математика. 2010. № 1(7). С.16-36.
  4. Девянин П.Н. Обзор семейства ДП-моделей безопасности логического управления доступом и информационными потоками в компьютерных системах // Информационные технологии. 2010. № 5. С. 20-25.
  5. Девянин П.Н. Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах // Прикладная дискретная математика, 2011. № 1(11). С. 78-95.
  6. Проскурин В.Г. Антивирусная защита операционных систем штатными средствами // Материалы Четвертой международной научной конференции по проблемам безопасности и противодействия терроризму. Московский государственный университет им. М.В. Ломоносова. 30-31 октября 2008 г. Том 2. Материалы Седьмой общероссийской научной конференции «Математика и безопасность информационных технологий» (МаБИТ-2008). М.: МЦНМО. 2009. С. 248-254.