Дополнение к автоматной части (Ответы на экз вопросы (Криптография)), страница 2
Описание файла
Файл "Дополнение к автоматной части" внутри архива находится в следующих папках: Ответы на экз вопросы (Криптография), Ответы на билеты по криптографии. Документ из архива "Ответы на экз вопросы (Криптография)", который расположен в категории "". Всё это находится в предмете "информационная безопасность" из 7 семестр, которые можно найти в файловом архиве РТУ МИРЭА. Не смотря на прямую связь этого архива с РТУ МИРЭА, его также можно найти и в других разделах. Архив можно найти в разделе "к экзамену/зачёту", в предмете "информационная безопасность" в общих файлах.
Онлайн просмотр документа "Дополнение к автоматной части"
Текст 2 страницы из документа "Дополнение к автоматной части"
4. Задание автоматным отображением
Автоматы, у которых входные алфавиты совпадают- сравнимые.
Определение 2.1: Состояния sS, sS- l-эквивалентные- т.е. s s, если выходные последовательности при начальных состояниях s и s, соответственно, всегда совпадают на длине l: As( )=As( ) Xl; Если s s для l, то s и s- эквивалентны, т.е. s~s;
Определение 2.3:Фактор-автомат: =A/~=(X, S/~, Y, , )- приведенная форма автомата А, а число (А)=S/~-приведенный вес А (число нетривиальных состояний А). Если (А)=S ‘~’=’’=0, то А- минимальный (приведенный)
(у которого нет различных эквивалентных состояний). Число неэквивалентных состояний- число отображений автомата- S/~=[A]; S/~=l[A]
Определение 2.6: Min lN0: s,sS из условия s s следует: s~s (т.е. =~)- длина (степень) различимости: (A).
Диаметр сильносвязного автомата- число d(A)=max{l(s1,s2)s1,s2S}, Где l(s1,s2)- минимальная длина входной последовательности, переводящей s1s2 (l(s1,s2)=0), т.е. минимальный путь из вершины s1 в вершину s2 в графе автомата А.
Определение 2.12: A=(X, S, Y, h, f)- представляется автоматом А=(X, S, Y, h, f) (или А представляет А), если XX, sS sS: As( )=As( ) X*
Если А представляет А и А представляет А, то А~А, т.е. автоматы работают одинаково. X=X; Yf(S,X)=f(S,X)Y, т.е. Y=Y- т.е. подразумеваем для эквивалентных автоматов.
Определение 2.15: A и A- l-эквивалентные: A A- если sS sS: s s и наоборот, А А l[A]=l[A]
Определение 2.30: Состояния sS, sS- эквивалентные с задержкой k: s s, если для любых входных последовательностей 1Xk и X* выходные последовательности этих автоматов: As( 1, ), As( 1, )- совпадают, начиная с (k+1) знака или, другими словами: h(s, 1)~h(s, 1), 1Xk.
Определение 2.32: Минимальное l, при котором =- задержка эквивалентности А- (А).
Определение 2.37:Минимальное kN0: для А = = -задержка совпадения А: (A)
Определение 2.38:Гомоморфизм (, , ): AA- изоморфизм с задержкой. Если , - биекции (как у любого изоморфизма), - сюръективно и sS -1(s) все состояния в полном прообразе совпадают с задержкой.
Определение 4.14: A- левый (правый) обратный к А- если sS sS: As(As( ))= , X* (As (As( ))= , yY*)
Определение: обратимый если он имеет и левый и правый обратные.
Определение: инъективный (сюръективный) если все его автоматные отображения инъективны (сюръективны).
Определение: биективный, если он инъективный и сюръективный.
Определение 4.22: А- автомат без потери информации (БПИ), если s,sS; , X* справедлива импликация:
s~s, h (s)=h (s), As( )=As( ) => = ;
Определение 4.23: Состояние s автомата А- состояние с потерей информации, если 2 различные входные последовательности , для которых h (s)=h (s), As( )=As( );
Определение: Автомат – автомат БПИ-1, если он инъективен, т.е. s~s, As( )=As( ) => = (т.е. в определении 4.22 удалить 2-ую эквивалентность).
Определение: А- автомат БПИ-2, если в определении 4.22 удалить 1-ую эквивалентность.
Определение 4.32: : YbXa+1Y; a,bN0 определим автомат: M()=(X, YbXa, Y, h, f), h((y1,…,yb,x1,…,xa),x)=(y1,…,yb,(y1,…,yb,x1,…,xa,x),x2,…,xa,x);
f((y1,…,yb,x1,…,xa),x) =(y1,…,yb,x1,…,xa,x). В частности, при b=0 M()=R0()- проходная линия задержки длины a. При а=0 M()=R()
Определение 4.33: Функция памяти А- всякая функция : sS, =x1,…,xtXt, t1+max{a,b}; As( )=y1,…,yt => yt=(yt-b,…,yt-1,xt-a,…,xt) => Память автомата А- число m(A)= max{a,b};
Если , то m(A)= иначе m(А)<; Если m(A)<, то А- автомат с конечной памятью
Определение 4.37: Входная последовательность X*- диагностическая для А, если s,sS справедлива импликация: As( )=As( ) => s~s и последовательность - установочная, если Aa( )=As( ) => h(s, )~h(s, ) (эквивалентность финальных).
Определение 4.43: Длина единственности- l(A)- минимальное lN0: входная последовательность Xl- диагностическая для А. l(A)=, если таких l не существует.
Определение: Если в КС были искажены k знаков, то в случае, когда в последовательности число искажений >k => произошло распространение искажений, иначе- искажения не распространились.
] : X*Y*, сохраняя длины, т.е. (Xl)Yl, l ( , )- количество номеров несовпадающих членов в этих последовательностях, т.е. ( , )= {i= xi xi }, , Xl (( , ) - метрика Хемпинга)
Определение4.59 : Отображение , сохраняющее длины слов- распространяющее искажения не более чем в k раз, если lN; , Xl выполняется неравенство: (( ),( ))k*( , ) ; Если k=1 => - отображение, нераспространяющее искажений.
Шифр колонной замены- порожденный множ-вом подстановок {gl,tl,tN, tl}, gl,tG(X)Sx- (симметрическая группа подстановок), называется отображение : X*X*, определяемое по формуле:
(x1,…,xl)= gl,1(x1),…,gl,l(x1); (( )( ))=( , )
Шифр перестановки- порожденный множ-вом подстановок {pllN}, plSl, преобразование : X*X*, определяется равенством: (x1,…,xl)= ,…, ; (( ),( ))=( , ); {=> - тоже не распространяет искажений}
Определение 4.65: А- не распространяющее искажений по , если для sS, lN, =(x1,…,xl), =(x1,…,xl)Xl: xixi, i выполняется неравенство: (As( ),As( ))( , ) {При =x2 => автомат А- нераспространяющий искажений}
Самовосстановление в автоматах: - процесс перехода этого автомата из произвольных 2-х или более состояний в эквивалентные (т.е. в один и тот же класс эквивалентности) под действием одной и той же входной последовательности. Чем больше вероятность такого события- тем устойчивее автомат к случайным сбоям (во входной последовательности, в функции перехода…)
Определение: Матрица переходных состояний k-грамм- матрица вида Bk=(P( ), которая определяется так: - матрица размера SkSk ; - строки и столбцы- занумерованы векторами состояний длины k: k={ }; - на пересечении строки =(s1,…,sk) и столбца =(s1,…,sk) стоит вероятность: P( )=X-1{xXh(si,x)=si)} i,k.
Определение: (A): = -l0, a); -, б); - задержка самовосстановления в А
Определение 4.68: А- самовосстановления с задержкой n, если h(s, )~h(s, ) s,sS, Xn, причем, n- минимальное такое. Здесь n- задержка самовосстановления автомата А.
Определение 4.71: Два автомата: A и A с одним и тем же входным алфавитом- эквивалентные с задержкой n: A A, если для s автомата А s автомата А: s s и наоборот.
Определение: Внутреннее самовосстановление- (т.е. вместо ~,=)- это процесс перехода из 2-х состояний: s, s в одинаковые под действием одной и той же : h(s, )=h(s, )
Определение 4.75 (из определения 4.68): А- внутренний самовосстанавливающийся с задержкой n, если h(s, )=h(s, ) s, sS; Xn, причем: n- минимальное такое, что: =1- все состояния А совпадают с задержкой и =n – задержка совпадения.