/ : Rút tiền từtìịịứn hàng
Cĩửi íiè/ì :
s muốn gửi tiền cho ngân hàng B . s và B thực hiện : s gửi Ittp , s ,(m p ) , C|>, mR , So(mR ) ,Ỵp , CR , yR cho B
B xác nhận hai chữ ký của mình,đồng thời xác nhận các trả lời Yi» và yR là đúng đắn
B kiểm tra nip đã được tiêu chưa , nếu chưa thì chấp nhận đổng tiền,tăng tài khoản của s lên SI . Đổrrn thời lưu các số liệu (rrip ,C p ,Ỵ p ), (mR ,cR,yR) trong dữ liệu .
Nếu đổng tiền đã dược tiêu,thì ngân hàng dựa vào các số liệu kru giữ được và các số liệu mới nhận dược,sẽ phát hiện được ai là người tiêu tiền hai lần.
Trong các phần trên,Tôi đã trình bầy các giao thức từ đơn giản đến phức tạp để có thể xây dựng được một hệ thống thanh toán tiền mặt điện tử thoa mãn các yêu cầu đã đặt ra cho một hệ thống thanh toán. Từ sơ đổ chữ ký điện tử (2.2.2) đơn giản có the dựng lên được mô hình xác nhận chữ ký của ngân hàng đến sơ đổ chữ ký mũ (2.2.3), đảm bao tính ẩn danh của đồng tiền khi gửi đồng tiền cho ngân hàng ký xác nhạn . Đê đảm bảo cho hệ thống có thể thanh toán off-line , đảm bảo tính ẩn danh của người tiêu tiền,nhưng cũng phải đảm bảo phải phát hiện ra kẻ c ố tình tiêu tiền 2 lan (double spending) ,hệ thống ứng dụng giao thức kiểm thử Schnoor là một giao Ihức chứng mình khồng lộ tri (hức (Zero-Knowledge Proofs) để ngăn chặn vấn đổ đổ .Đê lìiểu rõ hơn về các yêu cầu về tính chuyển phân chia được (e) ,chuyển giao được của đồng tiền được trình bầy một cách khái quát trong các phần 2.2.6 , 2.2.7 . Trong phần sau,trình bẩy một ứng dụng cụ thể các giao thức trên xây dựng hệ thống thanh toán tiền mật diện tử .
P H Â N 3