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