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