Tổng quan nghiên cứu

Sự phát triển mạnh mẽ của công nghệ mạng và truyền thông kỹ thuật số đã mở ra tiềm năng lớn cho mô hình chính phủ điện tử, trong đó bỏ phiếu từ xa qua mạng máy tính đóng vai trò trọng tâm. Một cuộc bỏ phiếu điện tử chuẩn mực đòi hỏi phải đồng thời đáp ứng các tiêu chuẩn bảo mật khắt khe: bảo toàn tính bí mật tuyệt đối của lá phiếu, xác thực chính xác quyền bầu cử của cử tri, đảm bảo 100% tính toàn vẹn của kết quả và triệt tiêu hoàn toàn khả năng cưỡng ép hoặc mua bán phiếu. Luận văn Thạc sĩ chuyên ngành Hệ thống Thông tin với đề tài nghiên cứu một số chữ ký đặc biệt dùng trong bỏ phiếu điện tử do tác giả Lại Thị Kim Chinh thực hiện dưới sự hướng dẫn khoa học của PGS.TS Trịnh Nhật Tiến tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội đã tập trung giải quyết bài toán cốt lõi về an toàn thông tin trong không gian mạng.

Phạm vi nghiên cứu của luận văn tập trung vào việc khảo sát toàn diện nền tảng số học, mật mã học hiện đại và đi sâu phân tích hai kỹ thuật ký số chuyên biệt: chữ ký mù RSA và ba sơ đồ chữ ký nhóm tiêu biểu. Mục tiêu cụ thể là thiết kế giải pháp tích hợp các loại chữ ký này vào quy trình bỏ phiếu từ xa 3 giai đoạn, phân tách trách nhiệm giữa 4 ban điều hành chức năng nhằm xóa bỏ mọi khả năng liên kết giữa danh tính cử tri và lá phiếu đã bầu. Công trình mang ý nghĩa học thuật và ứng dụng thực tiễn cao khi đưa ra mô hình toán học chặt chẽ, chứng minh tính không thể chối bỏ, tính nặc danh và xây dựng thành công chương trình thử nghiệm ký mù RSA xử lý trực tiếp trên số và văn bản với độ chính xác tuyệt đối.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn xây dựng hệ thống cơ sở lý thuyết vững chắc dựa trên sự giao thoa giữa số học đồng dư, đại số trừu tượng và mật mã học khóa công khai. Nghiên cứu khai thác sâu các khái niệm về nhóm Abel, nhóm Cyclic hữu hạn cấp n, tính chất phần tử nguyên thủy, định lý Euler, định lý số dư Trung Quốc và thuật toán Euclid mở rộng để tìm phần tử nghịch đảo trong vành số nguyên. Trên nền tảng đó, khung lý thuyết tập trung vào các trụ cột mật mã học chính:

  • Hệ mã hóa khóa bất đối xứng RSA và ElGamal: RSA khai thác độ khó của bài toán phân tích một số nguyên dương lớn thành tích các thừa số nguyên tố, trong khi ElGamal dựa trên bài toán tính logarit rời rạc trên trường hữu hạn với số nguyên tố có độ dài tối thiểu từ 150 chữ số trở lên nhằm ngăn chặn các giải thuật tấn công thời gian đa thức.
  • Chữ ký mù RSA: Giải thuật do David Chaum khởi xướng, cho phép bên yêu cầu làm mù thông điệp bằng một tham số ngẫu nhiên trước khi chuyển cho bên ký, đảm bảo người ký xác thực tính hợp lệ của văn bản mà không thể đọc được nội dung bản rõ.
  • Hệ thống chữ ký nhóm: Khảo sát mô hình đại diện nhóm của David Chaum - Van Heyst và sơ đồ nâng cấp của Jan Camenisch - Stadler dựa trên chữ ký logarit rời rạc kép, cho phép thành viên ẩn danh ký thay mặt tổ chức nhưng vẫn duy trì quyền mở chữ ký của người quản trị.
  • Cơ chế hàm băm mật mã và mã hóa đồng cấu: Khảo sát các thuật toán băm chuẩn như MD5 tạo chuỗi đại diện 128 bit và SHA-1 tạo chuỗi đại diện 160 bit, giải quyết triệt để sự phình to kích thước của sơ đồ DSS khi bản mã đạt 320 bit trên bản tin 160 bit.

Phương pháp nghiên cứu

Nghiên cứu kết hợp phương pháp diễn dịch toán học hình thức và phương pháp thực nghiệm mô phỏng phần mềm. Về nguồn dữ liệu, tác giả sử dụng các bộ tham số số học chuẩn trong mật mã học để thiết lập các ca kiểm thử thuật toán. Cỡ mẫu thực nghiệm được xây dựng qua các mô hình toán học cụ thể: mô hình chữ ký mù RSA sử dụng cặp số nguyên tố kiểm thử p bằng 113, q bằng 23, mô-đun n bằng 2599, hàm số Euler bằng 2464 và khóa công khai b bằng 23; mô hình chữ ký nhóm Chaum - Van Heyst thiết lập cỡ mẫu nhóm gồm 5 thành viên độc lập với mô-đun an toàn N bằng 11413 được tạo từ hai số nguyên tố p bằng 101 và q bằng 113.

Phương pháp chọn mẫu tham số được thực hiện theo nguyên tắc ngẫu nhiên đồng đều trên các tập thặng dư thu gọn, đảm bảo tính nguyên tố cùng nhau và tính khả nghịch tuyệt đối của các khóa thành viên. Lý do lựa chọn phương pháp phân tích toán học kết hợp lập trình ứng dụng là nhằm kiểm chứng trực tiếp tính khả thi của các thuật toán lý thuyết khi chuyển giao sang mã nguồn thực thi, đo lường chính xác thời gian tạo khóa, thời gian làm mù, thời gian ký và thời gian xóa mù phục hồi bản rõ trên máy tính cá nhân.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình nghiên cứu và thực nghiệm mô phỏng đã đem lại những phát hiện then chốt về việc ứng dụng chữ ký số đặc biệt vào kiến trúc bỏ phiếu điện tử:

  • Chữ ký mù RSA giải quyết triệt để tính nặc danh của cử tri: Trong giai đoạn đăng ký, việc áp dụng công thức làm mù thông điệp với số ngẫu nhiên r nguyên tố cùng nhau với n giúp che giấu 100% nội dung lựa chọn của cử tri trước Ban đăng ký. Ban đăng ký chỉ thực hiện ký số xác thực quyền hợp lệ mà không thể thu thập bất kỳ dữ liệu nào về ý chí bầu cử.
  • Chữ ký nhóm tối ưu hóa phân quyền và chống gian lận nội bộ: Phân tích thực nghiệm trên mô hình 5 thành viên với khóa nhóm công khai v bằng 3916191121461 cho thấy chữ ký nhóm ngăn chặn 100% nguy cơ mạo danh giữa các thành viên. So sánh hiệu năng chỉ ra sơ đồ Camenisch - Stadler vượt trội hơn sơ đồ Chaum - Van Heyst cổ điển khi tách biệt 5 thủ tục độc lập (Setup, Join, Sign, Verify, Open), giúp kích thước khóa công khai không bị tăng tuyến tính theo số lượng cử tri gia nhập.
  • Xác minh tính hợp lệ không tiết lộ thông tin: Ứng dụng giao thức chứng minh không tiết lộ thông tin (ZKP) dựa trên kỹ thuật tính toán Blob an toàn cho phép Ban kiểm tra xác thực tính hợp lệ của lá phiếu đã mã hóa với độ tin cậy tuyệt đối mà không cần mở khóa nội dung.
  • Tối ưu hóa hiệu năng truyền thông nhờ hàm băm: Việc ứng dụng hàm băm 128 bit và 160 bit giúp nén các tài liệu kích thước lớn từ vài megabyte xuống kích thước cố định, giảm hơn 50% thời gian truyền tải trên mạng và giảm tải dung lượng bộ nhớ lưu trữ tại máy chủ hòm phiếu so với phương thức ký phân đoạn trực tiếp.

Thảo luận kết quả

Các kết quả đạt được khẳng định tính đúng đắn của việc kết hợp chữ ký mù và chữ ký nhóm để tái cấu trúc quy trình bầu cử truyền thống thành quy trình số hóa an toàn. Bản chất của sự bảo mật trong hệ thống bắt nguồn từ độ phức tạp tính toán của các bài toán số học một chiều: bài toán phân tích thừa số nguyên tố và bài toán logarit rời rạc trên trường số nguyên lớn. Khi so sánh với các nghiên cứu mật mã học quốc tế, mô hình đề xuất trong luận văn đã giải quyết thành công mâu thuẫn cố hữu giữa tính minh bạch của việc kiểm phiếu và quyền riêng tư của cử tri.

+-----------------------------------------------------------------------------------+
|               BẢNG SO SÁNH HIỆU QUẢ CÁC CƠ CHẾ KÝ TRONG BỎ PHIẾU ĐIỆN TỬ          |
+----------------------+--------------------+-------------------+-------------------+
| Tiêu chí phân tích   | Chữ ký RSA chuẩn   | Chữ ký mù RSA     | Chữ ký nhóm       |
+----------------------+--------------------+-------------------+-------------------+
| Ẩn danh người bầu    | 0% (Lộ danh tính)  | 100% (Ẩn hoàn toàn| Ẩn danh trong nhóm|
| Tính toàn vẹn phiếu  | 100% (Khóa mã hóa) | 100% (Xóa mù chuẩn| 100% (Chống sửa)  |
| Khả năng mở chữ ký   | Không hỗ trợ       | Không hỗ trợ      | Quản trị viên mở  |
| Kích thước chữ ký    | Cố định theo Modulo| Cố định theo Modulo| Tùy biến theo ZKP |
+----------------------+--------------------+-------------------+-------------------+

Dữ liệu so sánh thể hiện qua bảng trên chứng minh chữ ký mù RSA là giải pháp lý tưởng nhất cho giai đoạn đăng ký và cấp phát phiếu bầu, trong khi chữ ký nhóm phát huy tối đa hiệu quả trong việc quản lý và giám sát liên ban giữa Ban điều hành, Ban đăng ký, Ban kiểm tra và Ban kiểm phiếu. Toàn bộ quy trình luân chuyển dữ liệu được kiểm soát qua sơ đồ tuần tự 3 giai đoạn kết hợp kỹ thuật trộn phiếu (Mix-net), triệt tiêu hoàn toàn khả năng nhà mạng hoặc quản trị viên hệ thống can thiệp làm sai lệch kết quả bầu cử.

Đề xuất và khuyến nghị

Dựa trên các kết quả nghiên cứu lý thuyết và thử nghiệm phần mềm, 4 khuyến nghị mang tính hành động cao được đề xuất nhằm hiện thực hóa hệ thống bỏ phiếu điện tử an toàn:

  1. Triển khai giao thức chữ ký mù RSA trên hạ tầng xác thực công dân: Ban điều hành và Cơ quan Bầu cử Quốc gia cần tích hợp giải thuật ký mù vào cổng dịch vụ công trực tuyến. Mục tiêu là đạt 100% mức độ ẩn danh cho hồ sơ cử tri và cấp phát mã định danh bầu cử hợp lệ, hoàn thành lộ trình thử nghiệm diện hẹp trong vòng 6 tháng.
  2. Thiết lập sơ đồ chữ ký nhóm động Camenisch - Stadler cho các ban kiểm phiếu: Đội ngũ kỹ sư an toàn thông tin cần xây dựng phân hệ quản lý khóa nhóm liên cơ quan với 5 thủ tục chuẩn hóa. Mục tiêu là bảo đảm tính minh bạch khi mở niêm phong hòm phiếu và loại bỏ 100% nguy cơ thông đồng giữa các kiểm phiếu viên, thực hiện trong vòng 12 tháng.
  3. Tích hợp công nghệ mạng trộn và mã hóa đồng cấu vào máy chủ hòm phiếu: Doanh nghiệp phát triển giải pháp cần ứng dụng kỹ thuật xáo trộn thứ tự lá phiếu và cộng dồn mã hóa theo sơ đồ Benaloh hoặc Cramer. Mục tiêu là tăng tốc độ kiểm phiếu tự động lên gấp 3 lần mà không cần giải mã từng lá phiếu đơn lẻ, triển khai trong vòng 18 tháng.
  4. Ban hành tiêu chuẩn kỹ thuật quốc gia về phần mềm bầu cử trực tuyến: Bộ Thông tin và Truyền thông phối hợp với các cơ quan quản lý ban hành bộ tiêu chuẩn đánh giá an toàn mật mã, quy định bắt buộc áp dụng hàm băm an toàn SHA-256/SHA-512 và độ dài khóa RSA tối thiểu 2048 bit, hoàn thiện khung pháp lý trong vòng 24 tháng.

Đối tượng nên tham khảo luận văn

Công trình nghiên cứu mang giá trị học thuật chuyên sâu và khả năng ứng dụng thực tế cao, đặc biệt hữu ích cho 4 nhóm đối tượng trọng tâm:

  • Chuyên gia nghiên cứu mật mã học và kỹ sư an toàn thông tin: Khai thác các mô hình toán học giải thuật Euclid mở rộng, hàm băm một chiều và sơ đồ chữ ký đặc biệt để phát triển các thư viện phần mềm bảo mật cao cấp.
  • Kiến trúc sư hệ thống chính phủ điện tử và chuyển đổi số: Tham khảo kiến trúc phân rã 4 ban chức năng và quy trình 3 giai đoạn để ứng dụng vào việc thiết kế các hệ thống lấy ý kiến cử tri, đại hội đồng cổ đông trực tuyến hoặc khảo sát tín nhiệm điện tử.
  • Học viên cao học và sinh viên ngành Công nghệ thông tin: Sử dụng công trình làm tài liệu tham khảo chuẩn mực về phương pháp nghiên cứu hệ thống thông tin, kỹ thuật mô hình hóa toán học đại số trừu tượng và lập trình mật mã thực nghiệm.
  • Lãnh đạo doanh nghiệp công nghệ và tổ chức tài chính - ngân hàng: Vận dụng cơ chế chữ ký mù và chứng minh không tiết lộ thông tin vào việc xây dựng hệ thống định danh số, ví điện tử ẩn danh và các giao dịch tài chính yêu cầu bảo mật quyền riêng tư nghiêm ngặt.

Câu hỏi thường gặp

Chữ ký mù RSA khác gì so với chữ ký điện tử RSA thông thường trong quy trình bầu cử?
Chữ ký RSA thông thường yêu cầu người ký nhìn thấy toàn bộ bản rõ, dẫn đến việc Ban đăng ký biết chính xác cử tri bầu ai. Ngược lại, chữ ký mù RSA sử dụng tham số ngẫu nhiên r để che giấu hoàn toàn dữ liệu trước khi ký. Ban đăng ký chỉ xác thực tư cách hợp lệ của cử tri trên bản mù mà không thể đọc được nội dung lá phiếu.

Tại sao sơ đồ chữ ký nhóm lại quan trọng trong việc ngăn chặn gian lận nội bộ?
Chữ ký nhóm cho phép bất kỳ thành viên nào trong ban kiểm phiếu đại diện nhóm ký xác thực lá phiếu mà người ngoài không thể phân biệt cụ thể ai đã ký. Tuy nhiên, trong trường hợp xảy ra sai phạm, người quản lý nhóm sở hữu khóa mở đặc biệt có thể định danh chính xác cá nhân đã thực hiện chữ ký đó để quy trách nhiệm.

Làm cách nào để hệ thống ngăn chặn cử tri bán phiếu bầu cho người khác?
Hệ thống kết hợp chữ ký mù và giao thức chứng minh không tiết lộ thông tin ZKP để tạo ra lá phiếu hợp lệ mà không cung cấp bất kỳ bằng chứng có thể sao chép nào. Cử tri không thể chứng minh cho bên thứ ba thấy mình đã bầu cho ứng viên nào, từ đó triệt tiêu hoàn toàn động cơ mua bán phiếu.

Hàm băm mật mã đóng vai trò như thế nào trong việc tối ưu hóa hiệu năng ký số?
Ký trực tiếp trên văn bản lớn sẽ làm độ dài chữ ký phình to gấp đôi và tiêu tốn tài nguyên xử lý số mũ modulo. Hàm băm như MD5 hoặc SHA chuyển đổi tài liệu dung lượng bất kỳ thành chuỗi đại diện duy nhất có độ dài cố định 128 bit hoặc 160 bit, giúp giảm thời gian ký số và tối ưu băng thông mạng.

Quy trình bỏ phiếu từ xa xử lý bài toán cử tri bỏ phiếu nhiều lần như thế nào?
Trong giai đoạn đăng ký, Ban đăng ký thẩm định chứng minh thư điện tử của cử tri và chỉ cấp phát duy nhất một định danh bầu cử cùng một lá phiếu đã làm mù. Khi cử tri gửi phiếu đã ký về máy chủ hòm phiếu, hệ thống tự động kiểm tra chữ ký và vô hiệu hóa ngay lập tức mã định danh tương ứng.

Kết luận

  • Luận văn đã hệ thống hóa toàn diện nền tảng lý thuyết số học, cấu trúc nhóm đại số và mật mã học khóa công khai RSA, ElGamal làm cơ sở cho an toàn thông tin.
  • Phân tích chi tiết và làm rõ cơ chế vận hành của chữ ký mù RSA cùng 3 sơ đồ chữ ký nhóm tiêu biểu, chứng minh khả năng bảo vệ tính nặc danh và chống chối bỏ.
  • Đề xuất thành công mô hình kiến trúc bỏ phiếu từ xa 3 giai đoạn kết hợp 4 ban chức năng, giải quyết triệt để các nguy cơ mất an toàn dữ liệu và mua bán phiếu bầu.
  • Xây dựng hoàn chỉnh chương trình phần mềm thử nghiệm thuật toán ký mù RSA trên dữ liệu số và văn bản với độ chính xác và tính toàn vẹn 100%.
  • Định hình lộ trình phát triển kỹ thuật trong giai đoạn tiếp theo, hướng tới việc tích hợp mật mã đường cong Elliptic (ECC) và công nghệ sổ cái phân tán để tối ưu hóa hiệu năng hệ thống.

Để tìm hiểu chi tiết cấu trúc thuật toán và khai thác mã nguồn thử nghiệm, độc giả và các nhà phát triển có thể tham khảo toàn văn luận văn thạc sĩ tại thư viện các trường đại học khối công nghệ hoặc liên hệ trực tiếp với nhóm nghiên cứu để thúc đẩy ứng dụng vào thực tiễn.