М.: Горячая линия - Телеком, 2000 г. — 452 с., ил.
Изложены результаты исследований, обобщающие отечественный и зарубежный опыт в области разработки нормативных, технических и практических положений технологии построения специальных защищенных информационных систем. Описываются основные положения базовых стандартов безопасности информационных технологий, исследуются нарушения информационной безопасности, рассматриваются формальные модели безопасности и принципы их использования в системах обработки информации, анализируются существующие архитектуры защищенных систем.
Изложены результаты исследований, обобщающие отечественный и зарубежный опыт в области разработки нормативных, технических и практических положений технологии построения специальных защищенных информационных систем. Описываются основные положения базовых стандартов безопасности информационных технологий, исследуются нарушения информационной безопасности, рассматриваются формальные модели безопасности и принципы их использования в системах обработки информации, анализируются существующие архитектуры защищенных систем.