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


         

инвертор кодера А1. Он задан


  • декодер  SS1 (Table 1B) – инвертор кодера А1. Он задан таблицей переходов конечного автомата, на вход которого подаются биты, полученные с выхода кодера Е. Так как SS1 – инвертор кодера, то на выходе декодера появляются значения Р (см. Рис. 3). Строки (d) и (e) Рис. 4 показывают процесс декодирования.










































































































  • Процесс кодирования-декодирования

    A1

    1

    1

    0

    1

    0

    0

    1

    1

    0

    0

    1

    0

    0

    1



    (a)


    A

    A

    A

    B

    B

    A

    B

    B

    B

    A

    B

    B

    A

    B

    B


    (b)



    0

    0

    0

    1

    1

    0

    1

    1

    1

    0

    1

    1

    0

    1


    (c)

    SS1


    S0

    S1

    S1

    S1

    S2

    S4

    S3

    S2

    S4

    S4

    S3

    S2

    S4

    S3

    S2

    (d)




    1

    1

    1

    1

    0

    1

    0

    0

    1

    1

    0

    0

    1

    0

    (e)

    Рис. 4
    Особенность кодера (КАМСИ) заключается в том, что
    • в его таблице переходов (см. Table 1А) есть состояния, переход из которых формирует одинаковые значения на выходе, независимо от сигнала на входе. Например, при переходе из состояния А и при Р=0 и при Р=1 на входе, значение на выходе Е равно 0. Это  обстоятельство затрудняет восстановление входного сигнала по значению на выходе (reverse engineering). Инвертор  (В) так же представляет собой КАМСИ.

    • В  строке  (e) таблицы (Рис. 4), исходный текст начинается с третьего  бита. Это равносильно тому, что закодированная входная последовательность появляется на выходе SS1 с задержкой, равной 2. Это означает, что для получения раскодированного текста целиком, в конце его следует дополнительно добавить, минимум, два бита, значения которых могут выбираться произвольно.

    • Следует  заметить, что не всякая таблица, похожая на рассмотренную таблицу переходов, является КАМСИ.
      Формализуем   понятия, которые были использованы в рассмотренном  примере.
      В работе [8]  (см. стр Ошибка! Закладка не определена.) приведено определение  конечно-автоматной модели  с памятью: «Машина М называется машиной с конечной памятью порядка µ, если µ
      есть наименьшее целое, такое что текущее состояние М (а значит, и значение на выходе) может быть определено однозначно из предшествующих µ значений выходов».

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