В работе обобщен опыт разработки методологии проектирования программно—технических механизмов обеспечения информационной безопасности автоматизированных систем различного класса и назначения. Приведены методы анализа и синтеза механизмов зашиты данных от несанкционированного доступа. Рассмотрены формализованные методы и модели повышения достоверности при обработке данных. Приведена методология решения задач обеспечения физической сохранности данных и доступности информационных ресурсов.