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