Проверка банком полученных электронных банкнот на состоятельность
Банк получает от абонента В ES(B?S)= ES(DB([DS(?N)+ES(??)]))
и выполняет следующие операции:
1. декодирует принятый код с помощью DS :
DS(ES(B?S))=DS(ES(DB([DS(?N)+ES(??)]))),
B?S = DB([DS(?N)+ES(??)]),
2. а затем декодировать с помощью EB:
EB(DB([DS(?N), ES(??)])) = DS(?N), ES(??),
3. ES(DS(?N), ES(??)) = ?N , ?? , проверяет, находится ли в базе данных идентификационный номер банкноты ??. Если такой номер находится в БД банка, то это значит, что банкнота однажды уже использовалась, то есть, предъявленная банкнота является копией. Если это не так, то банк извещает абонента В о том, что банкнота легитимна, и заносит на счет абонента В сумму ?N..