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

Программная инженерия. 2021. № 3. С. 150–156.

Галатенко А. В., Кузовихина В. А.

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

Ключевые слова: конечные автоматы, finite automata, регулярные языки, regular languages, formal security models, формальные модели безопасности, multiple conditional experiments, кратные условные эксперименты