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


         

Вторая часть Утверждения вытекает из


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

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

таблицы переходов (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










Содержание  Назад  Вперед