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

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