[Luận văn] Phương pháp chứng minh không tiết lộ thông tin và ứng dụng trong giao dịch trên mạng máy tính

Ngày nay Internet đã trở thành một phần không thể thiếu trong mỗi người dân Việt Nam nói riêng cũng như mỗi người dân trên thế giới nói riêng. Thông tin không ngừng được trao đổi, mua bán,…trên mạng Internet, cũng chính vì lý do này mà việc bảo mật, đảm bảo an toàn thông tin đang là nhu cầu cấp thiết. Trước các yêu cầu cần thiết đó, lý thuyết về mật mã thông tin đã ra đời nhằm đảm bảo tính an toàn dữ liệu tại nơi lưu trữ cũng như khi dữ liệu được truyền trên mạng. 

Khoá luận này tập trung vào nghiên cứu các khái niệm cơ bản, cơ sở lý thuyết toán học modulo sử dụng trong bảo mật thông tin, các phƣơng pháp “chứng minh không tiết lộ thông tin” và đặc biệt là ứng dụng của “chứng minh không tiết lộ thông tin” trong bỏ phiếu thăm dò từ xa. 

Chứng minh không tiết lộ thông tin đã được nghiên cứu từ những năm 80, là phương pháp chứng minh không có nghĩa là “không để lộ thông tin” mà “để lộ thông tin ở mức ít nhất” về sự vật, sự việc cần chứng minh. Với việc “không để lộ” người xác minh sẽ không có nhiều hiểu biết về sự vật sự việc, họ chỉ thu được chút ít thông tin (coi như là không) về đặc điểm tính chất của nó. Ngành mật mã học luôn phát triển không ngừng, trong phạm vi khóa luận này, chúng tôi chỉ trình bày về một vấn đề nhỏ là phương pháp “chứng minh không tiết lộ thông tin” đồng thời tìm hiểu một số ứng dụng thực tế của cơ sở lý thuyết này.