Luận Văn Thạc Sĩ: Nghiên Cứu Chữ Ký Đặc Biệt Dùng Trong Bỏ Phiếu Điện Tử

Luận văn thạc sĩ VNU UET nghiên cứu chữ ký đặc biệt trong bỏ phiếu điện tử, góp phần nâng cao tính bảo mật và minh bạch trong quy trình.

• Tác giả: Lại Thị Kim Chinh
• Người hướng dẫn: PGS.TS Trịnh Nhật Tiến
• Trường học: Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội
• Chuyên ngành: Công nghệ Thông tin
• Đề tài: Tìm Hiểu, Nghiên Cứu Một Số Chữ Ký Đặc Biệt Dùng Trong Bỏ Phiếu Điện Tử
• Loại tài liệu: Luận văn thạc sĩ
• Năm xuất bản: 2014
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI MỞ ĐẦU
• 1. CHƯƠNG 1: MỘT SỐ KHÁI NIỆM CƠ BẢN
• 1.1. CÁC KHÁI NIỆM CƠ SỞ
• 1.1.1. Một số khái niệm trong số học
• 1.1.2. Số nguyên tố
• 1.1.3. Nguyên tố cùng nhau
• 1.1.4. Đồng dư Mô-đun (Modulo)
• 1.1.5. Ước số - Bội số
• 1.2. Một số khái niệm trong đại số
• 1.2.1. Cấu trúc nhóm
• 1.2.2. Nhóm hữu hạn
• 1.2.3. Nhóm chu kỳ (Cyclic)
• 1.2.4. Khái niệm tập thặng dư thu gọn theo modulo
• 1.2.5. Phần tử nghịch đảo đối với phép nhân
• 1.2.6. Khái niệm Lô-ga-rit rời rạc
• 1.3. Khái niệm mã hóa dữ liệu
• 1.3.1. Hệ mã hóa
• 1.3.2. Mã hóa và giải mã
• 1.3.3. Phân loại hệ mã hóa
• 1.3.4. Hệ mã hóa khóa đối xứng
• 1.3.5. Hệ mã hóa khóa công khai
• 2. MỘT SỐ LOẠI CHỮ KÝ ĐẶC BIỆT
• 2.1. CHỮ KÝ MÙ RSA
• 2.1.1. Khái niệm chữ ký mù
• 2.1.2. Sơ đồ chữ ký mù RSA
• 2.2. Khái niệm về chữ ký nhóm (Groups Signature)
• 2.2.1. Những đặc điểm của chữ ký nhóm
• 2.2.2. Hiệu quả của chữ ký nhóm
• 2.2.3. Việc đảm bảo an ninh đối với chữ ký nhóm
• 2.2.4. Sơ đồ chữ ký nhóm thứ nhất
• 2.2.5. Sơ đồ chữ ký nhóm thứ hai
• 2.2.6. Sơ đồ chữ ký nhóm thứ ba
• 3. ỨNG DỤNG MỘT SỐ LOẠI CHỮ KÝ ĐẶC BIỆT TRONG HỆ THỐNG BỎ PHIẾU TỪ XA
• 3.1. VẤN ĐỀ BỎ PHIẾU TỪ XA
• 3.1.1. Khái niệm bỏ phiếu từ xa
• 3.1.2. Tổ chức bỏ phiếu từ xa
• 3.1.3. Chuẩn bị hệ thống bỏ phiếu
• 3.1.4. Quy trình bỏ phiếu từ xa
• 3.2. BÀI TOÁN VỀ AN TOÀN THÔNG TIN TRONG BỎ PHIẾU TỪ XA
• 3.2.1. Giai đoạn Đăng ký bỏ phiếu
• 3.2.2. Giai đoạn bỏ phiếu
• 3.2.3. Giai đoạn kiểm phiếu
• 3.3. PHƯƠNG PHÁP GIẢI QUYẾT CÁC BÀI TOÁN VỀ THÔNG TIN TRONG BỎ PHIẾU TỪ XA
• 3.3.1. Bài toán trong Giai đoạn đăng ký bỏ phiếu
• 3.3.2. Bài toán trong giai đoạn bỏ phiếu
• 3.3.3. Bài toán trong Giai đoạn Kiểm phiếu
• 3.3.4. Bài toán trong kiểm tra phiếu của người XMTT
• 3.3.5. Kỹ thuật trộn các lá phiếu (mixing the votes)
• 4. THỬ NGHIỆM CHƯƠNG TRÌNH KÝ MÙ RSA
• 4.1. BÀI TOÁN LẬP TRÌNH
• 4.2. CẤU HÌNH HỆ THỐNG
• 4.3. MÔ TẢ HOẠT ĐỘNG
• 4.3.1. Chức năng ký mù lên một số
• 4.3.2. Chức năng ký mù lên một văn bản
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng Quan Về Nghiên Cứu Chữ Ký Đặc Biệt Trong Bỏ Phiếu Điện Tử

Nghiên cứu chữ ký đặc biệt trong bỏ phiếu điện tử là một lĩnh vực quan trọng trong công nghệ thông tin. Chữ ký số, đặc biệt là chữ ký mù và chữ ký nhóm, đóng vai trò quan trọng trong việc đảm bảo tính an toàn và bảo mật cho quy trình bỏ phiếu. Việc áp dụng các công nghệ này không chỉ giúp bảo vệ thông tin cá nhân mà còn nâng cao tính minh bạch trong các cuộc bầu cử.

1.1. Khái Niệm Về Chữ Ký Đặc Biệt Trong Bỏ Phiếu Điện Tử

Chữ ký đặc biệt trong bỏ phiếu điện tử bao gồm chữ ký mù và chữ ký nhóm. Chữ ký mù cho phép người dùng ký mà không tiết lộ thông tin về nội dung, trong khi chữ ký nhóm cho phép một nhóm người ký mà không tiết lộ danh tính của từng thành viên.

1.2. Tầm Quan Trọng Của Chữ Ký Đặc Biệt Trong Bỏ Phiếu

Chữ ký đặc biệt giúp đảm bảo an ninh trong bỏ phiếu điện tử. Nó bảo vệ thông tin cá nhân của cử tri và ngăn chặn gian lận. Việc sử dụng chữ ký số cũng giúp tăng cường tính hợp lệ của các lá phiếu.

II. Vấn Đề An Ninh Trong Bỏ Phiếu Điện Tử Thách Thức Và Giải Pháp

Bỏ phiếu điện tử đối mặt với nhiều thách thức về an ninh. Các vấn đề như gian lận, mất mát dữ liệu và tấn công mạng có thể ảnh hưởng đến tính hợp lệ của cuộc bầu cử. Việc nghiên cứu và áp dụng các giải pháp bảo mật là cần thiết để đảm bảo an toàn cho quy trình bỏ phiếu.

2.1. Các Thách Thức An Ninh Trong Bỏ Phiếu Điện Tử

Các thách thức an ninh bao gồm tấn công từ chối dịch vụ (DDoS), tấn công vào hệ thống lưu trữ dữ liệu và các lỗ hổng bảo mật trong phần mềm. Những vấn đề này có thể dẫn đến việc làm giả lá phiếu hoặc thay đổi kết quả bầu cử.

2.2. Giải Pháp Bảo Mật Cho Bỏ Phiếu Điện Tử

Giải pháp bảo mật bao gồm việc sử dụng công nghệ blockchain để lưu trữ và xác minh các lá phiếu. Công nghệ này giúp đảm bảo tính toàn vẹn của dữ liệu và ngăn chặn việc thay đổi thông tin. Ngoài ra, việc áp dụng các phương pháp mã hóa mạnh mẽ cũng là một giải pháp hiệu quả.

III. Phương Pháp Nghiên Cứu Chữ Ký Mù Và Chữ Ký Nhóm Trong Bỏ Phiếu Điện Tử

Nghiên cứu chữ ký mù và chữ ký nhóm là một phần quan trọng trong việc phát triển hệ thống bỏ phiếu điện tử an toàn. Các phương pháp này không chỉ giúp bảo vệ thông tin cá nhân mà còn đảm bảo tính minh bạch và công bằng trong quy trình bầu cử.

3.1. Phương Pháp Nghiên Cứu Chữ Ký Mù

Chữ ký mù cho phép người dùng ký mà không tiết lộ thông tin về nội dung. Phương pháp này sử dụng các thuật toán mã hóa để đảm bảo rằng chỉ có người nhận mới có thể xác minh chữ ký mà không biết nội dung của nó.

3.2. Phương Pháp Nghiên Cứu Chữ Ký Nhóm

Chữ ký nhóm cho phép một nhóm người ký mà không tiết lộ danh tính của từng thành viên. Phương pháp này sử dụng các thuật toán phức tạp để đảm bảo rằng chỉ có các thành viên trong nhóm mới có thể xác minh chữ ký.

IV. Ứng Dụng Thực Tiễn Của Chữ Ký Đặc Biệt Trong Bỏ Phiếu Điện Tử

Chữ ký đặc biệt đã được áp dụng trong nhiều hệ thống bỏ phiếu điện tử trên thế giới. Việc sử dụng chữ ký mù và chữ ký nhóm không chỉ giúp bảo vệ thông tin cá nhân mà còn nâng cao tính minh bạch và công bằng trong các cuộc bầu cử.

4.1. Các Hệ Thống Bỏ Phiếu Điện Tử Đang Sử Dụng Chữ Ký Đặc Biệt

Nhiều quốc gia đã áp dụng chữ ký mù và chữ ký nhóm trong hệ thống bỏ phiếu điện tử của họ. Các hệ thống này giúp đảm bảo tính an toàn và bảo mật cho quy trình bầu cử.

4.2. Kết Quả Nghiên Cứu Về Ứng Dụng Chữ Ký Đặc Biệt

Nghiên cứu cho thấy việc áp dụng chữ ký đặc biệt trong bỏ phiếu điện tử đã giúp giảm thiểu gian lận và nâng cao tính minh bạch. Các cử tri cảm thấy an tâm hơn khi biết rằng thông tin của họ được bảo vệ.

V. Kết Luận Về Nghiên Cứu Chữ Ký Đặc Biệt Trong Bỏ Phiếu Điện Tử

Nghiên cứu chữ ký đặc biệt trong bỏ phiếu điện tử là một lĩnh vực quan trọng và cần thiết. Việc áp dụng các công nghệ này không chỉ giúp bảo vệ thông tin cá nhân mà còn nâng cao tính minh bạch và công bằng trong các cuộc bầu cử. Tương lai của bỏ phiếu điện tử sẽ phụ thuộc vào việc phát triển và cải tiến các phương pháp bảo mật này.

5.1. Tương Lai Của Chữ Ký Đặc Biệt Trong Bỏ Phiếu Điện Tử

Tương lai của chữ ký đặc biệt trong bỏ phiếu điện tử sẽ phụ thuộc vào sự phát triển của công nghệ và các quy định pháp lý. Việc cải tiến các phương pháp bảo mật sẽ giúp nâng cao tính an toàn cho quy trình bỏ phiếu.

5.2. Những Xu Hướng Mới Trong Nghiên Cứu Chữ Ký Đặc Biệt

Các xu hướng mới trong nghiên cứu chữ ký đặc biệt bao gồm việc áp dụng trí tuệ nhân tạo và học máy để cải thiện tính an toàn và hiệu quả của các hệ thống bỏ phiếu điện tử.

Trích đoạn nội dung tài liệu

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ LẠI THỊ KIM CHINH TÌM HIỂU, NGHIÊN CỨU MỘT SỐ CHỮ KÝ ĐẶC BIỆT DÙNG TRONG BỎ PHIẾU ĐIỆN TỬ LUẬN VĂN THẠC SĨ Hà Nội - 2014 LUAN VAN CHAT LUONG download : add [e-mail] ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ LẠI THỊ KIM CHINH TÌM HIỂU, NGHIÊN CỨU MỘT SỐ CHỮ KÝ ĐẶC BIỆT DÙNG TRONG BỎ PHIẾU ĐIỆN TỬ Ngành: Công nghệ Thông tin Chuyên ngành: Hệ thống Thông tin Mã số : 60.04 LUẬN VĂN THẠC SĨ NGƢỜI HƢỚNG DẪN KHOA HỌC: PGS.TS Trịnh Nhật Tiến Hà Nội - 2014 LUAN VAN CHAT LUONG download : add [e-mail] 3 LỜI CAM ĐOAN Tôi xin cam đoan toàn bộ nội dung bản luận văn “Tìm hiểu, nghiên cứu một số chữ ký đặc biệt dùng trong bỏ phiếu điện tử” là do tôi tự sƣu tầm, tra cứu và tìm hiểu theo tài liệu tham khảo và làm theo hƣớng dẫn của ngƣời hƣớng dẫn khoa học. Nội dung bản luận văn chƣa từng đƣợc công bố hay xuất bản dƣới bất kỳ hình thức nào và cũng không đƣợc sao chép từ bất kỳ một công trình nghiên cứu nào. Các nguồn lấy từ tài liệu tham khảo đều đƣợc chú thích rõ ràng, đúng quy định. Nếu sai tôi xin hoàn toàn chịu trách nhiệm. Hà nội, tháng 07 năm 2014 Ngƣời cam đoan Lại Thị Kim Chinh LUAN VAN CHAT LUONG download : add [e-mail] 4 LỜI MỞ ĐẦU Luận văn tiến hành trình bày hai loại chữ ký số: chữ ký mù và chữ ký nhóm. Sau đó dựa vào kết quả nghiên cứu để áp dụng giải quyết một số vấn đề mất an toàn, an ninh trong quy trình bỏ phiếu điện tử. Các nội dung cơ bản của luận văn có cấu trúc nhƣ sau: Chương 1. Một số khái niệm cơ bản Trình bày một số khái niệm về số học, lý thuyết mật mã, và chữ ký số. Một số loại chữ ký đặc biệt Trình bày chi tiết về khái niệm, sơ đồ chữ ký số mù RSA, ví dụ minh họa và khái niệm, sơ đồ chữ ký của ba dạng chữ ký số nhóm, hiệu quả của mỗi loại chữ ký, vấn đề mở chữ ký nhóm, nhận xét về chữ ký nhóm. Ứng dụng một số loại chữ ký đặc biệt trong bỏ phiếu từ xa Trình bày khái quát về bỏ phiếu từ xa, quy trình bỏ phiếu từ xa, một số vấn đề mất an toàn, an ninh trong quy trình bỏ phiếu từ xa, cách giải quyết các vấn đề nêu trên. Thử nghiệm chữ ký mù RSA Trình bày bài toán lập trình để xây dựng hai chƣơng trình ký số mù RSA lên một số và lên một văn bản ngắn.Hƣớng dẫn sử dụng hai chƣơng trình. LUAN VAN CHAT LUONG download : add [e-mail] 5 BẢNG DIỄN GIẢI CÁC CHỮ VIẾT TẮT STT CHỮ VIẾT TẮT DIỄN GIẢI 1 BCNN Bội chung nhỏ nhất 2 UCNN Ƣớc chung nhỏ nhất 3 UCLN Ƣớc chung lớn nhất 4 RSA Ronald Rivest, Adi Shamir và Leonard Adleman. 5 DSS Digital Signature Standard 6 KB Ki lô byte 7 MB Mê ga byte 8 MD Message-Digest algorithm Message-Digest algorithm 4, Message-Digest 9 MD4, MD5 algorithm 5 10 SHA Secure Hash Algorithm 11 CT1, CT2, CT3 Cử tri 1, Cử tri 2, Cử tri 3 12 KP1, KP2, KP3 Kiểm phiếu 1, Kiểm phiếu 2, Kiểm phiếu 3 13 ĐH Điều hành 14 ĐK Đăng ký 15 KT Kiểm tra 16 KP Kiểm phiếu 17 CMT Chứng minh thƣ 18 TPD Trusted Public Directory 19 XMTT Xác minh trung thực LUAN VAN CHAT LUONG download : add [e-mail] 6 DANH MỤC HÌNH VẼ Hình 1. Sơ đồ khối một hệ truyền tin mật . Quy trình bỏ phiế u điê ̣n tƣ̉ . Quy trình đăng ký bỏ phiếu . Quy trình bỏ phiếu . Quy trình kiểm phiếu . Ví dụ minh họa chứng minh không tiết lộ thông tin . Hƣớng dẫn khởi động chƣơng trình ký mù RSA. Giao diện ký mù RSA trên một số . Làm mù số cần ký . Ký mù lên một số . Tách chữ ký xóa mù. Giao diện của chức năng ký mù lên văn bản . Giao diện chức năng tạo khóa .9 Nội dung thông điệp cần làm mù . Giao diện chức năng làm mù thông điệp . Nội dung thông điệp mù . Giao diện chức năng ký lên văn bản mù. Thông điệp mù đã đƣợc ký . Giao diện chức năng tách chữ ký. Thông điệp đã đƣợc tách chữ ký. Giao diện chức năng lấy lại bản rõ (xóa mù) . Thông điệp đã đƣợc xóa mù .73 LUAN VAN CHAT LUONG download : add [e-mail] 7 DANH MỤC BẢNG BIỂU Bảng 1. Ví dụ sử dụng thuật toán Euclide mở rộngđể tìm phần tử nghịch đảo 17 Bảng 1. Thời gian chạy của các lớp thuật toán khác nhauError! Bookmark not defined. Giao thức Cử tri chứng minh lá phiếu hợp lệ . Chứng minh lá phiếu đã làm mù hoặc mã hóa hợp lệ .58 LUAN VAN CHAT LUONG download : add [e-mail] 8 MỤC LỤC LỜI CAM ĐOAN . 1 LỜI MỞ ĐẦU . MỘT SỐ KHÁI NIỆM CƠ BẢN . CÁC KHÁI NIỆM CƠ SỞ . Một số khái niệm trong số học . Số nguyên tố . Nguyên tố cùng nhau . Đồng dƣ Mô-đun (Modulo) . Ƣớc số - Bội số . Một số khái niệm trong đại số .Cấu trúc nhóm . Nhóm hữu hạn . Nhóm chu kỳ (Cyclic ) . Khái niệm mã hóa dữ liệu . Phân loại hệ mã hóa. Hệ mã hóa khóa đối xứng. Hệ mã hóa khóa công khai . Một số hệ mã hóa cụ thể . Khái niệm chữ ký số . Phân loại chữ ký số . Phân loại chữ ký theo đặc trƣng kiểm tra chữ ký . Phân loại chữ ký theo mức an toàn . Phân loại chữ ký theo ứng dụng đặc trƣng .26 LUAN VAN CHAT LUONG download : add luanvanchat@agmail. So sánh chữ ký thông thƣờng và chữ ký số. Tạo đại diện tài liệu và hàm băm . Một số vấn đề với chữ ký số . Cách giải quyết các vấn đề trên . Tổng quan về hàm băm . MỘT SỐ LOẠI CHỮ KÝ ĐẶC BIỆT . CHỮ KÝ MÙ RSA . Khái niệm chữ ký mù . Sơ đồ chữ ký mù RSA . Khái niệm về chữ ký nhóm(Groups Signature) . Những đặc điểm của chữ ký nhóm . Hiệu quả của chữ kýnhóm . Việc đảm bảo an ninh đối với chữ ký nhóm. Sơ đồ chữ ký nhóm thứ nhất . Sơ đồ chữ ký nhóm thứ hai . Sơ đồ chữ ký nhóm thứ ba . ỨNG DỤNG MỘT SỐ LOẠI CHỮ KÝ ĐẶC BIỆT TRONG HỆ THỐNG BỎ PHIẾU TỪ XA. VẤN ĐỀ BỎ PHIẾU TỪ XA . Khái niệm bỏ phiếu từ xa . Tổ chức bỏ phiếu từ xa . Chuẩn bị hệ thống bỏ phiếu . Quy trình bỏ phiếu từ xa. BÀI TOÁN VỀ AN TOÀN THÔNG TIN TRONG BỎ PHIẾU TỪ XA . Giai đoạn Đăng ký bỏ phiếu . Giai đoạn bỏ phiếu . Giại đoạn kiểm phiếu . PHƢƠNG PHÁP GIẢI QUYẾT CÁC BÀI TOÁN VỀ THÔNG TIN TRONG BỎ PHIẾU TỪ XA . Bài toán trong Giai đoạn đăng ký bỏ phiếu . Bài toán trong giai đoạn bỏ phiếu . Bài toán trong Giai đoạn Kiểm phiếu. 54 LUAN VAN CHAT LUONG download : add luanvanchat@agmail. Bài toán trong kiểm tra phiếu của ngƣời XMTT. Kỹ thuật trộn các lá phiếu (mixing the votes) . THỬ NGHIỆM CHƢƠNG TRÌNH KÝ MÙ RSA . BÀI TOÁN LẬP TRÌNH . CẤU HÌNH HỆ THỐNG . MÔ TẢ HOẠT ĐỘNG . Chức năng ký mù lên một số . Chức năng ký mù lên một văn bản . 74 TÀI LIỆU THAM KHẢO . 75 LUAN VAN CHAT LUONG download : add [e-mail] 11 Chương 1. MỘT SỐ KHÁI NIỆM CƠ BẢN 1. CÁC KHÁI NIỆM CƠ SỞ 1. Một số khái niệm trong số học 1. Số nguyên tố 1/.Khái niệm: Số nguyên tố là số tự nhiên chỉ chia hết cho 1 và chính nó. Ngoài ra nókhông chia hết cho bất cứ số nào khác. Số 0 và1không đƣợc coi là số nguyên tố. 2/ Ví dụ: Các số nguyên tố từ 2 đến 100:2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97 Số 2 là số nguyên tố nhỏ nhất, và 2 cũng là số nguyên tố chẵn duy nhất. Nguyên tố cùng nhau 1/ Khái niệm: Trong toán học, các số nguyên a và b đƣợc gọi là nguyên tố cùng nhau nếu chúng có ƣớc số chung lớn nhất là 1. 2/ Ví dụ: Hai số 6 và 35 là nguyên tố cùng nhau vì chúng có ƣớc chung lớn nhất là 1 Hai số 6 và 27 không nguyên tố cùng nhau vì chúng có ƣớc số chung lớn nhất là 3 1. Đồng dưMô-đun (Modulo) 1/ Định nghĩa: Cho số nguyên dƣơng n và hai số nguyên a,b đƣợc gọi là đồng dƣ theo mô-đunn nếu chúng cho cùng số dƣ khi chia cho n (hay là a-b chia hết cho n). Kí hiệu là: a  b (mod n) 2/ Ví dụ: 11  5 (mod 3) Vì 11 và 5 chia cho 3 đều dƣ 2 1. Ước số - Bội số + Cho hai số nguyên a và b, b ≠ 0. Nếu có một số nguyên q sao cho a = b*q, ta nói rằng a chia hết cho b, kí hiệu b|a. Ta nói b là ƣớc của a, và a là bội của b. Ví dụ: a = 6, b = 2, ta có 6 = 2*3, ký hiệu 2|6. Ở đây 2 là ƣớc của 6 và 6 là bội của 2 + Ước số chung lớn nhất (UCLN): Là số lớn nhất mà a và b chia hết LUAN VAN CHAT LUONG download : add [e-mail] 12 Ký hiệu: c = gcd (a,b); (great common divisor) + Bội số chung nhỏ nhất (BCNN): d là BCNN của a và b nếu ∀c mà c|a, c|b → c|d Ký hiệu: d = lcm (a,b); (least common multiple) Tính chất: lcm (a,b) = a.b/gcd(a,b) Ví dụ:a = 6, b = 3, ta có 6 = 2*3, ký hiệu 3|6. Ở đây 3 là ƣớc của 6 và 6 là bội của 3. + Tập Z𝒏 và 𝒁𝒏∗ + Zn = {0, 1, 2, . , n-1} là tập các số nguyên không âm < n. + 𝒁∗𝒏 = {eZn , e là nguyên tố cùng nhau với n}. Ví du: Z7 ={0,1,2,3,4,5,6}, khi đó số phần tử của Z7 là |Z7 | = 7. 𝑍7∗ = {1,2,3,4,5,6}, khi đó số phần tử của 𝑍7∗ là 𝑍7∗ = 6 1. Một số khái niệm trong đại số 1.Cấu trúc nhóm 1/.