Основная профессиональная образовательная программа высшего образования

Раздел 4. МОДЕЛИ БЕЗОПАСНОСТИ ИНФОРМАЦИОННЫХ ПОТОКОВ
Тема 7. Автоматная, программная и вероятностная модели безопасности информационных потоков
Автоматная модель безопасности информационных потоков. Программная модель контроля информационных потоков. Контролирующий механизм защиты. Вероятностная модель безопасности информационных потоков. Информационное невлияние.
Тема 8. Субъектно-ориентированная модель изолированной программной среды
Субъектно-ориентированная модель изолированной программной среды (ИПС). Объекты, функционально ассоциированные с субъектами. Мониторы безопасности обращений и порождения субъектов. Базовая теорема ИПС.
Раздел 5. МОДЕЛИ КОМПЬЮТЕРНЫХ СИСТЕМ С РОЛЕВЫМ УПРАВЛЕНИЕМ ДОСТУПОМ
Тема 9. Базовая модель ролевого управления доступом. Расширения базовой ролевой модели
Описание базовой модели ролевого управления доступом. Иерархия ролей. Механизм ограничений. Модель администрирования ролевого управления доступом. Администрирование множеств авторизованных ролей пользователей, прав доступа, которыми обладает роли, иерархии ролей. Модель мандатного ролевого управления доступом. Защита от угроз конфиденциальности и целостности информации.
Раздел 6. РАЗВИТИЕ ФОРМАЛЬНЫХ МОДЕЛЕЙ БЕЗОПАСНОСТИ КОМПЬЮТЕРНЫХ СИСТЕМ
Тема 10. Взаимосвязь положений и основные направления развития формальных моделей безопасности компьютерных систем
Взаимосвязь положений формальных моделей безопасности КС. Обзор семейства формальных моделей управления доступом и информационными потоками (ДП-моделей) КС с дискреционным, мандатным или ролевым управлением доступом. Проблема адекватности реализации модели безопасности в реальной КС.

Тематика практических занятий

1. 
   Мо­де­ли ХРУ и ТМД. Клас­си­че­ская и рас­ши­рен­ная мо­де­ли Take-Grant.
   
2. 
   Мо­дель ре­шет­ки мно­го­уров­не­вой безо­пас­но­сти. Клас­си­че­ская мо­дель Бел­ла-Ла­Па­ду­лы.
   
3. 
   Мо­де­ли ро­ле­во­го управ­ле­ния дос­ту­пом. Ие­рар­хия ро­лей и за­да­ние ог­ра­ни­че­ний в мо­де­ли ман­дат­но­го ро­ле­во­го управ­ле­ния дос­ту­пом.
   
4. 
   При­мер­ный пе­ре­чень во­про­сов для оп­ро­сов на прак­ти­че­ских за­ня­ти­ях:
   
5. 
   Ре­шет­ка мно­го­уров­не­вой безо­пас­но­сти.
   
6. 
   Мо­дель ХРУ. Эта­пы обос­но­ва­ния тео­ре­мы об ал­го­рит­ми­че­ской не­раз­ре­ши­мо­сти за­да­чи про­вер­ки безо­пас­но­сти сис­тем ХРУ.
   
7. 
   Мо­дель Take-Grant. При­ме­не­ние тео­рем о пе­ре­да­чи прав дос­ту­па.
   
8. 
   Рас­ши­рен­ная мо­дель Take-Grant. Пра­ви­ла де-юре и де-фак­то. При­ме­не­ние тео­ре­мы об ус­ло­ви­ях реа­ли­за­ции ин­фор­ма­ци­он­но­го по­то­ка.
   
9. 
   Рас­ши­рен­ная мо­дель Take-Grant. По­строе­ние за­мы­ка­ния гра­фа дос­ту­пов.
   
10. 
    Све­де­ние мо­де­ли ХРУ к мо­де­ли ТМД и на­обо­рот. Све­де­ние мо­де­ли Take-Grant к мо­де­лям ХРУ и ТМД.
    
11. 
    Мо­дель Бел­ла-Ла­Па­ду­лы. Обос­но­ва­ние тео­ре­мы БТБ. При­мер не­кор­рект­ной ин­тер­пре­та­ции свойств безо­пас­но­сти.
    
12. 
    Мо­дель Бел­ла-Ла­Па­ду­лы. Безо­пас­ность пе­ре­хо­дов.
    
13. 
    Мо­дель СВС. По­тен­ци­аль­ная мо­ди­фи­ка­ция сущ­но­сти.
    
14. 
    Мо­дель СВС. Безо­пас­ная сис­те­ма. ss-, *-, ds-свой­ст­ва безо­пас­но­сти.
    
15. 
    Ав­то­мат­ная мо­дель безо­пас­но­сти ин­фор­ма­ци­он­ных по­то­ков. Ин­фор­ма­ци­он­ное не­влия­ние. Про­грамм­ная мо­дель кон­тро­ля ин­фор­ма­ци­он­ных по­то­ков. Кон­тро­ли­рую­щий ме­ха­низм за­щи­ты и его эф­фек­тив­ность.
    
16. 
    Мо­дель ман­дат­но­го ро­ле­во­го управ­ле­ния дос­ту­пом. Обос­но­ва­ние тео­ре­мы об ин­фор­ма­ци­он­ных по­то­ках. ss- и *-свой­ст­ва безо­пас­но­сти.
    
17. 
    Ана­лиз в рам­ках ДП-мо­де­лей ин­фор­ма­ци­он­ных по­то­ков по па­мя­ти или по вре­ме­ни.
    

Трудоёмкость (з.е. / часы)