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

Целями освоения дисциплины «Модели безопасности компьютерных систем» являются:

• 
  обучить студентов принципам формального моделирования и анализа безопасности компьютерных систем (КС), реализующих управление доступом и информационными потоками, а также содействовать фундаментализации образования, формированию научного мировоззрения и развитию системного мышления.
  

Компетенции, формируемые в результате освоения дисциплины	Процесс изучения дисциплины направлен на формирование следующих компетенций: - способностью разрабатывать формальные модели политик безопасности, политик управления доступом и информационными потоками в компьютерных системах с учетом угроз безопасности информации (ОПК-9); - способностью проводить анализ и участвовать в разработке математических моделей безопасности компьютерных систем (ПК-4); - способностью участвовать в разработке системы защиты информации предприятия (организации) и подсистемы информационной безопасности компьютерной системы (ПК-8); - способностью строить математические модели для оценки безопасности компьютерных систем и анализировать компоненты системы безопасности с использованием современных математических методов (ПСК-2.3);
Знания, умения и навыки, получаемые в процессе изучения дисциплины	В результате освоения дисциплины студент должен знать: основные угрозы безопасности информации и модели нарушителя в КС; основные виды политик управления доступом и информационными потоками в КС; основные формальные модели дискреционного, мандатного, ролевого управления доступом, модели изолированной программной среды и безопасности информационных потоков; уметь: формализовать поставленную задачу; разрабатывать модели угроз и модели нарушителя безопасности КС; разрабатывать частные политики безопасности КС, в том числе, политики управления доступом и информационными потоками; владеть: методами и средствами выявления угроз безопасности КС; методами моделирования безопасности КС, в том числе, моделирования управления доступом и информационными потоками в КС.
Краткая характеристика учебной дисциплины (основные блоки и темы)