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

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