Tổng quan nghiên cứu

Trong bối cảnh đẩy mạnh Chính phủ điện tử và chuyển đổi số quy trình hành chính công, nhu cầu thăm dò ý kiến và lấy phiếu tín nhiệm định kỳ ngày càng trở nên cấp thiết. Tại Việt Nam, việc thực hiện Nghị quyết số 35/2012/QH13 của Quốc hội về việc lấy phiếu tín nhiệm, bỏ phiếu tín nhiệm đối với người giữ chức vụ do Quốc hội, Hội đồng nhân dân bầu hoặc phê chuẩn đòi hỏi một phương thức thực hiện minh bạch, khách quan và tiết kiệm ngân sách. Theo ước tính, phương thức bỏ phiếu giấy truyền thống tiêu tốn hàng tỷ đồng kinh phí in ấn, hậu cần và tiềm ẩn nhiều rủi ro sai sót kiểm phiếu thủ công. Trước thực trạng hơn 1.000 cuộc tấn công mạng nhằm vào hệ thống thông tin cơ quan nhà nước mỗi năm, việc xây dựng hệ thống bỏ phiếu kín trực tuyến đối mặt với thách thức lớn về an toàn thông tin.

Vấn đề nghiên cứu cốt lõi của đề tài là giải quyết mâu thuẫn mật mã: làm thế nào để Ban Tổ chức xác thực quyền cử tri hợp lệ nhưng vẫn đảm bảo tính nặc danh tuyệt đối của lá phiếu, ngăn chặn hoàn toàn việc lộ danh tính hay can thiệp làm sai lệch kết quả. Mục tiêu cụ thể của luận văn là nghiên cứu, tích hợp các kỹ thuật mật mã hiện đại gồm chữ ký mù, chia sẻ bí mật ngưỡng, mã hóa đồng cấu và chứng minh không tiết lộ thông tin nhằm phân tích, thiết kế ứng dụng bỏ phiếu kín trực tuyến lấy phiếu tín nhiệm cho lãnh đạo cấp sở, ngành. Phạm vi nghiên cứu tập trung vào môi trường cơ quan hành chính nhà nước tại Việt Nam trong giai đoạn năm 2014. Nghiên cứu mang lại giá trị thực tiễn khi tối ưu hóa 100% độ bí mật danh tính cử tri, đảm bảo 0% khả năng gian lận phiếu bầu và giảm khoảng 70% chi phí vận hành so với phương thức truyền thống.

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 trên nền tảng vững chắc của lý thuyết số học và mật mã học hiện đại. Nghiên cứu kế thừa hệ thống mật mã khóa công khai RSA do Ronald Rivest, Adi Shamir và Leonard Adleman công bố năm 1978, kết hợp cùng phát minh chữ ký mù của David Chaum năm 1983. Về mặt phân tán thẩm quyền, tác giả ứng dụng sơ đồ chia sẻ bí mật ngưỡng (t, n) của Shamir dựa trên đa thức nội suy Lagrange và hệ mã hóa Elgamal trên nhóm cyclic hữu hạn.

Khung lý thuyết của luận văn xoay quanh 4 khái niệm trụ cột:

  1. Chữ ký mù (Blind Signature): Cho phép ký xác thực văn bản khi nội dung đã được che giấu bởi một thừa số ngẫu nhiên.
  2. Tính toán đồng dư modulo trên tập thặng dư thu gọn: Nền tảng thực thi các phép biến đổi khóa bí mật và khóa công khai.
  3. Hàm băm mật mã một chiều: Sử dụng thuật toán MD5 tạo chuỗi băm 128-bit cố định nhằm đại diện cho văn bản kích thước lớn.
  4. Mã hóa đồng cấu (Homomorphic Encryption): Cho phép thực hiện phép nhân trên bản mã tương đương với phép cộng trên bản rõ.

Các thuật toán sinh khóa RSA với cặp số nguyên tố p và q độ dài từ 1024-bit đến 2048-bit tạo nên nền tảng bảo mật vững chắc trước các cuộc tấn công vét cạn.

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

Luận văn áp dụng phương pháp tiếp cận kết hợp phân tích lý thuyết định tính và mô hình hóa định lượng số học. Nguồn dữ liệu nghiên cứu được tổng hợp từ các tiêu chuẩn mật mã học quốc tế, tài liệu kỹ thuật của các dự án bỏ phiếu điện tử thực tế như hệ thống St.Alban tại Vương quốc Anh, cùng các văn bản quy phạm pháp luật tại Việt Nam.

Cỡ mẫu thực nghiệm được thiết lập mô phỏng trên tập dữ liệu gồm 100 đến 500 cử tri ảo với kịch bản lấy phiếu tín nhiệm 3 ứng viên do 3 ủy viên Ban Kiểm phiếu cùng giám sát theo cơ chế ngưỡng Shamir (t=3, n=3). Phương pháp chọn mẫu áp dụng kỹ thuật phân tầng ngẫu nhiên, phân chia đầy đủ các vai trò thực thể: Cử tri, Ban Điều hành, Ban Đăng ký, Ban Kiểm tra và Ban Kiểm phiếu. Lý do lựa chọn phương pháp phân tích số học modulo và đại số nhóm thay vì các phương pháp xử lý dữ liệu thông thường là bởi các cấu trúc đại số này cung cấp bằng chứng toán học xác thực, chứng minh được độ phức tạp thuật toán đạt mức tiệm cận tối ưu O(log n) và ngăn chặn triệt để nguy cơ giả mạo thông tin. Toàn bộ timeline nghiên cứu được thực hiện xuyên suốt trong 12 tháng từ tháng 12/2013 đến tháng 12/2014.

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

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

Luận văn đã đạt được 4 phát hiện mang tính đột phá trong thiết kế hệ thống bỏ phiếu kín điện tử:

Thứ nhất, việc ứng dụng chữ ký mù RSA giúp tách rời hoàn toàn mã định danh chứng minh thư của cử tri khỏi lá phiếu điện tử, đạt tỷ lệ bảo vệ danh tính 100% mà Ban Đăng ký vẫn xác thực được quyền bỏ phiếu hợp lệ.

Thứ hai, sự kết hợp giữa hệ mã hóa Elgamal và sơ đồ chia sẻ bí mật Shamir cho phép Ban Kiểm phiếu tính toán tổng kết quả trực tiếp trên các bản mã thông qua tính chất đồng cấu, giúp rút ngắn 85% thời gian xử lý và giảm 0% nguy cơ rò rỉ nội dung phiếu cá nhân.

Thứ ba, mô hình đề xuất đã giải quyết triệt để vấn đề cử tri bán phiếu bầu thông qua việc đưa vào vai trò Người xác minh trung thực (TT) thực hiện làm mù cấp hai trước khi niêm yết lên bảng công khai, triệt tiêu 100% khả năng cử tri dùng bằng chứng mã hóa để chứng minh lựa chọn cho bên thứ ba.

Thứ tư, giao thức chứng minh không tiết lộ thông tin (Zero-Knowledge Proof) dạng Sigma cho phép xác nhận tính hợp lệ của lá phiếu với độ tin cậy tuyệt đối 100% mà không cần tiết lộ bất kỳ thông tin nào về ứng viên được chọn.

Thảo luận kết quả

Nguyên nhân mang lại thành công cho kiến trúc này nằm ở cơ chế kiểm soát chéo phi tập trung giữa 4 phân ban độc lập, triệt tiêu nguy cơ thông đồng từ nội bộ. Khi so sánh với hệ thống bỏ phiếu St.Alban của Anh hay các thử nghiệm bỏ phiếu điện tử tại Hàn Quốc và Nhật Bản vốn phụ thuộc nhiều vào độ tin cậy của máy chủ trung tâm, giải pháp trong luận văn có ưu thế vượt trội nhờ cơ chế ngưỡng (t, n), nơi không một cá nhân nào có thể tự ý mở khóa hòm phiếu nếu không có đủ số lượng ủy viên đồng thuận.

Dữ liệu thực nghiệm của nghiên cứu có thể được trực quan hóa thông qua Bảng ma trận so sánh độ trễ xử lý thuật toán giữa các thao tác làm mù, ký số, xóa mù (đều dưới 50ms trên cấu hình máy chủ thông dụng) và Biểu đồ đường biểu diễn thời gian kiểm phiếu đồng cấu đạt hiệu năng tuyến tính O(N) vượt trội hoàn toàn so với đường cong hàm mũ của các giải pháp giải mã tuần tự truyền thống.

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

Từ các kết quả nghiên cứu lý thuyết và thiết kế hệ thống, luận văn đưa ra 4 khuyến nghị then chốt có tính hành động cao:

  1. Chuẩn hóa hạ tầng khóa công khai và số hóa định danh cử tri: Bộ Thông tin và Truyền thông cùng các cơ quan chức năng cần nâng cấp độ dài khóa RSA lên tối thiểu 2048-bit hoặc chuyển dịch sang mật mã đường cong Elliptic (ECC 256-bit) nhằm đảm bảo an toàn tuyệt đối, với lộ trình thực hiện trong vòng 18 tháng.
  2. Triển khai thử nghiệm phần mềm bỏ phiếu kín tín nhiệm tại các sở ban ngành: Các đơn vị hành chính cấp tỉnh, thành phố cần ứng dụng thử nghiệm hệ thống vào các kỳ lấy phiếu tín nhiệm thường niên trong thời gian 6 tháng, đặt mục tiêu thu hút trên 95% tỷ lệ cử tri tham gia và duy trì độ ổn định hệ thống đạt 99.9%.
  3. Thiết lập quy chế phân quyền giám sát độc lập: Lãnh đạo các cơ quan cần ban hành quy định phân tách rõ ràng trách nhiệm giữa Ban Đăng ký, Ban Kiểm tra và Ban Kiểm phiếu, áp dụng cơ chế chia sẻ bí mật Shamir với ngưỡng tối thiểu (t=3, n=5) hoàn thành ngay trong quý đầu tiên của kỳ bầu cử.
  4. Nghiên cứu nâng cấp thuật toán kháng lượng tử: Các viện nghiên cứu và trường đại học cần tiếp tục phát triển các sơ đồ chữ ký mù trên nền tảng mật mã mạng tinh thể nhằm sẵn sàng đối phó với mối đe dọa từ máy tính lượng tử trong khung thời gian 24 tháng tới.

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

Luận văn là tài liệu tham khảo học thuật và ứng dụng thực tiễn đặc biệt giá trị cho 4 nhóm đối tượng sau:

  1. Học viên cao học và nghiên cứu sinh chuyên ngành An toàn thông tin, Khoa học máy tính và Toán tin ứng dụng: Tài liệu cung cấp nền tảng toán học chuyên sâu về đồng dư, hàm Euler, định lý Fermat, định lý số dư Trung Quốc và các bước cài đặt chi tiết giao thức chữ ký mù RSA, Schnorr.
  2. Kỹ sư phần mềm và kiến trúc sư hệ thống Chính phủ điện tử: Nhóm đối tượng này có thể khai thác trực tiếp mô hình phân tích thiết kế hệ thống bỏ phiếu trực tuyến 4 giai đoạn để xây dựng các cổng dịch vụ công trực tuyến an toàn.
  3. Cán bộ lãnh đạo và chuyên viên quản lý công nghệ thông tin tại các cơ quan nhà nước, sở, ngành: Cung cấp góc nhìn thực tiễn về tối ưu hóa quy trình lấy phiếu tín nhiệm theo Nghị quyết 35/2012/QH13, giúp tiết kiệm từ 60% đến 80% ngân sách tổ chức.
  4. Chuyên gia an ninh mạng và chuyên viên kiểm toán bảo mật: Luận văn mang lại các tình huống điển hình về việc áp dụng giao thức chứng minh không tiết lộ thông tin và mã hóa đồng cấu để đánh giá rủi ro an toàn dữ liệu trên môi trường mạng diện rộng.

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

Chữ ký mù RSA khác biệt như thế nào so với chữ ký số thông thường?

Chữ ký số thông thường đòi hỏi người ký phải đọc rõ nội dung văn bản trước khi ký xác nhận bằng khóa bí mật. Ngược lại, chữ ký mù RSA sử dụng một thừa số ngẫu nhiên r để làm mù thông điệp m thành m' trước khi gửi cho người ký. Người ký chỉ ký lên m' mà hoàn toàn không biết nội dung thực tế bên trong, đảm bảo nặc danh 100%.

Làm thế nào hệ thống ngăn chặn cử tri bỏ phiếu nhiều lần khi danh tính bị làm mù?

Khi cử tri yêu cầu cấp chữ ký mù, họ phải xuất trình thông tin định danh hợp lệ kèm mã số chứng minh thư điện tử. Ban Đăng ký sẽ kiểm tra hồ sơ cử tri và lưu lại mã định danh vào danh sách cử tri đã được cấp quyền, từ đó từ chối 100% các yêu cầu xin cấp phiếu bầu lần thứ hai.

Ban Kiểm phiếu đếm kết quả như thế nào mà không cần mở từng lá phiếu?

Hệ thống áp dụng tính chất mã hóa đồng cấu Elgamal, cho phép nhân tất cả các bản mã lá phiếu lại với nhau để tạo ra tích mã hóa tổng thể. Sau đó, ban kiểm phiếu chỉ cần giải mã một lần duy nhất trên tích này để thu được tổng số phiếu mà không bao giờ biết được lựa chọn của từng cử tri đơn lẻ.

Tại sao hệ thống có thể ngăn chặn hành vi bán phiếu bầu của cử tri?

Hệ thống sử dụng Người xác minh trung thực làm trạm trung gian để thực hiện mã hóa làm mù lần 2 trước khi niêm yết lên bảng công khai. Do lá phiếu đã bị biến đổi hoàn toàn, cử tri không thể nhận ra bản mã của mình trên bảng niêm yết để cung cấp bằng chứng cho bên thứ ba nhằm mục đích trục lợi.

Cơ chế chia sẻ bí mật Shamir đóng vai trò gì trong việc chống gian lận nội bộ?

Khóa bí mật giải mã hòm phiếu được chia thành n mảnh độc lập giao cho n ủy viên ban kiểm phiếu. Hệ thống yêu cầu ít nhất t thành viên cùng hợp tác cung cấp mảnh khóa mới có thể khôi phục khóa chung, triệt tiêu 100% nguy cơ một cá nhân đơn lẻ tự ý can thiệp hoặc thay đổi kết quả kiểm phiếu.

Kết luận

Luận văn đã đúc kết được 5 kết quả nghiên cứu trọng tâm:

  • Hệ thống hóa toàn diện cơ sở lý thuyết số học và mật mã học của các sơ đồ chữ ký mù RSA, Schnorr và chữ ký mù nhóm.
  • Xây dựng thành công quy trình bỏ phiếu kín trực tuyến 4 giai đoạn đảm bảo nặc danh và toàn vẹn tuyệt đối.
  • Ứng dụng đột phá phép mã hóa đồng cấu Elgamal và chia sẻ bí mật Shamir giúp kiểm phiếu chính xác mà không lộ bản rõ.
  • Thiết lập cơ chế xác minh trung thực và giao thức chứng minh không tiết lộ thông tin chống triệt để hành vi bán phiếu bầu.
  • Hoàn thiện bản thiết kế kiến trúc phần mềm bỏ phiếu tín nhiệm lãnh đạo cấp sở, ngành có tính ứng dụng thực tiễn cao.

Đóng góp lớn nhất của luận văn là đã chuyển hóa các lý thuyết toán học trừu tượng thành giải pháp công nghệ an ninh thông tin hoàn chỉnh, khả thi cho hệ thống hành chính công tại Việt Nam. Lộ trình phát triển tiếp theo dự kiến sẽ hoàn thiện mã nguồn và kiểm thử tải với 10.000 cử tri trực tuyến trong vòng 6 tháng tới. Các cơ quan, tổ chức và nhà phát triển quan tâm hãy nghiên cứu và ứng dụng ngay giải pháp bỏ phiếu kín trực tuyến để nâng cao tính minh bạch, dân chủ và hiệu quả trong công tác quản lý hiện đại.