Асимметричный криптографический алгоритм на базе Конечно-Автоматной Модели


КАМСИ-композиция и КАМСИ-примитив - часть 2


Вторая часть Утверждения вытекает из того факта, что если верхняя часть тестирующей таблицы при перестановке переходов в одной строке таблицы не изменяется, то нижняя часть тестирующей таблицы также не изменяется, то есть, величина µ-задержки при перестановке переходов не изменяется.

Например, в Ошибка! Источник ссылки не найден.

таблицы переходов (a) и (b) получены перестановкой в строке А. Как следует из способа построения  тестирующей таблицы (с) (см. «Switching and Finite Automata Theory», Zvi Kohavi), каждому из них  соответствует одна и та же тестирующая  таблица Ошибка! Источник ссылки не найден.(с).

P,E1

P=0

P=1

A

B,0

A,0

B

A,1

B,1

(a)

P,E1

P=0

P=1

A

A,0

B,0

B

A,1

B,1

(b)

Е1,Р

Е1=0

У1=1

A

AB

B

AB

AB

-

-

(c)

?=2

Table 12

 

Утверждение 6 : «Инвертирование всех значений выходов автомата в таблице переходов КАМСИ сохраняет свойство КАМСИ и его тип».

Доказательство следует из того, что инвертирование всех значений равносильно перестановке столбцов P=0 и P=1 в тестирующей таблице, что не может изменить характеристики автомата.    

Например, в Ошибка! Источник ссылки не найден. в столбцах (А) и (В) в строках 000 и 100 расположены таблицы переходов, полученные инвертированием значений выходов, соответственно. Другие  строки таблицы получены последовательным применением операций, описанных в «Ошибка! Источник ссылки не найден.» и «Ошибка! Источник ссылки не найден.».

Таким образом, в Ошибка! Источник ссылки не найден.

(столбце А) приведены все варианты таблицы переходов 000, к которой применена операция «Ошибка! Источник ссылки не найден.», а в столбце В – операция «Ошибка! Источник ссылки не найден.».

Столбец А

Столбец В

P,E1

P=0

P=1

A

B,0

A,0

B

A,1

B,1

P,E1

P=0

P=1

A

B,1

A,1

B

A,0

B,0

000

100




Начало  Назад  Вперед



Книжный магазин