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


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

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




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



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