Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики

Учебные издания

Математические модели и методы формального проектирования систем защиты информационных систем. Учебное пособие

Математические модели и методы формального проектирования систем защиты информационных систем. Учебное пособие

Щеглов А.Ю., Щеглов К.А. Математические модели и методы формального проектирования систем защиты информационных систем. Учебное пособие - Санкт-Петербург: СПб: Университет ИТМО, 2015, 2015. - 93 с. - экз.

Аннотация :

В учебном пособии приводится математический аппарат, который может использоваться для формального проектирования систем защиты информационных систем, реализуемого с целью определения требований к оптимальному набору решаемых задач защиты и расчета значений параметров и характеристик безопасности проектируемой системы защиты. Рассматриваются методы моделирования характеристик безопасности и математические модели угрозы уязвимости, угрозы атаки, угрозы безопасности информационной системы в целом, математическая модель потенциального нарушителя безопасности, основанные на использовании в качестве элемента информационной безопасности угрозы уязвимости. Представлены интерпретации угрозы атаки и угрозы безопасности информационной системы соответствующими схемами резервирования, позволяющие определить критерии оптимальности системы защиты, используемые при ее проектировании. Исследованы вопросы резервирования элементов информационных систем в области информационной безопасности, показаны фундаментальные противоречия задач и методов резервирования, используемых для повышения уровня надежности и безопасности информационной системы, пути их решения. Материал пособия разбит на 3 раздела, введение и заключение.

Описание :

Пособие может быть использовано при подготовке магистров по направлениям 09.04.04 «ПРОГРАММНАЯ ИНЖЕНЕРИЯ», 09.04.01 “ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА”, а также инженеров и аспирантов.

PDF :

Название : Математические модели и методы формального проектирования систем защиты информационных систем. Учебное пособие Скачать PDF (1399.36 Кб)