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

       

Сертификация банком изготовленных банкнот


Банк, приняв ?aS  от абонента А

1.      выполняет операцию

DS(?aS) = DS(ES([?N + EA(ES(??))])) > ?N + EA(ES(??)),

то есть, определяет значение номинала.

Обратите внимание, что индивидуальный номер банкноты банк прочитать не может.

2.      уменьшает банковский счет абонента А на величину ?N и увеличивает на эту сумму свой Эмиссионный фонд,

3.      кодирует ?N  и получает DS(?N),

4.      формирует конкатенацию  ?S=[ DS(?N) + EA(ES(??))],

5.       выполняет операцию EA(?S) = EA(DS(?N) +  EA(ES(??)))

и посылает EA(?S)  абоненту А.

Таким образом, абонент А получил подтвержденную банком банкноту EA(?S)  достоинством ?N.

Обратите  внимание, что,

  • если бы банк захотел соединить информацию этой конкретной банкноты с именем абонента А, то ему это не удалось бы, так как значение  ?? ему не известно,
  • банкнота ?S хранится у абонента А в виде EA(?S), а это значит, что
  •                                                              a.      ее никто, кроме абонента А не может прочитать,

                                                                 b.      никто, включая абонента А и банк не могут, порознь, изменить значение ?N. Это  могут сделать,  договорившись, совместно банк и абонент А, но в этом случае они могут решить задачу проще, переведя на счет абонента А любую сумму.

    Это значит, что никто не может ни украсть, ни изменить «наличность» абонента А.

     



    Содержание раздела