Рассмотрена задача исследования гарантоспособности человеко-машинной системы неоднородного состава и нахождения вероятности пребывания системы в полностью защищенном состоянии, вероятности пребывания системы в процессе отражения атаки определенного типа. Предложена полумарковская модель, описывающая реакцию системы на атаки различного типа. Проведено имитационное моделирование полумарковских процессов с непрерывным множеством состояний, в результате чего исследованы характеристики гарантоспособности с точки зрения контроля доступа. Полученные результаты могут быть использованы в системах поддержки принятия решений. Ключевые слова: гарантоспособность, человеко-машинная система, полумарковская модель, контроль доступа.
