Электронный каталог

Статья

Козачок, В.И.
Многоуровневая модель политики безопасности управления доступом операционных систем семейства Windows / Козачок В.И., Козачок А.В., Кочетков Е.В. // Вопросы кибербезопасности (электронная версия). – 2021. – №1. – С.41-56. - 557899. – На рус. яз.

Вопросы разработки более совершенного механизма разграничения доступа для защиты от скрытых каналов утечки информации по памяти в семействе операционных систем (ОС) Windows. Обострение проблемы отсутствия обязательного контроля целостности в ОС семейства Windows в связи с появлением так называемой "подрывной атаки" (Shatter attack), суть которой заключается в выполнении произвольного кода приложением с высокими привилегиями после получения системного сообщения от приложения с низкими привилегиями. Анализ моделей мандатного управления доступом и контроля целостности в ОС семейства Windows. Моделирование политики безопасности управления доступом для заданных свойств безопасности. Автоматическая верификация моделей. Использование для описания модели и спецификации к ней языка темпоральной логики действий Лэмпорта (TLA+), позволяющего произвести автоматическую верификацию модели относительно заданных свойств безопасности. Выводы. Реализация предложенного в настоящей модели многоуровневого управления доступом на основе уровней и категорий целостности и конфиденциальности в существующих ОС семейства Windows позволит ужесточить контроль над образованием информационных потоков при доступе субъектов к объектам, что повысит общий уровень защищенности информации, обрабатываемой в ОС.


Ключевые слова = АВТОМАТИЗАЦИЯ
Ключевые слова = АНАЛИЗ
Ключевые слова = ВЕРИФИКАЦИЯ
Ключевые слова = ДОСТУПНОСТЬ
Ключевые слова = ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
Ключевые слова = ИНФОРМАЦИОННЫЙ ПОТОК
Ключевые слова = ИНФОРМАЦИЯ
Ключевые слова = КАНАЛ
Ключевые слова = КОМПЬЮТЕРНАЯ СИСТЕМА
Ключевые слова = КОНТРОЛЬ
Ключевые слова = КОНФИДЕНЦИАЛЬНОСТЬ
Ключевые слова = ЛОГИКА
Ключевые слова = МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
Ключевые слова = МОДЕЛИРОВАНИЕ
Ключевые слова = МОДЕЛЬ
Ключевые слова = ОБЕСПЕЧЕНИЕ ЗАЩИТЫ И ОХРАНЫ
Ключевые слова = ОБЪЕКТ
Ключевые слова = ОПЕРАЦИОННАЯ СИСТЕМА
Ключевые слова = ПОЛИТИКА
Ключевые слова = ПРОБЛЕМА
Ключевые слова = ПРОГРАММИРОВАНИЕ
Ключевые слова = РОССИЯ
Ключевые слова = СИСТЕМА УПРАВЛЕНИЯ
Ключевые слова = СПЕЦИФИКАЦИЯ
Ключевые слова = СУБЪЕКТ
Ключевые слова = ЦЕЛОСТНОСТЬ
Ключевые слова = ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ. КОМПЬЮТЕРНЫЙ МИР
Новые поступления и ретрофонд = Статьи из периодических изданий. 2021 год.