Метою статті є розробка методики формального проектування комплексної системи захисту інформації в інформаційно-телекомунікаційних системах. В статті розглядаються методи формалізованого моделювання політики безпеки інформації та методики формалізованого опису інформаційно-телекомунікаційної системи та процесів обробки інформації.