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


Пример КАМСИ - часть 2


Конечные автоматы А1 и  SS1 реализуют алгоритмы, которые могут быть заданы с помощью таблиц переходов.

Рассмотрим Table 1,  в которой приведены таблицы переходов конечных автоматов А1 и SS1.

Скругленная прямоугольная выноска: Состояние (А), в которое перейдет автомат при Р=1. На выходе установится Е=0.
Скругленная прямоугольная выноска: Название автомата

 


Скругленная прямоугольная выноска: Состояние,(А) в котором находится автомат А1
А1

P,E

P=0

P=1

A

B,0

A,0

B

A,1

B,1

(A)

SS1

E,P

E=0

E=1

S0

S1,1

S2,1

S1

S1,1

S2,1

S2

S3,0

S4,0

S3

S1,0

S2,0

S4

S3,1

S4,1

(B)

 

Table 1

Само название таблицы переходов показывает, что она описывает изменения, которые произойдут в состоянии автомата при изменении сигнала на его входе.

Таблица переходов имеет три столбца:

  • в первом столбце приведены состояния конечного автомата. В рассматриваемом примере это два состояния: А и В ([29]);
  • во втором столбце – записано имя состояния, в которое будет переход, при подаче на вход Р значения 0. Через  запятую записано значение, которое появится на выходе Е.

Например, если автомат А1 находится в состоянии А (строка А), и на его вход Р подается 0 (Р=0), то автомат А1 перейдет в состояние В (строка В) и на его выходе  Е установится значение 0 (это записано в виде В,0). Аналогично интерпретируется содержимое третьего столбца.

На   Рис. 3 (стр 38) показаны:

1.     Кодер и декодер:

  • кодер А1 (Table 1A); он задан таблицей переходов конечного автомата, на вход которого подаются входные биты, а на выходе устанавливаются значения выходных битов. Например, пусть автомат А1 находится в состоянии А (первая строка таблицы переходов). Если на его вход Р подать 1, то он останется в состоянии А, а на выходе появится 0. Если опять подать на вход 1,  то автомат останется в состоянии А, а на выходе появится 0. Обратите внимание: подали на вход  последовательность 11, а на выходе появилась последовательность 00. значит ли это, что автомат А1 инвертирует входные биты? Продолжим эксперимент и подадим на вход 0, автомат перейдет в состояние В, и на выходе появится значение 0. На Рис. 4 в строках (a), (b) и (c) показан весь процесс кодирования.



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



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