Khóa luậ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

1. Mở đầu

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. 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ó. 

2. Nội dung

4. Tài liệu tham khảo

Andrew Neff, “Conducting a Universally Verifiable Electronic Election Using Homomorphic Encryption ”, VoteHere.net, November 2000 

Berry Schoenmakers,  “A brief Comparision of Cryptographic Schemes for Electronic  Voting”, Tartu, Estonia, May 17, 2004

Byoungcheon Lee, Kwangjo Kim,  “Receipt-free Electronic Voting through Collaboration of Voter and honest Verifier”

C. E. Shannon “Communication Theory of Secrecy Systems”, Bell Systems Tech. Jr. Vol 28, pages 656-715, 1949....