Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 3 2021 год

DOI: 10.17587/prin.12.150-156
УДК: 519.7; 004.056
Об одной модели безопасного функционирования компьютерных систем
А. В. Галатенко, канд. физ.-мат. наук, вед. науч. сотр., Высшая школа экономики, Москва, agalatenko@hse.ru, В. А. Кузовихина, учитель, pletnyova_va@mail.ru, Новая школа, Москва

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

Ключевые слова: формальные модели безопасности, конечные автоматы, регулярные языки, кратные условные эксперименты
Стр. 150–156
Работа поддержана грантом РФФИ 18-07-01055