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




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


  • декодер  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]  (см. стр Ошибка! Закладка не определена.) приведено определение  конечно-автоматной модели  с памятью: «Машина М называется машиной с конечной памятью порядка µ, если µ

      есть наименьшее целое, такое что текущее состояние М (а значит, и значение на выходе) может быть определено однозначно из предшествующих µ значений выходов».




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