Аннотация доклада.

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

Будут представлены существующие на настоящее время отдельные решения на этом направлении, их преимущества и недостатки.

Предполагается рассмотрение алгоритмов генерации и анализа графов атак, оценки рисков реализации деструктивных воздействий, а также макета целевого программного комплекса и некоторых результатов тестовых испытаний.