Tổng quan nghiên cứu

Trong bối cảnh chuyển đổi số giáo dục đang diễn ra mạnh mẽ, việc ứng dụng công nghệ thông tin vào công tác quản trị trường học đã trở thành yêu cầu cấp thiết. Tại các cơ sở giáo dục trung học phổ thông, hoạt động lấy ý kiến phản hồi của học sinh về công tác giảng dạy của giáo viên vào cuối mỗi năm học đóng vai trò quan trọng nhằm nâng cao chất lượng đào tạo. Phương pháp khảo sát truyền thống bằng phiếu giấy tại Trường Trung học Phổ thông Chuyên Hạ Long bộc lộ nhiều hạn chế lớn: thời gian in ấn và phân phát phiếu kéo dài từ 7 đến 10 ngày, chi phí văn phòng phẩm tốn kém, cùng áp lực kiểm phiếu thủ công cho hơn 1.000 học sinh trong quỹ thời gian eo hẹp trước lễ tổng kết năm học. Hơn nữa, phương pháp thủ công tiềm ẩn nguy cơ sai lệch số liệu và khó bảo đảm tuyệt đối tính ẩn danh cho người học.

Luận văn thạc sĩ khoa học máy tính với đề tài "Nghiên cứu kỹ thuật an toàn thông tin trong kiểm phiếu điện tử - Ứng dụng cho Trường Trung học Phổ thông Chuyên Hạ Long" được thực hiện nhằm giải quyết trọn vẹn bài toán trên. Mục tiêu cốt lõi của nghiên cứu là xây dựng giải pháp công nghệ toàn diện, cho phép số hóa 100% quy trình thăm dò ý kiến, rút ngắn thời gian kiểm phiếu từ nhiều ngày xuống dưới 15 phút, đồng thời thỏa mãn đồng thời ba tiêu chuẩn an toàn thông tin khắt khe: tính bí mật của lá phiếu, tính toàn vẹn của kết quả kiểm phiếu và tính xác thực của cử tri. Phạm vi nghiên cứu tập trung vào khảo sát thực nghiệm tại các lớp chuyên như lớp 10 Toán và lớp 12 Anh 2 thuộc Trường THPT Chuyên Hạ Long trong giai đoạn năm học 2018 - 2020. Kết quả nghiên cứu mang ý nghĩa thực tiễn to lớn khi giúp giảm thiểu trên 90% nhân lực kiểm phiếu, loại bỏ hoàn toàn sai số do yếu tố con người và cung cấp nền tảng lý thuyết vững chắc cho các hệ thống biểu quyết điện tử trong khối trường học.

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

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng trên nền tảng vững chắc của mật mã học hiện đại và lý thuyết đại số trừu tượng. Hai trụ cột lý thuyết chính được vận dụng bao gồm:

Thứ nhất, hệ mật mã khóa công khai Elgamal dựa trên độ phức tạp tính toán của bài toán logarit rời rạc trong nhóm cyclic hữu hạn Zp*. Điểm đột phá của hệ mã Elgamal là tính chất đồng cấu nhân. Cho hai bản rõ m1, m2 với các tham số ngẫu nhiên k1, k2, tích của hai bản mã tương ứng sẽ tạo ra bản mã của tổng hai bản rõ: Ek1(m1) ⊗ Ek2(m2) = Ek(m1 ⊕ m2). Đặc tính này cho phép ban kiểm phiếu tính toán tổng số phiếu bầu mà không cần giải mã từng lá phiếu riêng lẻ.

Thứ hai, sơ đồ chia sẻ bí mật ngưỡng (t, n) của Adi Shamir (1979) kết hợp phép nội suy đa thức Lagrange. Bí mật được giấu trong hệ số tự do của đa thức bậc t-1 trên trường hữu hạn Zp. Khóa bí mật chỉ có thể khôi phục khi có sự đồng thuận của ít nhất t thành viên trong tổng số n thành viên ban kiểm phiếu, ngăn ngừa hoàn toàn hành vi thao túng kết quả từ một cá nhân đơn lẻ.

Nghiên cứu làm rõ 4 khái niệm trung tâm:

  1. Tính bí mật (Confidentiality): Nội dung lựa chọn của cử tri được mã hóa ngay tại thiết bị đầu cuối và giữ kín tuyệt đối trên đường truyền.
  2. Tính toàn vẹn (Integrity): Dữ liệu phiếu bầu không thể bị thêm, bớt hoặc chỉnh sửa trái phép tại hòm phiếu điện tử.
  3. Tính xác thực (Authenticity): Nhận diện chính xác quyền biểu quyết hợp lệ thông qua hệ thống chữ ký số Elgamal, Schnorr và chuẩn DSS.
  4. Tính chống chối bỏ (Non-repudiation): Cử tri không thể phủ nhận lá phiếu hợp lệ đã được ký và gửi đi, đồng thời hệ thống ngăn chặn việc bỏ phiếu hai lần.

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

Nghiên cứu kết hợp chặt chẽ giữa phương pháp nghiên cứu lý thuyết và phương pháp thực nghiệm phần mềm:

  • Nguồn dữ liệu: Thu thập từ các mẫu phiếu hỏi nhận xét giáo viên thực tế tại Trường THPT Chuyên Hạ Long năm học 2018 - 2019, cùng tập dữ liệu mô phỏng với hơn 500 bản ghi cử tri đại diện cho các lớp chuyên.
  • Cỡ mẫu và phương pháp chọn mẫu: Cỡ mẫu thực nghiệm gồm toàn bộ học sinh lớp 10 Toán (35 học sinh) và lớp 12 Anh 2 (32 học sinh), áp dụng phương pháp chọn mẫu phân tầng có chủ đích nhằm đại diện cho cả khối học sinh mới nhập học và khối chuẩn bị ra trường.
  • Lý do lựa chọn phương pháp phân tích: Phương pháp mô hình hóa toán học trên nhóm Zp với các số nguyên tố lớn (như p = 707933) và kiểm thử thuật toán được lựa chọn vì cho phép định lượng chính xác độ an toàn tính toán, chứng minh tính đúng đắn của phép giải mã đồng cấu và xác định thời gian thực thi thuật toán.
  • Timeline nghiên cứu: Giai đoạn thu thập tài liệu và phân tích yêu cầu (tháng 09/2019 - 12/2019); giai đoạn thiết kế mô hình toán học và thuật toán (tháng 01/2020 - 04/2020); giai đoạn lập trình thử nghiệm và đánh giá kết quả (tháng 05/2020 - 09/2020).

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ử nghiệm đã mang lại 4 kết quả then chốt:

  1. Tối ưu hóa kiểm phiếu dạng Có/Không nhờ tính đồng cấu Elgamal: Thay vì giải mã tuần tự N lá phiếu riêng lẻ gây tốn chi phí tính toán O(N), hệ thống thực hiện nhân trực tiếp N bản mã (X, Y) = (∏ xi, ∏ yi) với độ phức tạp O(1). Kết quả giải mã tổng Y / (X^a) trả về chính xác số lượng phiếu đồng ý trong thời gian dưới 0,5 giây cho 100 cử tri, giúp giảm 78% thời gian xử lý so với giải mã truyền thống.
  2. Giải quyết bài toán chọn L trong K bằng mã hóa cơ số: Nghiên cứu đã biểu diễn thành công sự lựa chọn phức tạp (chọn L tiêu chí trong K phương án) dưới dạng số nguyên theo hệ cơ số K. Với bài toán chọn 2 trong 3 tiêu chí đánh giá giáo viên (A, B, C), nội dung phiếu s = 03^0 + 23^1 = 6 được bảo toàn nguyên vẹn 100% sau khi giải mã qua hệ số Lagrange.
  3. Loại bỏ hoàn toàn gian lận bằng sơ đồ ngưỡng Shamir kết hợp Elgamal: Thử nghiệm với ban kiểm phiếu gồm 3 thành viên (A1, A2, A3) nắm giữ các khóa bí mật riêng biệt (z1=2, z2=3, z3=5) cho thấy, nếu chỉ có 2 thành viên kết hợp thì tỷ lệ giải mã thành công là 0%. Khi đủ 3 thành viên đồng thuận, nội dung lá phiếu g^s được khôi phục chính xác 100% nhờ hệ số liên hợp Lagrange (λ1=3, λ2=-3, λ3=1).
  4. Xác thực cử tri và chống giả mạo bằng chữ ký số: Ứng dụng lược đồ ký Elgamal với hàm băm SHA tạo ra cặp chữ ký (r, s) ngắn gọn. Thử nghiệm trên 100 lượt bỏ phiếu cho thấy hệ thống xác minh chính xác 100% cử tri hợp lệ, phát hiện và từ chối 100% các trường hợp giả mạo khóa hoặc cố tình bỏ phiếu lần thứ hai.

Thảo luận kết quả

Hiệu năng vượt trội của hệ thống xuất phát từ việc khai thác triệt để cấu trúc đại số của nhóm cyclic Zp* và độ khó của bài toán logarit rời rạc. Trong các cuộc bỏ phiếu truyền thống, sự mâu thuẫn giữa tính kiểm tra được và tính tự do lựa chọn là bài toán nan giải. Khi công khai danh sách người bỏ phiếu, cử tri dễ bị khống chế hoặc mua chuộc; khi ẩn danh tuyệt đối, cử tri lại không thể kiểm tra lá phiếu của mình có bị sửa đổi hay không. Giải pháp kết hợp mã hóa khóa công khai Elgamal và sơ đồ Shamir đã hóa giải triệt để mâu thuẫn này.

So sánh với các nghiên cứu sử dụng hệ mật mã RSA, sơ đồ chữ ký Schnorr và DSS được kế thừa trong luận văn cho thấy ưu thế vượt trội về kích thước khóa và tốc độ ký. Sơ đồ Schnorr chỉ yêu cầu chữ ký có độ dài 2|q| bit (khoảng 320 bit) so với 2|p| bit (khoảng 2048 bit) của Elgamal thông thường, giảm độ phức tạp tính toán từ O(log^3 p) xuống O(log^2 q * log^2 p), giúp tiết kiệm hơn 60% băng thông mạng truyền tải. Toàn bộ dữ liệu kiểm phiếu, bảng so sánh thời gian thực thi và biểu đồ phân bổ tải trọng mã hóa giữa máy khách và máy chủ được trực quan hóa sinh động qua các biểu đồ cột và bảng tổng hợp trong chương trình thử nghiệm, chứng minh tính khả thi cao khi ứng dụng vào môi trường giáo dục thực tế.

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

Dựa trên kết quả nghiên cứu, luận văn đưa ra 4 khuyến nghị hành động cụ thể:

  1. Xây dựng cổng thông tin lấy ý kiến giảng dạy trực tuyến: Ban Giám hiệu Trường THPT Chuyên Hạ Long cần chỉ đạo tổ Tin học phối hợp xây dựng hệ thống phần mềm bỏ phiếu điện tử trên nền tảng Web và Mobile, tích hợp thuật toán đồng cấu Elgamal nhằm số hóa 100% các kỳ khảo sát giáo viên từ quý 2/2021.
  2. Chuẩn hóa quy trình phân quyền ban kiểm phiếu điện tử: Ban điều hành nhà trường cần thiết lập quy chế bảo mật áp dụng sơ đồ chia sẻ bí mật Shamir (ngưỡng 3/3 hoặc 3/5), phân chia các mảnh khóa mật cho đại diện Ban Giám hiệu, Công đoàn và Đoàn Thanh niên trước quý 3/2021 nhằm đảm bảo tính minh bạch tuyệt đối.
  3. Nâng cấp hạ tầng xác thực cử tri bằng chữ ký số nhẹ: Bộ phận kỹ thuật công nghệ thông tin cần tích hợp chuẩn chữ ký Schnorr hoặc DSS kết hợp hàm băm SHA-256 vào tài khoản học sinh, hoàn thành việc cấp phát định danh số cho hơn 1.200 học sinh trước quý 4/2021 để giảm 50% độ trễ xác thực.
  4. Tổ chức tập huấn an toàn thông tin định kỳ: Đoàn Thanh niên và Tổ Tin học cần tổ chức các buổi hội thảo hướng dẫn quy trình bỏ phiếu số cho 100% giáo viên chủ nhiệm và học sinh trong quý 1/2022, nâng cao nhận thức về bảo mật thông tin và quyền riêng tư dữ liệu học đường.

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

  1. Ban giám hiệu và cán bộ quản lý giáo dục: Sử dụng luận văn làm cơ sở chuyển đổi số quy trình đánh giá nhân sự cuối năm, giúp tiết kiệm 80% thời gian tổng hợp và nâng cao tính khách quan trong thi đua khen thưởng.
  2. Kỹ sư phần mềm và chuyên gia an toàn thông tin: Tham khảo kiến trúc kết hợp giữa mã hóa đồng cấu Elgamal và sơ đồ chia sẻ bí mật Shamir để ứng dụng vào phát triển các hệ thống biểu quyết số, cổng lấy ý kiến cổ đông hoặc hệ thống khảo sát doanh nghiệp.
  3. Giảng viên, học viên cao học và sinh viên ngành Khoa học máy tính: Sử dụng như tài liệu chuyên khảo chuyên sâu về ứng dụng đại số hiện đại, bài toán logarit rời rạc và các chuẩn chữ ký số (DSS, Schnorr, GOST 34.10-94) trong bảo mật dữ liệu.
  4. Các cơ quan hành chính và tổ chức đoàn thể: Tận dụng mô hình toán học để triển khai các cuộc bầu cử ban chấp hành, đại hội đại biểu các cấp với độ an toàn cao, chống gian lận và đảm bảo tính ẩn danh tuyệt đối cho đại biểu.

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

Tại sao hệ mã hóa Elgamal lại được chọn thay vì RSA cho bài toán kiểm phiếu?

Hệ mã hóa Elgamal sở hữu tính chất đồng cấu nhân tự nhiên, cho phép nhân trực tiếp các bản mã để tính tổng số phiếu mà không cần giải mã từng lá phiếu riêng lẻ. Trong khi đó, việc áp dụng RSA cho kiểm phiếu đồng cấu đòi hỏi các kỹ thuật bổ trợ rất phức tạp và tốn tài nguyên tính toán hơn nhiều.

Sơ đồ chia sẻ bí mật Shamir ngăn chặn gian lận kiểm phiếu như thế nào?

Sơ đồ Shamir chia nhỏ khóa bí mật giải mã thành n mảnh và phân phát cho n thành viên ban kiểm phiếu. Dựa trên tính chất đa thức bậc t-1, chỉ khi có đủ số lượng thành viên tối thiểu (ngưỡng t) cùng nhập mảnh khóa thì mới khôi phục được kết quả, ngăn chặn 100% nguy cơ một cá nhân tự ý can thiệp.

Làm thế nào để đảm bảo học sinh không bị lộ danh tính khi nhận xét giáo viên?

Hệ thống sử dụng chữ ký số để xác thực quyền bỏ phiếu hợp lệ ở cổng tiếp nhận, nhưng nội dung lá phiếu được mã hóa độc lập bằng khóa công khai. Khi kiểm phiếu, ban tổ chức chỉ giải mã tổng đại số của các bản mã mà không thể truy ngược lại lá phiếu cụ thể thuộc về học sinh nào.

Bài toán bỏ phiếu chọn L trong K phương án được mã hóa ra sao?

Nghiên cứu sử dụng kỹ thuật biểu diễn số học theo cơ số K. Ví dụ khi cử tri chọn 2 tiêu chí A và C trong 3 tiêu chí (A=0, B=1, C=2), lựa chọn được mã hóa thành số nguyên duy nhất s = 03^0 + 23^1 = 6, sau đó được chia sẻ và mã hóa qua đa thức bậc hai trên trường Zp.

Hệ thống có thể mở rộng cho quy mô toàn tỉnh hoặc toàn quốc không?

Mô hình toán học hoàn toàn có khả năng mở rộng không giới hạn. Để phục vụ quy mô hàng chục ngàn cử tri, hệ thống chỉ cần nâng cấp tham số kích thước số nguyên tố p lên 2048-bit hoặc chuyển dịch sang hệ mật mã đường cong Elliptic (ECC) nhằm tối ưu tốc độ xử lý và dung lượng bộ nhớ.

Kết luận

  • Luận văn đã giải quyết trọn vẹn bài toán an toàn thông tin trong kiểm phiếu điện tử phục vụ khảo sát ý kiến giáo viên tại Trường THPT Chuyên Hạ Long.
  • Ứng dụng thành công tính chất đồng cấu của hệ mã Elgamal, cho phép kiểm phiếu chính xác tuyệt đối mà không cần mở từng lá phiếu cá nhân.
  • Tích hợp hiệu quả sơ đồ chia sẻ bí mật ngưỡng Shamir (1979), loại bỏ 100% nguy cơ gian lận đơn phương từ ban kiểm phiếu.
  • Xây dựng giải pháp xác thực cử tri tin cậy bằng chữ ký số, bảo đảm tính toàn vẹn và chống chối bỏ với độ phức tạp tính toán tối ưu.
  • Chương trình thử nghiệm thực tế chứng minh tính khả thi cao, giảm hơn 90% thời gian và nhân lực so với phương pháp kiểm phiếu truyền thống.

Đóng góp lớn nhất của nghiên cứu là thiết lập một khung kiến trúc an toàn thông tin mẫu mực, kết hợp hài hòa giữa lý thuyết mật mã trừu tượng và ứng dụng thực tiễn trong học đường. Trong giai đoạn 6 đến 12 tháng tới, hướng phát triển trọng tâm là chuyển đổi thuật toán sang hệ mật mã đường cong Elliptic (ECC) và tích hợp công nghệ chuỗi khối (Blockchain) để nâng cao tính minh bạch công khai. Các trường học và tổ chức giáo dục hãy bắt đầu lộ trình số hóa quy trình khảo sát ngay hôm nay để tối ưu hóa hiệu quả quản trị và bảo vệ tối đa quyền riêng tư của người học.