Tổng quan nghiên cứu

Trong bối cảnh kỷ nguyên số bùng nổ, an toàn thông tin trở thành yếu tố sống còn đối với mọi hệ thống trao đổi dữ liệu. Theo các báo cáo an toàn thông tin quốc tế, số lượng mã độc hại từng được ghi nhận đã vượt mốc 140 triệu mẫu, đi kèm hơn 75 triệu trang web bị lây nhiễm mã độc. Khi công nghệ thông tin được áp dụng vào hoạt động dân chủ, bỏ phiếu điện tử mở ra triển vọng to lớn về việc tiết kiệm thời gian, tối ưu hóa chi phí và hỗ trợ cử tri tham gia từ xa. Tính đến giai đoạn nghiên cứu, trên thế giới có khoảng 11 quốc gia tiên phong thử nghiệm hệ thống bầu cử số, trong đó 4 quốc gia gồm Estonia, Canada, Pháp và Thụy Sĩ đã triển khai thực tế thành công. Tuy nhiên, một số quốc gia phát triển như Anh, Hà Lan hay Tây Ban Nha từng phải tạm dừng nghiên cứu do lo ngại về lỗ hổng an ninh mạng và sự thiếu hụt niềm tin công chúng.

Vấn đề nghiên cứu cốt lõi đặt ra là: Giai đoạn đăng ký cử tri chính là cánh cổng đầu tiên và xung yếu nhất trong quy trình bỏ phiếu điện tử. Nếu giai đoạn này bị xâm nhập, các rủi ro nghiêm trọng như lộ lọt thông tin cá nhân, giả mạo cử tri, đăng ký trùng lặp hoặc lạm quyền phát hành phiếu bất hợp pháp sẽ phá hủy hoàn toàn tính trung thực của cuộc bầu cử. Mục tiêu cụ thể của luận văn là nghiên cứu, phân tích toàn diện 5 bài toán an toàn thông tin trọng yếu trong khâu đăng ký và đề xuất giải pháp kỹ thuật kết hợp giữa mật mã hóa lai, chữ ký mù và sơ đồ chia sẻ bí mật.

Nghiên cứu được triển khai trong phạm vi chuyên ngành Hệ thống thông tin tại Đại học Quốc gia Hà Nội vào năm 2015, tập trung thiết kế và cài đặt thử nghiệm hệ thống phần mềm bảo đảm an toàn dữ liệu. Ý nghĩa thực tiễn của công trình thể hiện qua việc triệt tiêu 100% nguy cơ liên kết danh tính cử tri với nội dung lá phiếu, đồng thời duy trì độ tin cậy xác thực danh tính đạt mức tuyệt đối trên môi trường mạng công cộ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 lý thuyết an toàn thông tin đa tầng với 4 thuộc tính cơ bản: tính bảo mật, tính toàn vẹn, tính xác thực và tính sẵn sàng. Hệ thống phòng thủ được thiết kế theo chiến lược cấp quyền hạn tối thiểu và phòng thủ chiều sâu nhằm loại bỏ điểm lỗi đơn lẻ.

Mô hình nghiên cứu tích hợp ba trụ cột mật mã học kinh điển:

Thứ nhất, Hệ mật mã khóa công khai RSA được đề xuất năm 1977 bởi Rivest, Shamir và Adleman. Hệ mật này dựa trên độ khó tính toán của bài toán phân tích một số nguyên dương lớn thành tích của hai số nguyên tố bí mật p và q, cho phép thực hiện cả chức năng mã hóa dữ liệu lẫn tạo lập chữ ký số chống chối bỏ.

Thứ hai, Sơ đồ chữ ký mù do David Chaum công bố năm 1983. Thuật toán cho phép chủ thể làm mù thông điệp trước khi gửi đến cơ quan có thẩm quyền ký xác thực. Sau khi nhận lại chữ ký và thực hiện phép xóa mù bằng khóa số học bí mật, chủ thể sở hữu một chữ ký số hợp lệ trên thông điệp gốc mà người ký không hề biết nội dung chi tiết.

Thứ ba, Sơ đồ chia sẻ bí mật ngưỡng Shamir dựa trên nguyên lý đa thức bậc t-1 trên trường hữu hạn modulo nguyên tố. Khóa bí mật tổng thể được phân rã thành w mảnh độc lập giao cho w thành viên quản trị. Hệ thống chỉ có thể tái tạo lại khóa gốc khi có sự hợp tác của tối thiểu t thành viên thông qua phép khử Gauss hoặc công thức nội suy Lagrange, ngăn chặn hoàn toàn nguy cơ nội gián thao túng hệ thống.

Bên cạnh đó, nghiên cứu còn kết hợp chuẩn mã hóa đối xứng DES để tối ưu hóa tốc độ xử lý khối dữ liệu lớn cùng các hàm băm an toàn như MD5 và SHA nhằm tạo đại diện văn bản cố định phục vụ ký số.

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

Nghiên cứu sử dụng nguồn dữ liệu thực nghiệm gồm 1.000 hồ sơ cử tri giả lập được cấu trúc hóa theo 6 bảng dữ liệu quan hệ trong hệ thống: bảng danh sách cử tri, bảng người dùng, bảng vai trò, bảng mảnh khóa bí mật, bảng chữ ký phiếu bầu và bảng cấu hình hệ thống.

Phương pháp chọn mẫu được tiến hành theo hình thức chọn mẫu phân tầng ngẫu nhiên, mô phỏng đầy đủ các tình huống nghiệp vụ: cử tri nộp hồ sơ mới, cử tri xin xác thực từ cơ quan nhà nước, ban đăng ký thẩm định danh tính, chia sẻ mảnh khóa giữa các ủy viên và cấp phát chữ ký mù.

Phương pháp phân tích kết hợp giữa phân tích mô hình hóa hệ thống bằng biểu đồ ngữ cảnh, biểu đồ phân rã chức năng và phân tích định lượng hiệu năng mật mã. Lý do lựa chọn phương pháp này xuất phát từ yêu cầu phải kiểm chứng tính đúng đắn toán học của các giải thuật mật mã, đồng thời đo lường chính xác độ trễ tính toán khi triển khai thực tế trên máy chủ ứng dụng. Toàn bộ quá trình nghiên cứu lý thuyết, thiết kế cơ sở dữ liệu và thử nghiệm phần mềm được hoàn thành trong khung thời gian 12 tháng liên tục.

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

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

Quá trình mô phỏng và thực nghiệm phần mềm đã mang lại 4 phát hiện quan trọng:

Thứ nhất, việc áp dụng mô hình mã hóa lai kết hợp giữa chuẩn mã hóa đối xứng DES và mật mã khóa công khai RSA giúp rút ngắn thời gian xử lý và truyền tải hồ sơ cử tri khoảng 65% so với phương pháp chỉ dùng mã hóa RSA thuần túy. Hồ sơ kích thước lớn được mã hóa nhanh bằng DES, trong khi khóa phiên DES được bảo vệ an toàn bằng RSA với độ dài khóa tiêu chuẩn.

Thứ hai, việc tích hợp giao thức chữ ký mù RSA đã loại bỏ hoàn toàn 100% mối liên kết kỹ thuật giữa danh tính cử tri và định danh lá phiếu. Ban đăng ký chỉ thực hiện xác thực tư cách công dân và ký số lên giá trị đã làm mù, do đó hoàn toàn không thể biết số hiệu phiếu bầu thực tế của từng cử tri.

Thứ ba, thử nghiệm sơ đồ chia sẻ bí mật Shamir với cấu hình ngưỡng 3 trên 3 thành viên đã chứng minh tính khả thi tuyệt đối trong việc kiểm soát quyền lực. Khóa bí mật dùng để ký cấp phép phiếu chỉ được khôi phục thành công khi toàn bộ 3 thành viên cung cấp đầy đủ các mảnh khóa, triệt tiêu 100% khả năng một cá nhân tự ý cấp phát phiếu bầu giả mạo.

Thứ tư, cấu trúc cơ sở dữ liệu với các ràng buộc khóa duy nhất trên trường số định danh công dân kết hợp giao thức chống chối bỏ đã ngăn chặn thành công 100% các nỗ lực đăng ký nhiều lần của cùng một cử tri, đảm bảo nguyên tắc mỗi công dân chỉ sở hữu duy nhất một lá phiếu.

Thảo luận kết quả

Các kết quả đạt được khẳng định rằng việc kết hợp các giải thuật mật mã học hiện đại hoàn toàn có thể giải quyết trọn vẹn mâu thuẫn cố hữu trong bỏ phiếu điện tử: vừa phải xác thực định danh chính xác, vừa phải giữ kín tính ẩn danh của lá phiếu.

Nguyên nhân dẫn đến thành công này là sự phân tách mạch lạc giữa giai đoạn xác thực quyền công dân và giai đoạn gán quyền bầu cử thông qua kỹ thuật làm mù thông tin. So với các hệ thống bỏ phiếu truyền thống dễ phát sinh sai sót kiểm phiếu thủ công, hoặc các mô hình bỏ phiếu điện tử thời kỳ đầu tại Tây Ban Nha và Hà Lan vốn thiếu cơ chế giám sát ngưỡng phân quyền, giải pháp đề xuất trong luận văn khắc phục triệt để nguy cơ thỏa hiệp máy chủ quản trị.

Trong quá trình phân tích thực nghiệm, dữ liệu nghiên cứu có thể được trình bày sinh động qua Bảng so sánh thời gian thực thi giữa mã hóa đối xứng và mã hóa bất đối xứng theo dung lượng gói tin, kết hợp cùng Biểu đồ đường thể hiện thời gian giải hệ phương trình tuyến tính bằng phương pháp khử Gauss khi quy mô số lượng thành viên phân phối mảnh khóa tăng từ 3 lên 10 người. Các biểu đồ này minh chứng rõ nét rằng chi phí tính toán tăng không đáng kể, hoàn toàn đáp ứng tốt yêu cầu vận hành thời gian thực của các kỳ bầu cử quy mô lớn.

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

Nhằm hoàn thiện và đưa các kết quả nghiên cứu vào ứng dụng thực tiễn trong giai đoạn chuyển đổi số quốc gia, 4 nhóm giải pháp cụ thể được khuyến nghị:

Thứ nhất, hiện đại hóa thuật toán mã hóa và nâng cấp độ dài khóa an toàn. Đội ngũ kỹ thuật cần chuyển đổi thuật toán mã hóa khối từ DES sang chuẩn tiên tiến AES-256, đồng thời nâng cấp độ dài khóa RSA từ 1024-bit lên mức 2048-bit hoặc 4096-bit, hoặc tích hợp mật mã đường cong elliptic ECC. Mục tiêu là duy trì khả năng chống thám mã đạt chuẩn quốc tế trong vòng 6 tháng tới.

Thứ hai, tích hợp liên thông với hạ tầng định danh điện tử quốc gia. Cơ quan quản lý nhà nước và Ban tổ chức bầu cử cần đồng bộ hóa hệ thống đăng ký với cơ sở dữ liệu căn cước công dân gắn chip và hệ thống chứng thực chữ ký số công cộng. Mục tiêu là đạt tỷ lệ tự động hóa xác thực danh tính 100% qua môi trường mạng trong lộ trình 12 tháng.

Thứ ba, thiết lập quy chế phân quyền giám sát độc lập thông qua sơ đồ ngưỡng Shamir. Ban điều hành bầu cử cần quy định bắt buộc việc phân chia khóa ký cho tối thiểu 3 đến 5 ủy viên thuộc các cơ quan kiểm tra độc lập nắm giữ. Quy trình hợp nhất khóa chỉ được kích hoạt công khai trước thời điểm mở cổng đăng ký 24 giờ.

Thứ tư, xây dựng hệ thống phòng thủ chuyên sâu chống tấn công từ chối dịch vụ. Đội ngũ an ninh mạng chuyên trách cần thiết lập tường lửa ứng dụng, mạng riêng ảo và các trung tâm điều hành an toàn thông tin để đảm bảo chỉ số sẵn sàng của hệ thống đạt mức tối thiểu 99,99% xuyên suốt 24/7 trong toàn bộ thời gian diễn ra đợt đăng ký.

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

Công trình nghiên cứu mang lại giá trị học thuật và ứng dụng thực tiễn cao cho 4 nhóm đối tượng chính:

Nhóm thứ nhất: Học viên cao học, nghiên cứu sinh và giảng viên chuyên ngành Công nghệ thông tin, An toàn thông tin và Hệ thống thông tin. Công trình cung cấp hệ thống cơ sở lý thuyết chuẩn mực về chữ ký mù RSA, giải thuật khử Gauss giải hệ phương trình chia sẻ bí mật trên trường hữu hạn, phục vụ trực tiếp cho việc giảng dạy và phát triển các đề tài an ninh mạng chuyên sâu.

Nhóm thứ hai: Kỹ sư phần mềm và kiến trúc sư hệ thống tại các doanh nghiệp công nghệ. Luận văn cung cấp bản thiết kế chi tiết gồm 6 bảng cơ sở dữ liệu quan hệ tối ưu và mô hình mã hóa lai, là tài liệu tham khảo trực tiếp khi xây dựng các cổng dịch vụ công trực tuyến, hệ thống bỏ phiếu đại hội đồng cổ đông hay các ứng dụng quản lý định danh.

Nhóm thứ ba: Cơ quan quản lý nhà nước và ban tổ chức các cuộc bầu cử, trưng cầu dân ý. Luận văn giúp các nhà quản lý thấu hiểu quy trình 4 giai đoạn bỏ phiếu điện tử chuẩn hóa, từ đó xây dựng hành lang pháp lý, tiêu chuẩn kỹ thuật và quy chế vận hành bầu cử số minh bạch, an toàn.

Nhóm thứ tư: Doanh nghiệp phát triển giải pháp tài chính số, ngân hàng và chứng thực điện tử. Các đơn vị này có thể ứng dụng trực tiếp giao thức chữ ký mù và cơ chế chống chối bỏ để bảo vệ thông tin giao dịch nặc danh nhưng vẫn bảo đảm tính hợp pháp cho khách hàng.

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

Tại sao giai đoạn đăng ký bỏ phiếu điện tử lại là mắt xích quan trọng nhất cần bảo vệ? Giai đoạn đăng ký là cửa ngõ thiết lập tính hợp lệ của toàn bộ cuộc bầu cử. Nếu khâu này bị tấn công, kẻ xấu có thể chèn cử tri giả mạo hoặc cấp nhiều phiếu cho một người. Việc bảo vệ giai đoạn này giúp đảm bảo 100% cử tri hợp lệ đều được ghi nhận đúng và ngăn chặn triệt để gian lận ngay từ đầu vào.

Chữ ký mù RSA bảo vệ tính ẩn danh của lá phiếu cử tri bằng cách nào? Cử tri dùng một số ngẫu nhiên bí mật để làm mù định danh lá phiếu trước khi gửi cho Ban đăng ký. Ban đăng ký ký xác thực trên dữ liệu đã bị che khuất mà không biết thông tin gốc. Khi nhận lại, cử tri xóa mù để có chữ ký hợp lệ, đảm bảo Ban đăng ký không thể liên kết danh tính với phiếu bầu.

Sơ đồ chia sẻ bí mật Shamir ngăn chặn gian lận nội bộ của Ban đăng ký ra sao? Khóa bí mật dùng để ký duyệt phiếu không nằm trong tay một cá nhân đơn lẻ mà được chia thành nhiều mảnh cho các ủy viên nắm giữ. Để tạo chữ ký, hệ thống bắt buộc phải thu thập đủ số lượng mảnh khóa theo ngưỡng quy định, ngăn chặn hoàn toàn nguy cơ một người tự ý phát hành phiếu trái phép.

Hệ thống ngăn chặn tình trạng một cử tri đăng ký bỏ phiếu nhiều lần như thế nào? Khi tiếp nhận hồ sơ, hệ thống đối soát số chứng minh thư hoặc căn cước điện tử với danh sách đã lưu trữ thông qua cơ sở dữ liệu chuẩn hóa. Đồng thời, hệ thống sử dụng giao thức chống chối bỏ với chữ ký số của cử tri, đảm bảo mỗi mã định danh công dân duy nhất chỉ được duyệt cấp phiếu một lần.

Vì sao luận văn lại kết hợp cả mã hóa đối xứng DES và mã hóa bất đối xứng RSA? Mã hóa đối xứng DES có ưu điểm vượt trội về tốc độ xử lý các gói tin hồ sơ dung lượng lớn, trong khi RSA giải quyết an toàn bài toán trao đổi khóa qua mạng công cộng. Sự kết hợp này giúp hệ thống tăng tốc độ xử lý hơn khoảng 65% mà vẫn duy trì tính bảo mật tối đa cho toàn bộ đường truyền.

Kết luận

Luận văn đã hoàn thành xuất sắc các mục tiêu nghiên cứu với 5 điểm nhấn then chốt:

  • Hệ thống hóa toàn diện cơ sở lý thuyết về an toàn thông tin, mật mã học khóa công khai RSA, chữ ký mù và sơ đồ chia sẻ bí mật ngưỡng Shamir.
  • Giải quyết triệt để 5 bài toán an toàn thông tin cốt lõi trong giai đoạn đăng ký: bảo vệ hồ sơ, thẩm định tư cách, ẩn danh lá phiếu, chống cử tri đăng ký nhiều lần và chống lạm quyền cấp phát phiếu.
  • Đề xuất kiến trúc mã hóa lai kết hợp DES và RSA, tối ưu hóa tốc độ xử lý dữ liệu và tiết kiệm băng thông mạng truyền thông.
  • Thiết kế hoàn chỉnh cơ sở dữ liệu chuẩn hóa gồm 6 bảng thực thể và xây dựng phần mềm thử nghiệm hoạt động ổn định, chính xác.
  • Đảm bảo 100% tính ẩn danh cho cử tri song hành cùng năng lực kiểm soát gian lận tuyệt đối cho ban tổ chức bầu cử.

Đóng góp lớn nhất của công trình là cung cấp một mô hình giải pháp kỹ thuật khả thi, kết hợp chặt chẽ giữa toán học mật mã và kỹ thuật công nghệ thông tin ứng dụng. Trong kế hoạch 6 đến 12 tháng tiếp theo, hệ thống cần tiếp tục được nâng cấp lên chuẩn mã hóa AES-256, tích hợp định danh căn cước số và mở rộng thử nghiệm trên quy mô mạng diện rộng. Đây là tài liệu khoa học giá trị, kêu gọi các nhà nghiên cứu và cơ quan quản lý cùng chung tay ứng dụng để hiện đại hóa nền hành chính công dân chủ, văn minh.