Рис. 4. Структура абстрактного автомата — элемента полугруппы автоматов,
моделирующей объект защиты (
D
— элемент задержки (памяти автомата) на
такт автоматного времени)
необходимо сочетать детерминированные, вероятностные и нечеткие
конечные автоматы.
Автоматные модели процессов проектирования и угроз ИБ под-
систем САПР
. Как отмечалось в работе [3], перечень специфических
угроз, характерных для каждого иерархического уровня САПР, допол-
няется перечнем, характерным для любой информационной системы.
Известная обобщенная схема алгоритма построения модели угроз ИБ
в САПР в автоматной форме приведена на рис. 4.
Логическая функция, моделирующая комбинационную схему, име-
ет вид
X, Y
COMB
(
Z
)
−−−−−−→
Y
0
.
На каждом иерархическом уровне содержательные части
X, Y
, а
также логическая функция
X, Y
COMB
(
Z
)
−−−−−−→
Y
0
могут иметь свое фак-
тическое описание.
Различные варианты вычислительных моделей, основанных на
использовании конечных автоматов, и их взаимосвязь приведены в
табл. 7.
Таблица 7
Варианты вычислительных моделей, основанных на использовании конечных
автоматов
Вариант модели
Конечный автомат
Детерминированная
Порождающий
Недетерминированная
Недетерминированный порождающий
Вероятностная
Марковская модель
Нечеткая
Нечеткий порождающий
Вероятностный автомат
(ВА) определяется следующей совокуп-
ностью [9]:
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2013. № 3 69
