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

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

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