C =E K1 (D K2 (E K1 (M )))
2.5.2Guillou-Quisquater (Nguyễn Hữu Bình)
Tiêu chuẩn mã hóa nâng cao
2.5.2Guillou-Quisquater (Nguyễn Hữu Bình)
Vào năm 1988 Guillou và Quisquater đã phát triển mô hình không kiến thức,nó có thể sử dụng cho chứng minh thư thông minh[29].Từ khi thẻ thông minh ra đời có rất nhiều hạn chế sức mạnh xử lý và bộ nhớ, điều quan trọng là giảm thiểu số lượng các giao thức chạy yêu cầu đưa ra bảo đảm hợp lý rằng một thẻ xác thực. Trong thực tế , giao thức không kiến thức của Guillou - Quisquater yêu cầu
chỉ một cái chạy và giảm thiểu các yêu cầu lưu trữ.Các mô hình không kiến thức thường được gọi là giao thức yêu cầu đáp ứng : người xác minh gửi một yêu cầu đối với thẻ, và rồi thẻ tính toán một phản ứng và gửi nó trở lại để xác minh.
Trong giao thức Guillou - Quisquater , thẻ thông minh ( SC ) có các thông số sau: J giấy ủy nhiệm(công khai).
B khó bí mật.
Số nguyên v và modul n( một số tổng hợp với bí mật fac - khoản tham chiếu được tạo ra và được biết đến một cơ quan có thẩm quyền chứng thực ) được công khai thông số.Số mũ v công khai có thể là,với ví dụ,217+1.B có thể chọn trong cách sau:
JBv≡ 1 mod n
R là số bất kỳ,tốt như d(0<d<v-1).Bây giờ V cần tính T’: T’=Dv Jd mod n
Và xác minh xem đồng dư sau đây đúng: T≡ T’ mod n
Nếu thẻ là xác thực,nó phải giữ đúng bởi vì
T’=DvJdmod n =(rBd)vJv mod n =rvBdvJdmod n =rv(JBv)d mod n =rvmod n=T
Từ khi B chọn theo cách JBv=1mod n.Nếu giao thức thành công,xác suất thẻ trở thành xác thực là 1/v.Giao thức không kiến thức này được sử dụng như cơ sở cho khuynh hướng của kỹ thuật chữ khý số tiêu chuẩn ISO [30].