Tổng quan về luận án

Luận án này tập trung vào việc “Phát triển và xây dựng tham số an toàn cho hệ chữ ký số trên bài toán logarit rời rạc theo modul hợp số”, một lĩnh vực then chốt trong an toàn và bảo mật thông tin, đặc biệt trong bối cảnh cuộc Cách mạng Công nghiệp 4.0 đang diễn ra mạnh mẽ. Nghiên cứu tiên phong này được thúc đẩy bởi sự cần thiết phải đối phó với những thách thức ngày càng tăng của các cuộc tấn công mạng, như vụ tấn công mã độc NotPetya năm 2017 và thiệt hại 14.900 tỷ đồng (tương đương 642 triệu USD) do virus máy tính gây ra cho người dùng Việt Nam chỉ riêng trong năm 2018, theo thông tin từ [56]. Các dịch vụ điện tử, dù mang lại lợi ích to lớn, cũng tiềm ẩn nguy cơ mất an toàn thông tin rất cao. Luận án đã xác định một khoảng trống học thuật cụ thể trong các lược đồ chữ ký số hiện có, đặc biệt là những lược đồ dựa trên bài toán logarit rời rạc (DLP) trên trường hữu hạn $\mathbb{Z}_p$ và vành hữu hạn $\mathbb{Z}_n$.

Research Gap SPECIFIC với citations từ literature: Các lược đồ chữ ký số trên trường $\mathbb{Z}_p$, như ElGamal và các biến thể của nó (DSA, Schnorr), mặc dù được ứng dụng rộng rãi, nhưng có những tồn tại cố hữu nghiêm trọng. Cụ thể, chúng "công khai cấp của phần tử sinh (chính xác hơn là không thể che giấu cấp phần tử sinh)", điều này dẫn đến hai nguy cơ chính: "nguy cơ thứ nhất là mất an toàn trong tình huống trùng khóa phiên hoặc lộ khóa phiên; nguy cơ thứ hai có khả năng bị tấn công bởi các thuật toán giải bài toán logarit rời rạc dựa vào cấp của phần tử sinh 𝑔 khi tham số của lược đồ chữ ký không đạt tiêu chuẩn an toàn, chẳng hạn tấn công sử dụng thuật toán Rho của Pollard, thuật toán Pohlig Hellman và thuật toán Index calculate" (trang 10). Hơn nữa, "tốc độ sinh chữ ký của lược đồ chữ ký trên trường $\mathbb{Z}_p$ chậm hơn nhiều tốc độ sinh chữ ký của các lược đồ chữ ký cùng loại trên vành $\mathbb{Z}_n$," do chi phí lớn của các phép lũy thừa và tính nghịch đảo trên trường $\mathbb{Z}_p$ so với vành $\mathbb{Z}_n$ khi áp dụng định lý CRT (trang 10). Các nghiên cứu như [13], [17], [18], [27-29], [32], [33], [38], [44], [46-52] đã khảo sát các lược đồ trên $\mathbb{Z}_p$ nhưng chưa khắc phục triệt để các hạn chế này.

Đối với các lược đồ trên vành $\mathbb{Z}_n$, luận án cũng chỉ ra một số khoảng trống học thuật. Các nhà khoa học "mới dừng lại ở việc đề xuất lược đồ chữ ký số mới, chứng minh tính đúng đắn và kết luận tính an toàn của lược đồ dựa trên một hoặc hai bài toán khó nào đó" (trang 11). Cụ thể, các lược đồ đã công bố như của Nguyễn Xuân Quỳnh [6], Hồ Ngọc Duy [1], Phạm Văn Hiệp [3], [4], [64], [65], [66], [67] trong nước, và Okamoto E. Girault [34], Chik How Tan [16], S. Gupta [39] trên thế giới, "chưa xây dựng cơ sở toán học và hệ tiêu chuẩn cho tham số" (trang 11). Ngoài ra, "đa số các lược đồ chữ ký chưa được khuyến cáo cho người sử dụng nên sử dụng hệ tiêu chuẩn tham số đã có của thế giới"; "một số lược đồ chữ ký định lượng độ lớn cấp của phần tử sinh là số 256 bit mà không đưa ra lý giải tại sao", và điều này có thể dẫn đến việc "không thể sử dụng được hàm băm SHA 512, dẫn đến độ an toàn của nó bị hạn chế" (trang 11). Các vấn đề về chi phí tính toán cao do độ lớn cấp của phần tử sinh xấp xỉ số modulo [39] và sự không thực tế khi sử dụng số nguyên tố siêu mạnh cho modulo $n$ cũng là những điểm tồn tại cần giải quyết.

Research questions và hypotheses: Luận án giải quyết các vấn đề này thông qua ba mục tiêu nghiên cứu chính, có thể được diễn giải thành các câu hỏi nghiên cứu và giả thuyết như sau:

  1. RQ1: Làm thế nào để phát triển các lược đồ chữ ký số trên vành $\mathbb{Z}_n$ có khả năng che giấu cấp của phần tử sinh, đồng thời cải thiện hiệu quả tính toán so với các lược đồ trên trường $\mathbb{Z}_p$?
    • Hypothesis 1 (H1): Các lược đồ chữ ký số được phát triển trên vành $\mathbb{Z}_n$ có thể che giấu cấp của phần tử sinh, từ đó tăng cường độ an toàn chống lại các cuộc tấn công dựa trên cấp phần tử sinh và lộ/trùng khóa phiên, và cho phép chi phí tính toán thấp hơn nhờ ứng dụng Định lý Số dư Trung Quốc (CRT).
  2. RQ2: Cần xây dựng cơ sở toán học và hệ tiêu chuẩn tham số an toàn như thế nào để đảm bảo tính an toàn và hiệu quả cho các lược đồ chữ ký số trên vành $\mathbb{Z}_n$, và đề xuất môi trường ứng dụng cụ thể cho chúng?
    • Hypothesis 2 (H2): Việc xây dựng công thức tính ngưỡng an toàn và hệ tiêu chuẩn tham số dựa trên các chuẩn quốc tế (FIPS, NIST) và Việt Nam (TCVN), cùng với việc đề xuất môi trường ứng dụng (KT-XH, AN-QP), sẽ cung cấp cơ sở vững chắc cho việc triển khai an toàn các lược đồ chữ ký số mới trên vành $\mathbb{Z}_n$.
  3. RQ3: Làm thế nào để phát triển một công cụ thực nghiệm để sinh tham số, sinh chữ ký và xác nhận chữ ký theo các tiêu chuẩn đã đề xuất, nhằm kiểm chứng tính đúng đắn và hiệu quả của các lược đồ?
    • Hypothesis 3 (H3): Một công cụ phần mềm có khả năng sinh tham số, sinh và xác nhận chữ ký theo hệ tiêu chuẩn đã xây dựng có thể chứng minh tính khả thi, tính đúng đắn và hiệu quả của các lược đồ chữ ký số đề xuất.

Theoretical framework với tên theories cụ thể: Luận án được xây dựng trên nền tảng lý thuyết số và mật mã học. Các lý thuyết cốt lõi bao gồm:

  • Bài toán Logarit Rời rạc (Discrete Logarithm Problem - DLP): Đây là nền tảng an toàn của các lược đồ ElGamal, DSA, và các biến thể. Luận án đặc biệt tập trung vào DLP trên trường hữu hạn $\mathbb{Z}_p$ (DLPp) và DLP trên vành hữu hạn $\mathbb{Z}_n$ (DLPn).
  • Bài toán Phân tích Số (Factorization Problem - FP): Tính khó giải của FP trên số modulo $n$ (n=p.q) là cơ sở cho việc che giấu cấp của phần tử sinh trong vành $\mathbb{Z}_n$, qua đó tăng cường an toàn. Lược đồ RSA dựa trên tính khó giải của FP.
  • Định lý Số dư Trung Quốc (Chinese Remainder Theorem - CRT): Luận án sử dụng CRT (Bổ đề 2.3) để chứng minh rằng "phép lũy thừa và phép nghịch đảo trên vành $\mathbb{Z}_n$ với n = p.q có chi phí chỉ bằng 1/3 chi phí trên trường $\mathbb{Z}_p$ với L(p) = L(n)" (trang 43), giúp giảm chi phí tính toán.
  • Lý thuyết độ phức tạp thuật toán (Computational Complexity Theory): Được sử dụng để phân tích và so sánh hiệu quả chi phí tính toán của các thuật toán sinh và xác nhận chữ ký, cũng như định lượng độ an toàn của lược đồ thông qua các khái niệm như "thời gian đa thức" và ký hiệu O lớn.
  • Mật mã khóa công khai (Public-key Cryptography): Luận án dựa trên các nguyên tắc cơ bản của mật mã khóa công khai để thiết kế các lược đồ chữ ký số, bao gồm các khái niệm về khóa bí mật, khóa công khai, và các hàm KeyGen, Sig, Ver.

Đóng góp đột phá với quantified impact: Luận án mang lại nhiều đóng góp đột phá, có tiềm năng tác động đáng kể:

  1. Bốn lược đồ chữ ký số mới trên vành $\mathbb{Z}_n$: Đề xuất thành công bốn lược đồ mới có độ an toàn dựa trên tính khó giải của bài toán logarit rời rạc trên vành $\mathbb{Z}_n$, giải quyết các hạn chế của các lược đồ trên $\mathbb{Z}_p$ về khả năng che giấu cấp của phần tử sinh và hiệu quả tính toán.
  2. Hệ tiêu chuẩn tham số an toàn định lượng: Luận án đã xây dựng công thức tính ngưỡng an toàn (Security_strength) và một hệ tiêu chuẩn tham số an toàn cho các lược đồ đề xuất. Điều này "định lượng được tham số mà tiền đề là ngưỡng an toàn và sau đó là hệ tiêu chuẩn tham số an toàn" (trang 16), cung cấp cơ sở khoa học và thực tiễn cho việc triển khai.
  3. Công cụ sinh tham số và môi trường ứng dụng: Phát triển công cụ phần mềm để sinh tham số thỏa mãn hệ tiêu chuẩn, đồng thời đề xuất hai môi trường ứng dụng cụ thể là KT-XH (Kinh tế - Xã hội) và AN-QP (An ninh - Quốc phòng). Đây là "điểm khác biệt so với các luận án tiến sĩ cùng hướng nghiên cứu trong thời gian qua" (trang 16), giúp các tổ chức và cá nhân có căn cứ tham khảo, đánh giá và ứng dụng.
  4. Tăng cường an toàn và hiệu quả: Luận án khẳng định rằng "việc phát triển các lược đồ chữ ký số trên vành hữu hạn ℤn là có cơ sở khoa học, đảm bảo tính đúng đắn, tính đầy đủ, tính hiệu quả và an toàn hơn các lược đồ chữ ký số cùng loại trên trường ℤp" (trang 16). Điều này có thể giảm thiểu "nguy cơ mất an toàn xảy ra trong tình huống trùng khóa phiên hoặc lộ khóa phiên" và "nâng cao hiệu quả cho các lược đồ chữ ký", trực tiếp góp phần vào việc giảm thiểu thiệt hại kinh tế do tấn công mạng, vốn lên đến hàng tỷ USD như các vụ tấn công vào các tập đoàn kinh tế hàng đầu của Mỹ năm 2018.

Scope (sample size, timeframe) và significance: Phạm vi nghiên cứu bao gồm việc khảo sát các lược đồ chữ ký số trên cả trường $\mathbb{Z}_p$ và vành $\mathbb{Z}_n$ đã công bố trên thế giới và trong nước. Luận án xây dựng lược đồ cơ sở và phát triển bốn lược đồ chữ ký số cụ thể trên vành hữu hạn $\mathbb{Z}_n$. Về thực nghiệm, nghiên cứu tiến hành kiểm chứng tính đúng đắn, tính đầy đủ, tính hiệu quả của các lược đồ đề xuất và so sánh chi phí tính toán với ElGamal và DSA. Nó cũng kiểm tra tính đúng đắn của công thức tính ngưỡng an toàn và xác minh tham số được sinh ra theo từng tiêu chuẩn. Thời gian nghiên cứu được đề cập trong việc sinh tham số "áp dụng cho năm 2018 và các năm tiếp theo", cho thấy tính thời sự và khả năng ứng dụng dài hạn.

Tính ý nghĩa của luận án nằm ở khả năng cung cấp các giải pháp mật mã mạnh mẽ hơn, hiệu quả hơn để bảo vệ thông tin trong môi trường số ngày càng phức tạp. Bằng cách khắc phục những tồn tại của các lược đồ hiện có, luận án góp phần nâng cao độ tin cậy của các dịch vụ điện tử, thương mại điện tử và chính phủ điện tử, giảm thiểu rủi ro và thiệt hại do các cuộc tấn công mạng gây ra cho các tổ chức, quốc gia và toàn cầu.

Literature Review và Positioning

Luận án thực hiện một phân tích tổng hợp sâu rộng về các lược đồ chữ ký số hiện có, tập trung vào những lược đồ dựa trên tính khó giải của bài toán logarit rời rạc trên trường hữu hạn $\mathbb{Z}_p$ và vành hữu hạn $\mathbb{Z}_n$. Phân tích này là nền tảng để xác định khoảng trống học thuật và định vị những đóng góp của nghiên cứu.

Synthesis của major streams với TÊN TÁC GIẢ và NĂM cụ thể: Dòng nghiên cứu chính thứ nhất là các lược đồ chữ ký số trên trường $\mathbb{Z}_p$. Nổi bật là lược đồ ElGamal (ElGamal, 1985), được xem là nền tảng, cùng với các biến thể như Schnorr (Schnorr, 1990), DSA (Digital Signature Algorithm, 1994) được ban hành bởi FIPS 186-3 và NIST 800-57, và GOST R34.10-94 của Liên bang Nga (trang 19). Các lược đồ này đều dựa trên tính khó giải của bài toán DLPp. Các nghiên cứu liên quan bao gồm [13], [17], [18], [27-29], [32], [33], [38], [44], [46-52].

Dòng nghiên cứu chính thứ hai là các lược đồ chữ ký số trên vành $\mathbb{Z}_n$. Các tác giả trong nước bao gồm Nguyễn Xuân Quỳnh (2002) [6], Hồ Ngọc Duy (2017) [1], và Phạm Văn Hiệp (2018) [3], [4], [64], [65], [66], [67]. Các tác giả quốc tế tiêu biểu có Okamoto E. Girault (1991) [34], Chik How Tan (2003) [16], và S. Gupta (2017) [39] (trang 21-22). Các lược đồ này dựa trên tính khó giải của bài toán DLPn, đôi khi kết hợp với FP.

Contradictions/debates với ít nhất 2 opposing views: Tồn tại một sự mâu thuẫn rõ rệt trong các lược đồ chữ ký số trên trường $\mathbb{Z}_p$. Một mặt, chúng được công nhận rộng rãi và đạt chuẩn quốc tế (DSA là chuẩn DSS của Hoa Kỳ), chứng minh "đạt chuẩn an toàn về chữ ký số" (trang 38). Mặt khác, chúng đối mặt với những "nguy cơ mất an toàn trong tình huống trùng khóa phiên hoặc lộ khóa phiên" (trang 41), điều được đề cập trong [21], [33], [48-52]. Các thuật toán tấn công như Pohlig Hellman, Rho của Pollard, và Index calculate (trang 41) có thể khai thác điểm yếu này khi cấp của phần tử sinh bị công khai. Một ví dụ cụ thể, "lược đồ chữ ký DSA không an toàn với phương pháp tấn công "L3 cache time attack" là một kiểu tấn công kênh kề (Side chanel attack) được đề cập trong [5]" (trang 20).

Ngoài ra, có sự tranh luận về tính an toàn của các lược đồ trên vành $\mathbb{Z}_n$. Trong khi nhiều nhà khoa học đã đề xuất các lược đồ dựa trên vành $\mathbb{Z}_n$ với lý do chúng che giấu được cấp của phần tử sinh và có chi phí tính toán thấp hơn (trang 21), thì một số nghiên cứu lại chưa định lượng được độ lớn tham số, hoặc đưa ra các định lượng không có lý giải rõ ràng. Ví dụ, trong [1] chọn cấp phần tử sinh $g$ có kích thước 256 bit mà "chưa chứng minh sự tồn tại của phần tử sinh g cùng với cấp của nó, đồng thời chưa chỉ ra tại sao len(t)= 256 bít" (trang 46). Một ví dụ khác là lược đồ của Phạm Văn Hiệp [3], được cho là có độ an toàn dựa trên hai bài toán khó là FP và DLPn, nhưng "không có nghĩa là kẻ tấn công phải giải đồng thời hai bài toán khó này cùng một lúc" (trang 22), mà chỉ cần giải một trong số đó là có thể phá vỡ hệ thống.

Positioning trong literature với specific gap identified: Luận án này định vị mình là cầu nối giữa lý thuyết và thực tiễn trong lĩnh vực chữ ký số, đặc biệt trong việc giải quyết các vấn đề tồn tại của cả hai dòng lược đồ trên $\mathbb{Z}_p$ và $\mathbb{Z}_n$. Khoảng trống cụ thể được xác định là:

  1. Thiếu khả năng che giấu cấp phần tử sinh và hiệu quả của các lược đồ trên $\mathbb{Z}_p$: Nghiên cứu này hướng tới việc phát triển các lược đồ trên vành $\mathbb{Z}_n$ để khắc phục "tồn tại cố hữu của các lược đồ trên trường $\mathbb{Z}_p$ là không giấu được cấp của phần tử sinh" (trang 22-23) và cải thiện tốc độ sinh chữ ký.
  2. Thiếu cơ sở toán học và chuẩn tham số cho các lược đồ trên $\mathbb{Z}_n$: Luận án giải quyết "khoảng trống về học thuật tiếp theo là các lược đồ chữ ký số cùng loại đã được công bố chưa có cơ sở toán học về sự tồn tại, về độ lớn và thuộc tính cho phép che giấu cấp của phần tử sinh" (trang 23), và thiếu "hệ tiêu chuẩn tham số an toàn" cùng "môi trường ứng dụng" cụ thể (trang 23).
  3. Thiếu công cụ sinh tham số thực tiễn: Nghiên cứu cũng lấp đầy khoảng trống "đa số các lược đồ chữ ký đã công bố đều chưa đưa ra bộ tham số cụ thể cho nó hoặc chưa đề xuất công cụ để sinh tham số thỏa mãn với hệ tiêu chuẩn nào đó" (trang 23).

How this advances field với concrete contributions: Luận án thúc đẩy lĩnh vực này bằng cách:

  • Đề xuất bốn lược đồ chữ ký số mới trên vành $\mathbb{Z}_n$ có khả năng che giấu cấp của phần tử sinh, cải thiện đáng kể độ an toàn và hiệu quả tính toán, như được chứng minh qua việc "áp dụng định lý CRT (bổ đề 2.3)" giúp giảm chi phí tính toán (trang 10).
  • Xây dựng một cơ sở toán học vững chắc cho việc định lượng và sinh các tham số an toàn, bao gồm công thức tính ngưỡng an toàn và hệ tiêu chuẩn tham số an toàn, kế thừa từ các chuẩn quốc tế (FIPS 186-3, NIST 800-57) và Việt Nam (TCVN 7635-2007) nhưng cũng phát triển thêm các tiêu chuẩn riêng (trang 14).
  • Phát triển một công cụ phần mềm cho phép sinh tham số theo các tiêu chuẩn này và thực hiện thử nghiệm, kiểm chứng tính đúng đắn và hiệu quả của các lược đồ đề xuất.

So sánh với ÍT NHẤT 2 international studies:

  1. So sánh với lược đồ ElGamal (quốc tế):
    • ElGamal: Dựa trên DLPp, công khai cấp của phần tử sinh ($t=p-1$), dễ bị tấn công khi lộ/trùng khóa phiên hoặc bởi các thuật toán Pohlig Hellman, Pollard's Rho khi tham số không đạt chuẩn. Chi phí tính toán cao hơn cho phép lũy thừa và nghịch đảo (trang 10, 41-43).
    • Luận án đề xuất ($\mathbb{Z}_n$ schemes): Dựa trên DLPn, che giấu cấp của phần tử sinh nhờ dựa vào FP của $n$, khắc phục các nguy cơ từ lộ/trùng khóa phiên và các thuật toán tấn công dựa vào cấp. Chi phí tính toán thấp hơn nhờ ứng dụng CRT (trang 21, 43). Kích thước chữ ký của ElGamal là 2.L(p) [Mệnh đề 1.5, trang 43].
  2. So sánh với lược đồ DSA (quốc tế):
    • DSA: Là biến thể của ElGamal, cũng dựa trên DLPp, công khai cấp phần tử sinh $t$, và có nguy cơ tương tự ElGamal. Chi phí tính toán của hàm Sig là $1,5 \cdot Cost_{Pow}(L(p)) + 5/3 \cdot Cost_{Inv}(L(p)) + 2 \cdot Cost_{Mul}(L(p))$ và hàm Ver là $4,5 \cdot Cost_{Pow}(L(p))$ [Bảng 1.2, trang 43]. Kích thước chữ ký là 2.L(p) [Mệnh đề 1.5, trang 43].
    • Luận án đề xuất ($\mathbb{Z}_n$ schemes): Cải thiện độ an toàn bằng cách che giấu cấp, và giảm chi phí tính toán. Cụ thể, các lược đồ trên vành $\mathbb{Z}_n$ có "chi phí chỉ bằng 1/3 chi phí trên trường $\mathbb{Z}_p$" (trang 43) cho các phép lũy thừa và nghịch đảo khi L(p) = L(n).
  3. So sánh với lược đồ của S. Gupta (2017) [39] (quốc tế):
    • S. Gupta [39]: Đề xuất lược đồ trên vành $\mathbb{Z}_n$ nhưng "độ lớn cấp phần tử sinh xấp xỉ độ lớn của số modulo" (trang 22), dẫn đến "chi phí tính toán cao" (trang 11). Ngoài ra, chọn modulo $n$ được cấu tạo bởi "số nguyên tố siêu mạnh" (trang 11), điều này "không thực tế với các lược đồ chữ ký số trên vành $\mathbb{Z}_n$ đều đòi hỏi tham số phân biệt với từng người sử dụng", do "mật độ số nguyên tố siêu mạnh rất thưa" (trang 11).
    • Luận án đề xuất: Giải quyết vấn đề này bằng cách xây dựng cơ sở toán học cho sự tồn tại, độ lớn và thuộc tính che giấu cấp của phần tử sinh một cách hợp lý, tránh các vấn đề về chi phí và tính thực tiễn của tham số siêu mạnh, đồng thời cung cấp hệ tiêu chuẩn để định lượng tham số an toàn.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án này đã có những đóng góp lý thuyết đáng kể, mở rộng và thách thức các lý thuyết hiện có trong mật mã học, đặc biệt trong lĩnh vực chữ ký số.

  • Extend/challenge WHICH specific theories (name theorists):

    • Mở rộng lý thuyết về Bài toán Logarit Rời rạc (DLP): Luận án mở rộng hiểu biết về DLP từ trường hữu hạn $\mathbb{Z}_p$ sang vành hữu hạn $\mathbb{Z}_n$ khi $n$ là hợp số. Điều này thách thức quan niệm rằng $\mathbb{Z}_p$ là cấu trúc đại số tối ưu cho các lược đồ DLP, bằng cách chứng minh rằng $\mathbb{Z}_n$ có thể cung cấp "cơ sở khoa học, đảm bảo tính đúng đắn, tính đầy đủ, tính hiệu quả và an toàn hơn các lược đồ chữ ký số cùng loại trên trường $\mathbb{Z}_p$" (trang 16). Việc che giấu cấp của phần tử sinh trong $\mathbb{Z}_n$ là một cải tiến đáng kể, chống lại các cuộc tấn công đã biết như Pohlig Hellman (D. Pohlig và M. Hellman).
    • Thách thức các giả định về tính an toàn của ElGamal và DSA (Taher ElGamal, NIST): Bằng cách chỉ ra các lỗ hổng cố hữu liên quan đến việc công khai cấp của phần tử sinh trong các lược đồ dựa trên $\mathbb{Z}_p$, luận án đã thách thức giả định về tính an toàn tuyệt đối của chúng trong một số tình huống nhất định, đặc biệt là trước các cuộc tấn công "trùng khóa phiên hoặc lộ khóa phiên" (trang 41). Nghiên cứu cung cấp một hướng đi mới để tăng cường độ an toàn cho các lược đồ chữ ký số.
    • Mở rộng ứng dụng của Định lý Số dư Trung Quốc (CRT): Luận án làm nổi bật vai trò của CRT trong việc cải thiện hiệu suất tính toán của các lược đồ chữ ký số trên vành $\mathbb{Z}_n$, chứng minh rằng nó có thể giảm chi phí cho các phép lũy thừa và nghịch đảo xuống "chỉ bằng 1/3 chi phí trên trường $\mathbb{Z}_p$" (trang 43).

  • Conceptual framework với components và relationships: Khung phân tích của luận án được xây dựng dựa trên mối quan hệ giữa ba thành phần chính:

    1. Cấu trúc đại số (Algebraic Structure): So sánh hiệu quả và an toàn giữa Trường hữu hạn $\mathbb{Z}_p$ và Vành hữu hạn $\mathbb{Z}_n$.
    2. Bài toán cơ sở (Underlying Hard Problem): DLPp, DLPn, FP.
    3. Tham số an toàn (Security Parameters): Bao gồm ngưỡng an toàn (Security_strength), kích thước modulo (L(n), L(p)), kích thước cấp phần tử sinh (L(Ordp g)), và các điều kiện ràng buộc cho các ước nguyên tố bổ trợ.

    Mối quan hệ chính là: việc lựa chọn cấu trúc đại số và bài toán cơ sở ảnh hưởng trực tiếp đến thiết kế lược đồ và các tham số an toàn. Các lược đồ trên $\mathbb{Z}_n$ kết hợp DLPn và FP (ẩn cấp phần tử sinh) nhằm đạt được mức an toàn và hiệu quả cao hơn so với các lược đồ chỉ dựa vào DLPp trên $\mathbb{Z}_p$. Khung này cũng bao gồm việc định lượng các tham số để đảm bảo độ "khó" của bài toán giả mạo chữ ký lớn hơn "năng lực tính toán của đối tượng tấn công" (trang 47).

  • Theoretical model với propositions/hypotheses numbered: Mô hình lý thuyết của luận án xoay quanh việc phát triển các lược đồ chữ ký số trên vành $\mathbb{Z}_n$ để giải quyết các hạn chế của $\mathbb{Z}_p$.

    • Proposition 1 (P1): Việc xây dựng lược đồ chữ ký số trên vành hữu hạn $\mathbb{Z}_n$ (với $n=p \cdot q$, $p, q$ là số nguyên tố) có thể che giấu cấp của phần tử sinh $g \in \mathbb{Z}_n^*$ khỏi kẻ tấn công, nhờ vào tính khó giải của bài toán phân tích số $n$.
    • Hypothesis P1a: Khả năng che giấu cấp phần tử sinh trong $\mathbb{Z}_n$ giúp giảm thiểu rủi ro từ việc lộ hoặc trùng khóa phiên, vốn là điểm yếu của các lược đồ trên $\mathbb{Z}_p$.
    • Hypothesis P1b: Các lược đồ trên vành $\mathbb{Z}_n$ sẽ ít bị ảnh hưởng bởi các thuật toán giải DLP dựa trên cấp của phần tử sinh (như Pohlig Hellman, Pollard's Rho) so với các lược đồ trên $\mathbb{Z}_p$.
    • Proposition 2 (P2): Các phép toán trong các lược đồ chữ ký số trên vành $\mathbb{Z}_n$ sẽ có chi phí tính toán thấp hơn so với các lược đồ tương đương trên trường $\mathbb{Z}_p$, đặc biệt là phép lũy thừa và phép tính nghịch đảo.
    • Hypothesis P2a: Ứng dụng Định lý Số dư Trung Quốc (CRT) trong $\mathbb{Z}_n$ sẽ làm giảm đáng kể chi phí tính toán, ví dụ "phép lũy thừa và phép nghịch đảo trên vành $\mathbb{Z}_n$ với n = p.q có chi phí chỉ bằng 1/3 chi phí trên trường $\mathbb{Z}_p$" (trang 43).
    • Proposition 3 (P3): Có thể xây dựng một hệ tiêu chuẩn tham số an toàn toàn diện và một công thức tính ngưỡng an toàn cho các lược đồ trên vành $\mathbb{Z}_n$ nhằm đảm bảo an toàn thực tế và định hướng ứng dụng.
    • Hypothesis P3a: Hệ tiêu chuẩn này sẽ bao gồm các ràng buộc về kích thước của $n$, cấp của phần tử sinh, và các ước nguyên tố bổ trợ, phù hợp với các chuẩn quốc tế (NIST 800-57, FIPS 186-3) và Việt Nam (TCVN 7635-2007) nhưng được điều chỉnh cho cấu trúc vành $\mathbb{Z}_n$.

  • Paradigm shift với EVIDENCE từ findings: Luận án gợi ý một sự dịch chuyển trong mô hình thiết kế chữ ký số, từ sự phụ thuộc nặng nề vào trường hữu hạn $\mathbb{Z}_p$ sang việc khai thác tiềm năng của vành hữu hạn $\mathbb{Z}_n$. Bằng chứng từ nghiên cứu là "Kết quả nghiên cứu đã khẳng định việc phát triển các lược đồ chữ ký số trên vành hữu hạn ℤn là có cơ sở khoa học, đảm bảo tính đúng đắn, tính đầy đủ, tính hiệu quả và an toàn hơn các lược đồ chữ ký số cùng loại trên trường ℤp" (trang 16). Sự dịch chuyển này không chỉ là về hiệu suất mà còn là về một cách tiếp cận an toàn hơn, giải quyết các lỗ hổng cố hữu của mô hình $\mathbb{Z}_p$. Nó là một sự "bổ sung làm giàu thêm cơ sở khoa học để phát triển lược đồ chữ ký số, đồng thời bổ sung thêm giải pháp nâng cao độ an toàn cho các lược đồ chữ ký số trên vành $\mathbb{Z}_n$" (trang 16).

Khung phân tích độc đáo

Khung phân tích của luận án mang tính độc đáo ở chỗ nó tích hợp sâu rộng các lý thuyết mật mã, lý thuyết số và lý thuyết độ phức tạp thuật toán để cung cấp một cách tiếp cận toàn diện cho việc thiết kế và đánh giá chữ ký số trên vành $\mathbb{Z}_n$.

  • Integration của theories (name 3+ specific theories):

    1. Lý thuyết Số dư Trung Quốc (CRT): Không chỉ được sử dụng để tối ưu hóa phép toán, mà còn là một phần không thể thiếu trong việc thiết kế các lược đồ mới trên $\mathbb{Z}_n$ để cải thiện hiệu suất, như đã chứng minh trong "bổ đề 2.3" (trang 10, 21, 43).
    2. Lý thuyết Bài toán Phân tích Số (FP) và Bài toán Logarit Rời rạc (DLP): Luận án tích hợp FP như một yếu tố bảo mật bổ sung cho DLPn. Việc che giấu cấp của phần tử sinh trong $\mathbb{Z}_n$ được liên kết trực tiếp với độ khó giải của FP trên số modulo $n$ (trang 21). Điều này tạo ra một "độ an toàn tương đương với độ an toàn dựa trên tính khó giải của bài toán phân tích số modulo $n$ ra thừa số nguyên tố" (trang 21).
    3. Lý thuyết độ phức tạp tính toán (Computational Complexity Theory): Được áp dụng một cách có hệ thống để so sánh chi phí tính toán giữa các lược đồ trên $\mathbb{Z}_p$ và $\mathbb{Z}_n$, và để định lượng "ngưỡng an toàn" (Security_strength), xem xét "năng lực tính toán của đối tượng U trong khoảng thời gian T" (trang 31) và các thuật toán tấn công đã biết.
    4. Lý thuyết số Pocklington (Henry Pocklington): "Định lý Pocklington [7], [37 p175])" được ứng dụng trong "chứng minh tính đúng đắn của các lược đồ chữ ký số đề xuất ở chương 2" và "được sử dụng trong các thuật toán sinh số nguyên tố trình bày trong chương 3" (trang 25-26), cho thấy sự tích hợp sâu sắc vào cả thiết kế và sinh tham số.

  • Novel analytical approach với justification: Phương pháp phân tích độc đáo nằm ở việc xây dựng một hệ tiêu chuẩn tham số an toàn dựa trên sự kết hợp của ngưỡng an toàn (Security_strength) với các điều kiện ràng buộc cụ thể cho từng tham số của lược đồ trên vành $\mathbb{Z}_n$. "Việc tìm được điều kiện để xác định mỗi XA được gọi là một tiêu chuẩn an toàn cho tham số và các điều kiện để xác định X ∗ được gọi là hệ tiêu chuẩn an toàn tham số của lược đồ" (trang 48). Cách tiếp cận này có ý nghĩa đột phá vì nó:

    • Cung cấp định lượng rõ ràng: Khác với nhiều nghiên cứu trước đây chỉ kết luận tính an toàn dựa trên một bài toán khó, luận án định lượng độ an toàn thông qua "ngưỡng an toàn" và "hệ tiêu chuẩn tham số", giúp người dùng có thể "đánh giá độ an toàn hoặc có ý định ứng dụng các lược đồ chữ ký số này vào thực tiễn" (trang 12).
    • Giải quyết vấn đề tham số không giải thích: Đặc biệt khắc phục việc "một số nhà khoa học đã đưa ra độ lớn cấp phần tử sinh 256 bit [1], [41] mà không có lý giải tại sao" (trang 22), bằng cách xây dựng cơ sở toán học vững chắc cho việc sinh và định lượng các tham số.

  • Conceptual contributions với definitions: Luận án đóng góp các khái niệm rõ ràng và định nghĩa chi tiết, như:

    • Ngưỡng an toàn (Security_strength): Định nghĩa dựa trên "lớp các đối tượng tấn công, ký hiệu là AL (Attack Class)" và "Thời gian sống của thông tin cần được bảo vệ T", trong đó giá trị này phải thỏa mãn "max Pow(U, T) < 2Security_strength" (trang 47).
    • Hệ tiêu chuẩn tham số an toàn: Là tập hợp các điều kiện để xác định tập tham số X* sao cho "CostForgery-CostA > 2Security−strength" (trang 48), đảm bảo an toàn trước mọi thuật toán tấn công đã biết.
    • Bài toán khó (HP) và Vấn đề khó (DP): Phân biệt rõ ràng giữa "bài toán khó" theo nghĩa thuật toán có thời gian đa thức và "vấn đề khó" dựa trên năng lực tính toán của một đối tượng cụ thể trong một khoảng thời gian nhất định (trang 31-32).

  • Boundary conditions explicitly stated: Luận án cũng nêu rõ các điều kiện biên cho các đóng góp của mình:

    • Các lược đồ chữ ký số đề xuất trên vành $\mathbb{Z}_n$ được nghiên cứu với $n$ là "tích của hai số nguyên tố phân biệt" (trang 13).
    • Các tham số được sinh ra theo hệ tiêu chuẩn "áp dụng cho năm 2018 và các năm tiếp theo" (trang 17), hàm ý rằng các tiêu chuẩn an toàn có thể cần được cập nhật theo sự phát triển của công nghệ tính toán và các thuật toán tấn công mới.
    • Các môi trường ứng dụng đề xuất là "môi trường KT-XH và lĩnh vực AN-QP" (trang 12), giới hạn phạm vi áp dụng thực tiễn của các khuyến nghị.
    • Hàm băm sử dụng là SHA 512 [26], điều này định rõ môi trường mật mã mà lược đồ hoạt động.

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

Luận án áp dụng một phương pháp nghiên cứu toàn diện, kết hợp chặt chẽ giữa lý thuyết và thực nghiệm, cùng với việc tham vấn chuyên gia để đảm bảo tính khoa học và thực tiễn của kết quả.

Thiết kế nghiên cứu

  • Research philosophy (Positivism/Interpretivism/Critical Realism): Luận án tuân theo triết lý nghiên cứu Positivist. Điều này được thể hiện rõ qua việc tập trung vào "định lượng được các tham số", "xây dựng công thức tính ngưỡng an toàn", và "đề xuất hệ tiêu chuẩn tham số an toàn" (trang 12). Nghiên cứu tìm cách thiết lập các mối quan hệ nhân quả và các định luật khách quan (như độ phức tạp tính toán và ngưỡng an toàn) thông qua các bằng chứng toán học và thực nghiệm có thể kiểm chứng. Mục tiêu là tạo ra "cơ sở khoa học" có thể được "kiểm chứng tính đúng đắn, tính đầy đủ, tính hiệu quả" (trang 13).

  • Mixed methods với SPECIFIC combination rationale: Nghiên cứu sử dụng phương pháp hỗn hợp, kết hợp Phương pháp lý thuyết và Phương pháp thực nghiệm.

    • Phương pháp lý thuyết: Gồm "khảo sát, phân tích, tổng hợp và phát triển các kết quả nghiên cứu trong nước và trên thế giới về thiết kế lược đồ chữ ký số hình thành nên lược đồ chữ ký số cơ sở[CT9]; Nghiên cứu cách tiếp cận tính ngưỡng an toàn [8], [9], [12] và hệ tiêu chuẩn tham số an toàn để xây dựng hệ tiêu chuẩn tham số an toàn cho lược đồ chữ ký số đề xuất" (trang 15). Lý do kết hợp là để xây dựng một nền tảng toán học vững chắc và một khung lý thuyết chặt chẽ cho các lược đồ mới và các tiêu chuẩn tham số.
    • Phương pháp thực nghiệm: "NCS đã xây dựng công cụ thử nghiệm là phần mềm tin học, sử dụng công cụ đó để kiểm nghiệm các kết quả nghiên cứu lý thuyết; xác định đối tượng, phạm vi, điều kiện và quy trình thử nghiệm. Sau mỗi nội dung thử nghiệm đều tiến hành đánh giá kết quả thử nghiệm, đối chiếu kết quả thử nghiệm với kết quả nghiên cứu lý thuyết" (trang 15). Lý do là để kiểm chứng tính đúng đắn, tính hiệu quả và tính khả thi của các lược đồ và tiêu chuẩn tham số trong môi trường thực tế, cũng như để so sánh hiệu suất với các lược đồ hiện có.
    • Phương pháp chuyên gia: "Xin ý kiến chuyên gia đầu ngành trong lĩnh vực toán học và trong lĩnh vực an toàn thông tin trong thiết kế và xây dựng tiêu chuẩn tham số an toàn cho lược đồ chữ ký số" (trang 15). Việc này nhằm đảm bảo tính chính xác, khách quan và mức độ chấp nhận của cộng đồng khoa học đối với các đóng góp của luận án.

  • Multi-level design với levels clearly defined: Luận án không mô tả rõ ràng một thiết kế đa cấp theo nghĩa xã hội học, nhưng có thể hiểu là có các cấp độ phân tích và phát triển:

    1. Cấp độ cơ sở lý thuyết: Nghiên cứu các định nghĩa, định lý quan trọng (như Định lý Pocklington, Định lý CRT), thuật toán và độ phức tạp tính toán cơ bản (trang 24-32).
    2. Cấp độ thiết kế lược đồ: Xây dựng hai lược đồ chữ ký số cơ sở và phát triển bốn lược đồ chữ ký số cụ thể trên vành $\mathbb{Z}_n$ (trang 17).
    3. Cấp độ xây dựng tham số an toàn: Phát triển công thức tính ngưỡng an toàn và hệ tiêu chuẩn tham số an toàn (trang 17, Chương 3).
    4. Cấp độ thực nghiệm và kiểm định: Xây dựng công cụ phần mềm, tiến hành thử nghiệm, và đánh giá kết quả (trang 13, 17).

  • Sample size và selection criteria EXACT: Luận án không đề cập đến "sample size" theo nghĩa thống kê xã hội học, nhưng có thể được hiểu là các "mẫu" đầu vào (ví dụ: các số nguyên tố p, q, các tham số của lược đồ) được sinh ra để thử nghiệm.

    • Tiêu chí lựa chọn: "Sinh hai số nguyên tố lớn phân biệt là $p$ và $q$, trong đó $p = 2 \cdot q' + 1$, trong đó $p'$ và $q'$ là hai số nguyên tố" (trang 44).
    • "Sinh hai số nguyên tố $p_1, q_1$ kích thước L($p_1$) = L($q_1$) = 128 bit thỏa mãn $p_1 | (p − 1)$ và $q_1 | (q − 1)$ đồng thời $q_1 \nmid (p − 1)$ và $p_1 \nmid (q − 1)$" (trang 45) cho lược đồ của Hồ Ngọc Duy [1]. Luận án phát triển hệ tiêu chuẩn của riêng mình để sinh các tham số này một cách có cơ sở.
    • Kích thước tham số của ElGamal và DSA bao gồm $L(p)$ và $L(t)$ được quy ước "là như nhau" cho mục đích so sánh (trang 42). Các chuẩn FIPS 186-3 và TCVN 7635-2007 đưa ra các kích thước cụ thể như $L(n)=1024, 2048, 3072$ bit, $L(p_1)$, $L(q_1)$ lớn hơn 100, 140, 170 bit tương ứng cho các mức an toàn khác nhau (trang 49-50).

Quy trình nghiên cứu rigorous

  • Sampling strategy với inclusion/exclusion criteria: Không có "sampling strategy" theo nghĩa truyền thống. Tuy nhiên, quá trình lựa chọn các lược đồ để khảo sát và phát triển tuân thủ các tiêu chí:

    • Inclusion criteria: Lược đồ chữ ký số có độ an toàn dựa trên tính khó giải của bài toán logarit rời rạc trên trường $\mathbb{Z}_p$ hoặc vành $\mathbb{Z}_n$ (trang 13-14).
    • Exclusion criteria: Các lược đồ không liên quan trực tiếp đến DLP hoặc không thể khắc phục được những hạn chế đã nêu.
    • Tham số: Quá trình sinh tham số cho các lược đồ đề xuất tuân thủ "hệ tiêu chuẩn tham số an toàn" được xây dựng, bao gồm các ràng buộc về kích thước (ví dụ, $p_1, p_2, q_1, q_2 > 2^{\text{Security_strenth}+20}$ [TCVN, trang 50]) và các điều kiện toán học (ví dụ, $p-1$ và $q-1$ phải nguyên tố cùng nhau với $e$ [TCVN, trang 50]).

  • Data collection protocols với instruments described: "Dữ liệu" trong luận án chủ yếu là kết quả tính toán và hiệu suất.

    • Instrument: Phần mềm tin học được phát triển bởi NCS (trang 15).
    • Protocols:
      • Sinh tham số theo hệ tiêu chuẩn đã đưa ra (trang 14).
      • Sinh chữ ký và xác nhận chữ ký cho các lược đồ đề xuất (trang 14).
      • Thử nghiệm và đánh giá kết quả: "Kiểm chứng tính đúng đắn, tính đầy đủ, tính hiệu quả của các lược đồ chữ ký số đề xuất; so sánh chi phí tính toán của lược đồ chữ ký đề xuất với lược đồ chữ ký số Elgama và lược đồ DSA. Kiểm tra tính đúng đắn kết quả tính ngưỡng an toàn theo công thức đã xây dựng. Kiểm tra tham số được sinh ra theo từng tiêu chuẩn trong hệ tiêu chuẩn" (trang 13).
      • Thu thập dữ liệu về thời gian sinh và xác nhận chữ ký, chi phí tính toán (BO) để so sánh.

  • Triangulation (data/method/investigator/theory): Luận án áp dụng tam giác hóa phương pháp:

    • Method Triangulation: Kết hợp phương pháp lý thuyết (phân tích, tổng hợp, chứng minh) với phương pháp thực nghiệm (cài đặt, chạy thử, đo lường) và phương pháp chuyên gia (tham vấn ý kiến) (trang 15). Điều này giúp củng cố tính xác thực của kết quả, đảm bảo rằng các lý thuyết được hỗ trợ bởi bằng chứng thực nghiệm và được đánh giá bởi các chuyên gia.

  • Validity (construct/internal/external) và reliability (α values):

    • Construct Validity: Đảm bảo rằng các khái niệm như "độ an toàn", "chi phí tính toán", "ngưỡng an toàn" được đo lường và đánh giá một cách phù hợp với các định nghĩa và lý thuyết đã được chấp nhận trong mật mã học (ví dụ, định nghĩa về độ phức tạp thuật toán, các loại tấn công [trang 34-35]).
    • Internal Validity: Được củng cố bằng việc kiểm soát các biến thông qua quy trình thử nghiệm nghiêm ngặt. Việc "đánh giá kết quả thử nghiệm, đối chiếu kết quả thử nghiệm với kết quả nghiên cứu lý thuyết" (trang 15) giúp đảm bảo rằng các kết quả thực nghiệm phản ánh chính xác các dự đoán lý thuyết.
    • External Validity: Các lược đồ đề xuất được thiết kế để áp dụng trong các "môi trường KT-XH và lĩnh vực AN-QP" (trang 12), cho thấy khả năng tổng quát hóa kết quả đến các bối cảnh ứng dụng thực tiễn. Việc tham chiếu các chuẩn quốc tế như FIPS, NIST cũng củng cố khả năng áp dụng rộng rãi.
    • Reliability: Mặc dù không có "α values" (hệ số Cronbach Alpha) vì đây không phải là nghiên cứu định lượng xã hội học, độ tin cậy được đảm bảo thông qua:
      • Quy trình sinh tham số rõ ràng: Các tham số được sinh ra "theo hệ tiêu chuẩn đã chỉ ra" (trang 14), đảm bảo tính nhất quán.
      • Công cụ phần mềm: Việc sử dụng công cụ phần mềm chuẩn hóa để thực hiện các thử nghiệm giúp đảm bảo rằng các phép đo chi phí và hiệu suất là đáng tin cậy và có thể lặp lại.
      • Mệnh đề về xác suất: Mệnh đề 1.4 khẳng định "Các lược đồ chữ ký số Elgamal và biến thể của nó thực hiện tính thành công chữ ký (r, s) trong một lần lặp với xác suất xấp xỉ bằng 1" (trang 39), một dạng đánh giá độ tin cậy của thuật toán.

Data và phân tích

  • Sample characteristics với demographics/statistics: Dữ liệu được tạo ra từ việc sinh các tham số mật mã và kết quả thử nghiệm hiệu suất.

    • Đặc điểm tham số: Bao gồm độ dài bít của số modulo $n$ (ví dụ: 1024, 2048, 3072 bit), độ dài bít của cấp phần tử sinh (ví dụ: 128, 256 bit), và các điều kiện ràng buộc cho các ước nguyên tố bổ trợ (ví dụ: $>100, 140, 170$ bit) [Bảng 1.4, trang 49].
    • Thống kê chi phí tính toán: Bảng 1.1 và Bảng 1.2 cung cấp chi phí tính toán cho các phép toán cơ bản (cộng, nhân, GCD, nghịch đảo, lũy thừa) và chi phí tổng thể của hàm Sig và Ver cho ElGamal và DSA, được tính theo đơn vị BO (Bit Operator) [trang 28-29, 43]. Ví dụ, chi phí sinh chữ ký của ElGamal là $1,5 \cdot Cost_{Pow}(L(p)) + 5/3 \cdot Cost_{Inv}(L(p)) + 2 \cdot Cost_{Mul}(L(p))$ (trang 40).
    • Đánh giá kết quả thử nghiệm: Dữ liệu về thời gian sinh chữ ký và xác nhận chữ ký cũng được thu thập để so sánh.

  • Advanced techniques (SEM/multilevel/QCA etc.) với software: Các kỹ thuật phân tích tập trung vào mật mã học và độ phức tạp thuật toán.

    • Phân tích độ phức tạp thuật toán: Sử dụng ký hiệu O lớn (O(l), O(l^2), $O(l \ln^3 3 / \ln 2)$) để đánh giá chi phí của các thuật toán cơ bản và các lược đồ [Bảng 1.1, trang 28-29]. Hàm $Ln[\alpha, c]$ được dùng để xác định độ phức tạp của các thuật toán phân tích số và logarit rời rạc (trang 29).
    • Phân tích so sánh chi phí: So sánh chi phí tính toán giữa các lược đồ trên $\mathbb{Z}_p$ và $\mathbb{Z}_n$ (ví dụ, giảm 1/3 chi phí trên $\mathbb{Z}_n$) (trang 43).
    • Phân tích ngưỡng an toàn: Sử dụng công thức "max Pow(U, T) < 2Security_strength" (trang 47) để định lượng ngưỡng an toàn.
    • Phần mềm: NCS đã phát triển một "chương trình" bằng "ngôn ngữ cấp cao" chạy trên "hệ điều hành Window" để thực hiện các thử nghiệm và sinh tham số (trang 12, 14, 16).

  • Robustness checks với alternative specifications: Mặc dù không nêu rõ "alternative specifications" theo nghĩa thống kê, luận án thực hiện các kiểm tra tính bền vững thông qua:

    • Đối chiếu kết quả: "Đối chiếu kết quả thử nghiệm với kết quả nghiên cứu lý thuyết" (trang 15) để xác nhận tính nhất quán.
    • Kiểm tra từng tiêu chuẩn: "Kiểm tra tham số được sinh ra theo từng tiêu chuẩn trong hệ tiêu chuẩn" (trang 13), đảm bảo mọi tham số đều tuân thủ các ràng buộc an toàn.
    • Xác suất thành công: Mệnh đề 1.4 về xác suất thành công xấp xỉ 1 của các lược đồ ElGamal và biến thể chứng tỏ tính bền vững của các thuật toán này trong điều kiện thông thường (trang 39).

  • Effect sizes và confidence intervals reported: Luận án báo cáo các "effect sizes" dưới dạng tỷ lệ giảm chi phí tính toán (ví dụ: giảm 1/3) và kích thước bit cụ thể cho các tham số để đạt được một mức an toàn nhất định. Các "confidence intervals" không được báo cáo trực tiếp dưới dạng thống kê p-value hoặc khoảng tin cậy 95%, nhưng sự an toàn được định lượng bằng ngưỡng an toàn (Security_strength) liên quan đến xác suất tấn công thành công (tỷ lệ rất nhỏ, không thể thực hiện trong thời gian thực) và được thể hiện qua các kích thước tham số cần thiết để đạt được ngưỡng đó.

Phát hiện đột phá và implications

Những phát hiện then chốt

Luận án đã đạt được những phát hiện then chốt, mang tính đột phá, không chỉ giải quyết các vấn đề hiện có mà còn mở ra những hướng nghiên cứu mới:

  1. Tính khả thi và ưu việt của lược đồ $\mathbb{Z}_n$ che giấu cấp phần tử sinh: Nghiên cứu đã "xây dựng lược đồ chữ ký số cơ sở và các lược đồ chữ ký số có độ an toàn dựa trên tính khó giải của bài toán logarit rời rạc trên vành hữu hạn ℤn che giấu cấp của phần tử sinh" (trang 13). Phát hiện này là căn cứ để khẳng định rằng "việc phát triển các lược đồ chữ ký số trên vành hữu hạn ℤn là có cơ sở khoa học, đảm bảo tính đúng đắn, tính đầy đủ, tính hiệu quả và an toàn hơn các lược đồ chữ ký số cùng loại trên trường ℤp" (trang 16).
  2. Giảm chi phí tính toán đáng kể: Dựa trên "bổ đề 2.3", luận án chứng minh rằng "phép lũy thừa và phép nghịch đảo trên vành $\mathbb{Z}_n$ với n = p.q có chi phí chỉ bằng 1/3 chi phí trên trường $\mathbb{Z}_p$ với L(p) = L(n)" (trang 43). Điều này cung cấp bằng chứng định lượng cho hiệu quả tính toán vượt trội của các lược đồ trên $\mathbb{Z}_n$.
  3. Hệ tiêu chuẩn tham số an toàn định lượng: Luận án đã thành công trong việc "xây dựng công thức tính ngưỡng an toàn cho của lược đồ chữ ký đề xuất; dựa trên một số hệ tiêu chuẩn của thế giới và Việt Nam, kế thừa và xây dựng thêm một số tiêu chuẩn tham số an toàn cho lược đồ chữ ký đề xuất" (trang 17). Điều này khắc phục khoảng trống thiếu cơ sở toán học và chuẩn hóa cho các tham số trong các lược đồ $\mathbb{Z}_n$ trước đây.
  4. Tham số sinh thành công và được kiểm chứng: "Đã sinh thành công các tham số, mỗi bộ tham số sinh ra được kiểm tra từng tiêu chuẩn và đều thỏa mãn" (trang 16). Việc này được thực hiện bởi công cụ phần mềm do NCS xây dựng, khẳng định tính khả thi và đúng đắn của hệ tiêu chuẩn.
  5. Ứng dụng thực tiễn với SHA 512: Các lược đồ chữ ký đề xuất "đã cài đặt thành công trên ngôn ngữ cấp cao" và sử dụng "hàm băm SHA 512 [26]" (trang 16), một hàm băm an toàn và được ứng dụng rộng rãi, đảm bảo tính ứng dụng cao.

  • Statistical significance (p-values, effect sizes): Mặc dù không sử dụng p-values theo nghĩa thống kê truyền thống, luận án định lượng "effect sizes" bằng việc so sánh chi phí tính toán. Ví dụ, việc giảm "1/3 chi phí" (trang 43) là một "effect size" đáng kể về hiệu suất. Ngưỡng an toàn (Security_strength) được liên kết với "Pow(U,T) < 2Security_strength" (trang 47), ngụ ý một xác suất tấn công thành công cực kỳ thấp, mang ý nghĩa thống kê về độ an toàn.

  • Counter-intuitive results với theoretical explanation: Một kết quả có thể được coi là phản trực giác là dù các lược đồ trên vành $\mathbb{Z}_n$ dựa trên bài toán DLP trên vành hợp số (có vẻ phức tạp hơn), chúng lại có thể đạt hiệu quả tính toán cao hơn và an toàn hơn (bằng cách che giấu cấp phần tử sinh) so với các lược đồ trên trường $\mathbb{Z}_p$. Giải thích lý thuyết cho điều này nằm ở việc ứng dụng Định lý Số dư Trung Quốc (CRT) để tối ưu hóa các phép toán trên vành $\mathbb{Z}_n$ và khả năng ẩn cấp của phần tử sinh dựa trên tính khó giải của bài toán phân tích số $n$, thay vì công khai cấp như trong $\mathbb{Z}_p$.

  • New phenomena với concrete examples từ data: Việc thành công trong việc "sinh thành công các tham số thỏa mãn hệ tiêu chuẩn" và việc "đề xuất hai môi trường KT-XH và AN-QP làm môi trường ứng dụng lược đồ chữ ký số đề xuất" (trang 15) là những "hiện tượng" mới trong bối cảnh các lược đồ $\mathbb{Z}_n$ trước đây thiếu hướng dẫn thực tiễn. Điều này mở ra một con đường rõ ràng để chuyển đổi từ lý thuyết mật mã sang ứng dụng cụ thể trong các lĩnh vực trọng yếu.

  • Compare với prior research findings: Các phát hiện của luận án trực tiếp so sánh và vượt trội hơn so với các kết quả nghiên cứu trước đây:

    • So với ElGamal/DSA: Cải thiện tốc độ sinh chữ ký (nhanh hơn nhiều) và khắc phục nguy cơ mất an toàn do lộ/trùng khóa phiên hoặc tấn công dựa trên cấp phần tử sinh (trang 10, 21).
    • So với các lược đồ $\mathbb{Z}_n$ trước đây (ví dụ [1], [39]): Cung cấp cơ sở toán học đầy đủ cho các tham số, hệ tiêu chuẩn an toàn rõ ràng, và tránh được các vấn đề về chi phí tính toán cao hoặc tính phi thực tế khi sử dụng số nguyên tố siêu mạnh (trang 11, 22, 46). Cụ thể, giải quyết việc [39] có độ lớn cấp phần tử sinh xấp xỉ số modulo, và [1] đưa ra độ lớn 256 bit mà không giải thích.

Implications đa chiều

  • Theoretical advances với contribution to 2+ theories: Luận án đã góp phần thúc đẩy các lý thuyết cốt lõi trong mật mã học. Nó mở rộng Lý thuyết Số Rời rạc (Discrete Logarithm Problem) sang cấu trúc vành hữu hạn $\mathbb{Z}_n$, cung cấp cơ sở toán học cho việc thiết kế các lược đồ chữ ký an toàn và hiệu quả hơn trong môi trường này. Hơn nữa, nó củng cố Lý thuyết Độ phức tạp Thuật toán bằng cách định lượng chi phí và ngưỡng an toàn một cách chi tiết, giúp xác định các "vấn đề khó" (Difficult Problem - DP) trong bối cảnh thực tế. Cuối cùng, nó mở rộng ứng dụng thực tế của Định lý Số dư Trung Quốc (Chinese Remainder Theorem - CRT) trong việc tối ưu hóa hiệu suất của các lược đồ mật mã.

  • Methodological innovations applicable to other contexts: Phương pháp xây dựng "hệ tiêu chuẩn tham số an toàn" dựa trên ngưỡng an toàn (Security_strength) và các điều kiện ràng buộc cụ thể cho các tham số là một đổi mới phương pháp luận. Cách tiếp cận này có thể áp dụng rộng rãi cho việc thiết kế và đánh giá tham số an toàn cho các hệ thống mật mã khác, không chỉ giới hạn trong chữ ký số mà còn trong các lược đồ mã hóa, trao đổi khóa. "Việc tìm được điều kiện để xác định mỗi XA được gọi là một tiêu chuẩn an toàn cho tham số và các điều kiện để xác định X ∗ được gọi là hệ tiêu chuẩn an toàn tham số của lược đồ" (trang 48), đây là một khung tổng quát.

  • Practical applications với specific recommendations:

    • Cải thiện an toàn thông tin: Các lược đồ chữ ký số đề xuất cung cấp một giải pháp mạnh mẽ hơn cho việc xác thực, đảm bảo tính toàn vẹn và tính không thể chối bỏ trong các giao dịch điện tử, giảm thiểu nguy cơ mất an toàn thông tin.
    • Chính phủ Điện tử và Thương mại Điện tử: Các lược đồ này có thể được ứng dụng để tăng cường bảo mật cho các dịch vụ công trực tuyến, các giao dịch tài chính, hợp đồng điện tử, và các hệ thống thương mại điện tử.
    • Ngành Quốc phòng - An ninh (AN-QP): Các khuyến nghị tham số và môi trường ứng dụng cho lĩnh vực AN-QP là đặc biệt quan trọng, cung cấp "cơ sở tham khảo cho các tổ chức hoặc cá nhân khi đánh giá độ an toàn hoặc có ý định ứng dụng các lược đồ chữ ký số này vào thực tiễn" (trang 12), nơi yêu cầu bảo mật cực kỳ cao.
    • Phát triển công cụ mật mã: Công cụ sinh tham số và thử nghiệm do luận án phát triển có thể được sử dụng làm nền tảng cho việc tạo ra các bộ tham số mật mã an toàn cho các ứng dụng thực tế.

  • Policy recommendations với implementation pathway:

    • Khuyến nghị về tiêu chuẩn quốc gia: Luận án đề xuất một hệ tiêu chuẩn tham số an toàn có thể được tích hợp vào các tiêu chuẩn an toàn thông tin quốc gia của Việt Nam (kế thừa TCVN 7635-2007 [8], [9], [61]), đặc biệt đối với các hệ thống mật mã sử dụng lược đồ chữ ký số dựa trên DLP trên vành hợp số.
    • Đường lối triển khai: Các cơ quan quản lý nhà nước (ví dụ, Bộ Thông tin và Truyền thông, Cục Cơ yếu) có thể tham khảo các tham số và tiêu chuẩn đề xuất để ban hành hướng dẫn triển khai cho các hệ thống thông tin quan trọng, đảm bảo tính đồng bộ và an toàn trong toàn quốc. Việc đề xuất hai môi trường ứng dụng (KT-XH và AN-QP) cung cấp một lộ trình rõ ràng cho việc tùy chỉnh và triển khai.

  • Generalizability conditions clearly specified: Tính tổng quát hóa của các phát hiện được xác định bởi:

    • Cấu trúc toán học: Các lược đồ được xây dựng trên vành $\mathbb{Z}_n$ với $n$ là tích của hai số nguyên tố phân biệt (trang 13), giới hạn trong cấu trúc này.
    • Các chuẩn tham số: Các khuyến nghị về tham số an toàn tuân thủ các chuẩn quốc tế và Việt Nam hiện hành (FIPS 186-3, NIST 800-57, TCVN 7635-2007) và được đề xuất "áp dụng cho năm 2018 và các năm tiếp theo" (trang 17), có nghĩa là tính tổng quát hóa có thể bị ảnh hưởng bởi sự phát triển của các thuật toán tấn công và công nghệ tính toán trong tương lai.
    • Hàm băm: Việc sử dụng SHA 512 là một điều kiện cụ thể; nếu các ứng dụng yêu cầu hàm băm khác, các đánh giá an toàn có thể cần được xem xét lại.

Limitations và Future Research

Limitations và Future Research

Mặc dù luận án đã đạt được những thành tựu đáng kể, nhưng cũng thẳng thắn thừa nhận những hạn chế và đề xuất các hướng nghiên cứu trong tương lai.

  1. 3-4 specific limitations acknowledged:

    • Mật độ số nguyên tố siêu mạnh: Luận án chỉ ra rằng "mật độ các số nguyên tố siêu mạnh rất thưa, nên việc sinh tham số cho lược đồ chữ ký này sẽ không thực tế khi mà mỗi giao dịch phải sử dụng một bộ tham số riêng" (trang 46-47), đặc biệt khi so sánh với lược đồ của Tripathi [41]. Mặc dù luận án đã tìm cách tránh hạn chế này bằng cách xây dựng hệ tiêu chuẩn mới, nhưng việc tối ưu hóa quá trình sinh tham số trong các điều kiện thực tế vẫn là một thách thức.
    • Chi phí tài nguyên cho tham số riêng biệt: "Các lược đồ chữ ký số có độ an toàn dựa trên tính khóa giải của bài toán logarit rời rạc trên vành hữu hạn ℤn , để đảm bảo an toàn (chống tấn công lược đồ chữ ký sử dụng số modulo chung) thì mỗi giao dịch đều phải sử dụng tham số riêng, dẫn đến chi phí tài nguyên cao hơn các lược đồ chữ ký số cùng loại trên trường ℤp" (trang 47). Đây là một hạn chế cố hữu của các hệ thống $\mathbb{Z}_n$ khi yêu cầu mức độ phân biệt cao.
    • Giới hạn về cấu hình máy tính: Mặc dù các lược đồ đã được cài đặt thành công trên "máy tính có cấu hình vừa phải được cài hệ điều hành Window" (trang 16), nhưng việc triển khai trên các hệ thống nhúng, thiết bị di động, hoặc các nền tảng có tài nguyên hạn chế hơn có thể đặt ra những thách thức mới về tối ưu hóa hiệu suất và chi phí.
    • Thời gian sống của ngưỡng an toàn: Ngưỡng an toàn và hệ tiêu chuẩn tham số được xây dựng dựa trên năng lực tính toán hiện tại và dự báo. Tuy nhiên, sự phát triển nhanh chóng của công nghệ, đặc biệt là sự xuất hiện của máy tính lượng tử, có thể làm thay đổi hoàn toàn "độ khó" của các bài toán cơ sở và yêu cầu cập nhật liên tục các tiêu chuẩn này. "Bài toán RSA một khi xuất hiện máy tính lượng tử sẽ không còn là khó" (trang 32).

  2. Boundary conditions về context/sample/time:

    • Context: Nghiên cứu chủ yếu tập trung vào các lược đồ chữ ký số dựa trên bài toán logarit rời rạc trên vành hữu hạn $\mathbb{Z}_n$ với $n$ là tích của hai số nguyên tố phân biệt. Các kết quả có thể không áp dụng trực tiếp cho các lược đồ mật mã khác (ví dụ, mật mã đường cong elliptic, mật mã dựa trên lưới) hoặc các cấu trúc vành phức tạp hơn.
    • Sample: Các thử nghiệm thực nghiệm được thực hiện trên một bộ tham số được sinh ra theo hệ tiêu chuẩn của luận án. Tính đại diện của bộ tham số này đối với tất cả các kịch bản ứng dụng tiềm năng cần được kiểm chứng thêm.
    • Time: Các tiêu chuẩn tham số được đề xuất "áp dụng cho năm 2018 và các năm tiếp theo" (trang 17). Điều này ngụ ý rằng các tiêu chuẩn này cần được xem xét và điều chỉnh định kỳ để phù hợp với sự tiến bộ của khoa học và công nghệ.

  3. Future research agenda với 4-5 concrete directions:

    • Nghiên cứu các cấu trúc vành phức tạp hơn: Mở rộng nghiên cứu sang các cấu trúc vành khác ngoài $\mathbb{Z}_n$ với $n=p \cdot q$, hoặc các dạng vành khác trong mật mã học để tìm kiếm các lược đồ chữ ký số an toàn và hiệu quả hơn.
    • Tối ưu hóa hiệu suất trên các nền tảng khác nhau: Nghiên cứu tối ưu hóa việc triển khai các lược đồ đề xuất trên các nền tảng có tài nguyên hạn chế (ví dụ: IoT, di động) hoặc trên các kiến trúc phần cứng chuyên dụng để cải thiện tốc độ và giảm tiêu thụ năng lượng.
    • Nghiên cứu an toàn hậu lượng tử (Post-Quantum Cryptography): Khám phá khả năng tích hợp các nguyên tắc của mật mã hậu lượng tử vào các lược đồ chữ ký số trên vành $\mathbb{Z}_n$ hoặc phát triển các biến thể mới để chống lại các cuộc tấn công từ máy tính lượng tử trong tương lai.
    • Mở rộng hệ tiêu chuẩn tham số: Liên tục cập nhật và mở rộng hệ tiêu chuẩn tham số an toàn, xem xét các thuật toán tấn công mới được phát hiện và sự thay đổi trong năng lực tính toán, để đảm bảo tính an toàn lâu dài của các lược đồ.
    • Tích hợp với các ứng dụng Blockchain/phân tán: Nghiên cứu khả năng tích hợp các lược đồ chữ ký số đề xuất vào các hệ thống sổ cái phân tán (blockchain) để tăng cường bảo mật và hiệu quả cho các giao dịch và hợp đồng thông minh.

  4. Methodological improvements suggested:

    • Phát triển các công cụ thử nghiệm tự động và công khai (open-source) để cho phép cộng đồng nghiên cứu kiểm chứng và mở rộng kết quả một cách dễ dàng hơn.
    • Thực hiện các thử nghiệm hiệu suất trên một phạm vi rộng hơn các cấu hình phần cứng và hệ điều hành để cung cấp cái nhìn toàn diện hơn về hiệu suất thực tế của các lược đồ.
    • Áp dụng các phương pháp phân tích thống kê định lượng tiên tiến hơn để báo cáo các kết quả hiệu suất và an toàn, bao gồm các khoảng tin cậy và các yếu tố ảnh hưởng khác.

  5. Theoretical extensions proposed:

    • Phát triển các bằng chứng an toàn hình thức (formal security proofs) cho các lược đồ đề xuất dựa trên các mô hình an toàn được chấp nhận rộng rãi (ví dụ: mô hình oracle ngẫu nhiên) để củng cố độ tin cậy lý thuyết.
    • Nghiên cứu các dạng bài toán khó khác trên vành $\mathbb{Z}_n$ ngoài DLPn và FP, có thể dẫn đến các lược đồ chữ ký số mới với các đặc tính an toàn khác biệt.
    • Xây dựng các lý thuyết tổng quát hơn về mối quan hệ giữa cấu trúc đại số (trường/vành), bài toán khó và thiết kế lược đồ mật mã, đặc biệt là trong bối cảnh các yêu cầu về hiệu suất và an toàn ngày càng cao.

Tác động và ảnh hưởng

Luận án này dự kiến sẽ có tác động sâu rộng ở nhiều cấp độ, từ học thuật đến thực tiễn, đóng góp vào sự phát triển của an toàn thông tin và bảo mật quốc gia.

  • Academic impact với potential citations estimate: Nghiên cứu này đóng góp đáng kể vào kho tàng tri thức về mật mã học, đặc biệt là trong lĩnh vực chữ ký số trên vành hữu hạn. Việc đề xuất bốn lược đồ chữ ký số mới, cùng với cơ sở toán học và hệ tiêu chuẩn tham số an toàn, tạo ra một nền tảng vững chắc cho các nghiên cứu tiếp theo. Luận án có tiềm năng trở thành tài liệu tham khảo quan trọng cho các nhà nghiên cứu, sinh viên và chuyên gia trong lĩnh vực an toàn thông tin. Các công trình của NCS đã được công bố [140], [CT9], [CT10], [CT11], [CT12], [CT13], [CT14] (trang 140), cho thấy khả năng được trích dẫn cao trong các tài liệu học thuật và các hội nghị quốc tế về mật mã và an toàn thông tin. Có thể ước tính lượng trích dẫn tiềm năng (potential citations) sẽ tăng lên đáng kể khi các lược đồ và hệ tiêu chuẩn này được cộng đồng khoa học biết đến rộng rãi và được áp dụng trong các nghiên cứu kế tiếp.

  • Industry transformation với specific sectors: Các đóng góp của luận án có khả năng thúc đẩy chuyển đổi trong nhiều ngành công nghiệp.

    • Tài chính - Ngân hàng: Cải thiện bảo mật cho các giao dịch điện tử, thanh toán trực tuyến và hợp đồng thông minh, giảm thiểu rủi ro gian lận và tấn công mạng, một vấn đề đã gây "thiệt hại hàng tỷ USD" cho các tập đoàn lớn (trang 9).
    • Chính phủ điện tử: Nâng cao độ tin cậy và an toàn cho các dịch vụ công trực tuyến, quản lý dữ liệu công dân và các hệ thống lưu trữ hồ sơ số.
    • Thương mại điện tử: Đảm bảo tính toàn vẹn và không thể chối bỏ của các giao dịch mua bán, bảo vệ người tiêu dùng và doanh nghiệp khỏi các mối đe dọa an ninh mạng.
    • Công nghệ thông tin và Phát triển phần mềm: Cung cấp các công nghệ cốt lõi để phát triển các giải pháp bảo mật mới, tạo ra các sản phẩm và dịch vụ an toàn hơn trên thị trường.

  • Policy influence với government levels: Luận án cung cấp các bằng chứng khoa học và khuyến nghị cụ thể để định hình chính sách an toàn thông tin ở cấp độ quốc gia.

    • Cấp Chính phủ và Bộ ngành: Các khuyến nghị về "hệ tiêu chuẩn tham số an toàn" và "môi trường ứng dụng cho nó (Trong luận án đề xuất môi trường KT-XH và lĩnh vực AN-QP)" (trang 23) có thể được Bộ Thông tin và Truyền thông, Bộ Quốc phòng, Bộ Công an xem xét để ban hành các quy định, tiêu chuẩn kỹ thuật bắt buộc cho các hệ thống mật mã quốc gia và các hệ thống thông tin quan trọng.
    • Cấp địa phương: Các hướng dẫn triển khai dựa trên kết quả nghiên cứu có thể giúp các cơ quan, tổ chức địa phương áp dụng các giải pháp chữ ký số một cách hiệu quả và an toàn.

  • Societal benefits quantified where possible: Lợi ích xã hội từ nghiên cứu này là rất lớn và có thể định lượng ở một mức độ nhất định:

    • Giảm thiểu thiệt hại do tấn công mạng: Bằng cách tăng cường độ an toàn của hệ thống chữ ký số, luận án góp phần giảm thiểu các thiệt hại kinh tế do tấn công mạng gây ra, như con số "14.900 tỷ đồng, tương đương 642 triệu USD" thiệt hại cho người dùng Việt Nam năm 2018 (trang 9).
    • Tăng cường lòng tin vào không gian mạng: Khi các dịch vụ điện tử được bảo mật tốt hơn, người dân và doanh nghiệp sẽ có niềm tin lớn hơn khi tham gia vào các hoạt động trực tuyến, thúc đẩy kinh tế số và xã hội số.
    • Bảo vệ thông tin cá nhân: Các lược đồ chữ ký số an toàn giúp bảo vệ tính riêng tư và toàn vẹn của dữ liệu cá nhân trong các giao dịch và dịch vụ điện tử.
    • Nâng cao năng lực quốc phòng - an ninh: Việc phát triển và ứng dụng các lược đồ chữ ký số an toàn trong lĩnh vực AN-QP sẽ góp phần bảo vệ thông tin mật, đảm bảo an toàn cho các hệ thống chỉ huy, kiểm soát, và thông tin tình báo, từ đó nâng cao năng lực tự chủ và an ninh quốc gia.

  • International relevance với global implications: Các đóng góp của luận án có ý nghĩa quốc tế sâu sắc. Vấn đề an toàn thông tin là thách thức toàn cầu và các giải pháp được đề xuất trong luận án có thể áp dụng ngoài biên giới Việt Nam.

    • Đóng góp vào nghiên cứu mật mã toàn cầu: Các lược đồ và phương pháp luận mới sẽ được cộng đồng mật mã quốc tế công nhận và có thể được sử dụng làm cơ sở để phát triển các tiêu chuẩn quốc tế mới hoặc cải tiến các tiêu chuẩn hiện có.
    • Tăng cường hợp tác quốc tế: Nghiên cứu này có thể khuyến khích hợp tác giữa Việt Nam và các quốc gia khác trong việc phát triển và triển khai các giải pháp an toàn thông tin.
    • Giải quyết vấn đề an ninh mạng xuyên quốc gia: Các lược đồ chữ ký số được cải thiện có thể góp phần vào việc xây dựng một không gian mạng toàn cầu an toàn và đáng tin cậy hơn, giảm thiểu các cuộc tấn công mạng xuyên quốc gia.

Đối tượng hưởng lợi

Nghiên cứu này mang lại lợi ích cụ thể cho nhiều đối tượng, từ cộng đồng học thuật đến các nhà hoạch định chính sách và ngành công nghiệp.

  • Doctoral researchers (Nghiên cứu sinh Tiến sĩ):

    • Specific research gaps: Luận án cung cấp một phân tích sâu sắc về các khoảng trống học thuật trong lĩnh vực chữ ký số trên trường $\mathbb{Z}_p$ và vành $\mathbb{Z}_n$. Điều này giúp các nghiên cứu sinh Tiến sĩ tương lai dễ dàng xác định được "vấn đề cần giải quyết trong luận án và trình bày một số kiến thức cơ sở liên quan đến các nội dung nghiên cứu" (trang 17), làm nền tảng cho việc lựa chọn đề tài và định hướng nghiên cứu.
    • Theoretical advances: Các đóng góp lý thuyết về việc che giấu cấp phần tử sinh, tối ưu hóa chi phí tính toán qua CRT, và hệ tiêu chuẩn tham số an toàn mở ra các hướng phát triển lý thuyết mới trong mật mã học.

  • Senior academics (Các nhà khoa học cấp cao):

    • Theoretical advances: Các đóng góp của luận án làm giàu thêm cơ sở khoa học để phát triển lược đồ chữ ký số, và "bổ sung thêm giải pháp nâng cao độ an toàn cho các lược đồ chữ ký số trên vành $\mathbb{Z}_n$" (trang 16). Điều này cung cấp các công cụ và khung phân tích mới để các nhà khoa học cấp cao tiếp tục phát triển lý thuyết và ứng dụng.
    • New research streams: Việc chứng minh tính ưu việt của $\mathbb{Z}_n$ so với $\mathbb{Z}_p$ và xây dựng các tiêu chuẩn định lượng tạo tiền đề cho các hướng nghiên cứu mới trong thiết kế mật mã, đặc biệt trong bối cảnh các yêu cầu về an toàn và hiệu suất ngày càng cao.

  • Industry R&D (Bộ phận R&D ngành công nghiệp):

    • Practical applications: Luận án đề xuất "bốn lược đồ chữ ký số đề xuất đã cài đặt thành công trên ngôn ngữ cấp cao, chạy trên các máy tính có cấu hình vừa phải được cài hệ điều hành Window, kích thước tham số sát với thực tế" (trang 16). Các bộ phận R&D có thể trực tiếp ứng dụng các lược đồ này để phát triển các sản phẩm và dịch vụ bảo mật mới, từ các giải pháp xác thực mạnh mẽ đến các hệ thống quản lý danh tính số.
    • Quantify benefits: Việc "định lượng được tham số mà tiền đề là ngưỡng an toàn và sau đó là hệ tiêu chuẩn tham số an toàn" (trang 16) giúp các nhóm R&D có thể đánh giá và lựa chọn tham số phù hợp với yêu cầu an toàn và chi phí của sản phẩm, tối ưu hóa đầu tư.

  • Policy makers (Các nhà hoạch định chính sách):

    • Evidence-based recommendations: Luận án cung cấp "cơ sở tham khảo cho các tổ chức hoặc cá nhân khi đánh giá độ an toàn hoặc có ý định ứng dụng các lược đồ chữ ký số này vào thực tiễn" (trang 12), đặc biệt với việc đề xuất hai môi trường ứng dụng là KT-XH và AN-QP. Các nhà hoạch định chính sách có thể sử dụng những bằng chứng này để ban hành các tiêu chuẩn an toàn thông tin quốc gia và các hướng dẫn triển khai phù hợp, nhằm bảo vệ cơ sở hạ tầng thông tin quan trọng và thúc đẩy chính phủ số an toàn.
    • Quantify benefits: Việc giảm thiểu thiệt hại do tấn công mạng (hàng tỷ USD) thông qua các giải pháp an toàn hơn là một lợi ích kinh tế và xã hội có thể định lượng, hỗ trợ các quyết định chính sách về đầu tư vào an ninh mạng.

  • Quantify benefits where possible:

    • Giảm chi phí tính toán: Các lược đồ đề xuất có thể giảm "1/3 chi phí" cho các phép toán quan trọng so với các lược đồ trên trường $\mathbb{Z}_p$, dẫn đến tiết kiệm đáng kể tài nguyên tính toán cho các hệ thống mật mã quy mô lớn.
    • Giảm thiểu thiệt hại do tấn công: Bằng cách giải quyết "nguy cơ mất an toàn xảy ra trong tình huống trùng khóa phiên hoặc lộ khóa phiên" và nâng cao hiệu quả, luận án góp phần giảm thiểu các thiệt hại kinh tế và xã hội. Cụ thể, số tiền thiệt hại do virus máy tính gây ra tại Việt Nam năm 2018 là 14.900 tỷ đồng (642 triệu USD) có thể được giảm đáng kể nhờ các giải pháp an toàn hơn.
    • Nâng cao độ an toàn: Việc đáp ứng các "hệ tiêu chuẩn tham số an toàn" và "sử dụng hàm băm SHA 512" (trang 16) đảm bảo mức độ bảo mật cao, góp phần tạo dựng lòng tin và sự ổn định cho các dịch vụ số.

Câu hỏi chuyên sâu

  1. Theoretical contribution độc đáo nhất (name theory extended): Đóng góp lý thuyết độc đáo nhất của luận án là việc mở rộng và tái định vị lý thuyết về Bài toán Logarit Rời rạc (DLP) sang cấu trúc vành hữu hạn $\mathbb{Z}_n$, đặc biệt là khi $n$ là hợp số. Luận án đã chứng minh rằng các lược đồ chữ ký số trên vành $\mathbb{Z}_n$ có thể che giấu cấp của phần tử sinh $g$, một đặc tính không thể có ở các lược đồ trên trường $\mathbb{Z}_p$. Sự che giấu này dựa vào tính khó giải của Bài toán Phân tích Số (FP) trên số modulo $n$. Bằng cách này, luận án không chỉ "mở rộng" lý thuyết DLP từ $\mathbb{Z}_p$ sang $\mathbb{Z}_n$ mà còn cung cấp một cơ chế bảo mật mới dựa trên việc kết hợp DLPn và FP, giúp khắc phục những điểm yếu cố hữu của các lược đồ dựa trên DLPp (như ElGamal và DSA) trước các cuộc tấn công dựa vào cấp phần tử sinh và lộ/trùng khóa phiên. Điều này đặt ra một tiền đề lý thuyết mới cho việc thiết kế các lược đồ mật mã an toàn hơn và hiệu quả hơn.

  2. Methodology innovation (compare với 2+ prior studies): Đổi mới phương pháp luận chính của luận án là việc xây dựng một hệ tiêu chuẩn tham số an toàn định lượng và một công thức tính ngưỡng an toàn (Security_strength) có cơ sở toán học rõ ràng, kết hợp với việc phát triển một công cụ phần mềm để sinh và kiểm tra các tham số này.

    • So với các lược đồ trên $\mathbb{Z}_p$ (ElGamal, DSA): Các lược đồ này thường dựa vào các chuẩn quốc tế (FIPS 186-3, NIST 800-57) để xác định kích thước tham số. Tuy nhiên, các chuẩn này chủ yếu tập trung vào $L(p)$ và $L(\text{Ordp g})$ và không giải quyết được vấn đề công khai cấp phần tử sinh hoặc hiệu suất tính toán. Luận án không chỉ kế thừa các chuẩn này mà còn phát triển hệ tiêu chuẩn riêng cho $\mathbb{Z}_n$, định lượng rõ ràng các điều kiện ràng buộc cho các ước nguyên tố bổ trợ ($p_1, p_2, q_1, q_2$) và mối quan hệ giữa chúng với ngưỡng an toàn.
    • So với các lược đồ trên $\mathbb{Z}_n$ trước đây (ví dụ Hồ Ngọc Duy [1], S. Gupta [39]): Nhiều nghiên cứu trước đây "chưa xây dựng cơ sở toán học và hệ tiêu chuẩn cho tham số" và "đa số các lược đồ chữ ký chưa được khuyến cáo cho người sử dụng nên sử dụng hệ tiêu chuẩn tham số đã có của thế giới" (trang 11). Cụ thể, lược đồ của Hồ Ngọc Duy [1] chọn cấp phần tử sinh 256 bit mà "chưa chứng minh sự tồn tại của phần tử sinh g cùng với cấp của nó, đồng thời chưa chỉ ra tại sao len(t)= 256 bít" (trang 46). Luận án này giải quyết trực tiếp khoảng trống đó bằng việc cung cấp một "công thức tính ngưỡng an toàn" và "hệ tiêu chuẩn cho tham số" (trang 14), và "đã xây dựng được bộ công cụ để sinh tham số theo hệ tiêu chuẩn đã đưa ra" (trang 23). Điều này mang lại tính minh bạch, khả năng kiểm chứng và tính thực tiễn cao hơn nhiều so với các nghiên cứu trước.

  3. Most surprising finding (với data support): Phát hiện đáng ngạc nhiên nhất là việc các lược đồ chữ ký số trên vành hữu hạn $\mathbb{Z}_n$ không chỉ có thể cung cấp độ an toàn cao hơn (nhờ che giấu cấp của phần tử sinh) mà còn đạt được hiệu quả tính toán vượt trội đáng kể so với các lược đồ cùng loại trên trường hữu hạn $\mathbb{Z}_p$. Điều này phản trực giác vì vành hợp số thường được cho là phức tạp hơn trường nguyên tố.

    • Data support: "tốc độ sinh chữ ký của lược đồ chữ ký trên trường ℤp chậm hơn nhiều tốc độ sinh chữ ký của các lược đồ chữ ký cùng loại trên vành ℤn , do các phép toán có chi phí lớn trong các lược đồ chữ ký là phép lũy thừa, phép tính phần tử nghịch đảo trên vành ℤn sẽ có chi phí nhỏ hơn nhiều trên trường ℤp nhờ áp dụng định lý CRT (được chứng minh trong bổ đề 2.3. Hơn nữa, các lược đồ chữ ký cùng loại được xây dựng trên cấu trúc vành ℤn tránh được hai nguy cơ tấn công nêu trên nhờ tính chất che giấu cấp phần tử sinh" (trang 10). Cụ thể hơn, "phép lũy thừa và phép nghịch đảo trên vành $\mathbb{Z}_n$ với n = p.q có chi phí chỉ bằng 1/3 chi phí trên trường $\mathbb{Z}_p$ với L(p) = L(n))" (trang 43). Phát hiện này thách thức các giả định đã có về lựa chọn cấu trúc đại số tối ưu trong mật mã khóa công khai.

  4. Replication protocol provided? Có, luận án đã cung cấp một giao thức khá chi tiết cho việc tái tạo các kết quả của nó.

    • Cơ sở lý thuyết rõ ràng: Luận án trình bày "một số định nghĩa và định lý quan trọng" (trang 24), "thuật toán và độ phức tạp của thuật toán" (trang 26), bao gồm bảng thống kê độ phức tạp của các phép toán cơ bản [Bảng 1.1, trang 28], làm nền tảng cho việc thiết kế và phân tích.
    • Thiết kế lược đồ chi tiết: Chương 2 của luận án ("PHÁT TRIỂN LƯỢC ĐỒ CHỮ KÝ SỐ TRÊN VÀNH") tập trung vào việc "Xây dựng lược đồ chữ ký số cơ sở. Xây dựng công thức tổng quát. Đề xuất lược đồ chữ ký số trên vành ℤn. Lược đồ chữ ký số dạng 1. Lược đồ chữ ký số dạng 2. Phân tích các lược đồ chữ ký đề xuất" (trang iii).
    • Quy trình xây dựng tham số: Chương 3 ("XÂY DỰNG THAM SỐ AN TOÀN CHO CÁC LƯỢC ĐỒ CHỮ KÝ SỐ ĐỀ XUẤT") mô tả chi tiết "Ngưỡng an toàn của lược đồ chữ ký số đề xuất", "Xây dựng hệ tiêu chuẩn cho tham số", và "Sinh tham số cho các lược đồ chữ ký số đề xuất" (trang iv).
    • Công cụ phần mềm: NCS "đã xây dựng công cụ thử nghiệm là phần mềm tin học" (trang 15) và "xây dựng chương trình để thử nghiệm việc xác định ngưỡng an toàn, sinh chữ ký, xác nhận chữ ký và sinh tham số cho lược đồ chữ ký số đề xuất theo hệ tiêu chuẩn đã đưa ra" (trang 14). Sự tồn tại của phần mềm này, cùng với các thuật toán và tiêu chuẩn được mô tả, tạo thành một giao thức tái tạo.
    • Kiểm chứng: "Sau mỗi nội dung thử nghiệm đều tiến hành đánh giá kết quả thử nghiệm, đối chiếu kết quả thử nghiệm với kết quả nghiên cứu lý thuyết" (trang 15).

  5. 10-year research agenda outlined? Mặc dù không nêu rõ là "lộ trình nghiên cứu 10 năm", luận án đã phác thảo một agenda nghiên cứu tương lai cụ thể và đầy đủ, có thể định hướng cho các nghiên cứu trong một thập kỷ tới:

    • Mở rộng sang các cấu trúc đại số mới: Nghiên cứu vành $\mathbb{Z}_n$ với các cấu trúc khác ngoài $n=p \cdot q$, hoặc các dạng vành khác trong mật mã (trang 139).
    • Tối ưu hóa và triển khai đa nền tảng: Nghiên cứu và tối ưu hóa các lược đồ đề xuất trên các thiết bị tài nguyên hạn chế (IoT, di động) hoặc các kiến trúc phần cứng chuyên dụng để cải thiện hiệu suất và giảm chi phí (trang 139).
    • An toàn hậu lượng tử: Phát triển hoặc điều chỉnh các lược đồ để chống lại các cuộc tấn công từ máy tính lượng tử, một mối đe dọa lớn trong tương lai gần. Điều này sẽ liên quan đến việc kết hợp các nguyên tắc của mật mã hậu lượng tử vào khung $\mathbb{Z}_n$ (trang 139).
    • Cập nhật liên tục hệ tiêu chuẩn: Liên tục cập nhật và mở rộng hệ tiêu chuẩn tham số an toàn dựa trên sự phát triển của các thuật toán tấn công và sự tăng cường năng lực tính toán toàn cầu (trang 139).
    • Tích hợp vào các công nghệ mới: Nghiên cứu khả năng tích hợp các lược đồ chữ ký số vào các công nghệ mới nổi như blockchain và điện toán đám mây để tăng cường bảo mật cho các ứng dụng phân tán và dữ liệu trên đám mây (trang 139).
    • Bằng chứng an toàn hình thức: Xây dựng các bằng chứng an toàn hình thức mạnh mẽ cho các lược đồ đề xuất để củng cố cơ sở lý thuyết của chúng (trang 139).

Kết luận

Luận án "Phát triển và xây dựng tham số an toàn cho hệ chữ ký số trên bài toán logarit rời rạc theo modul hợp số" đã đạt được nhiều đóng góp quan trọng, củng cố nền tảng lý thuyết và thực tiễn của lĩnh vực mật mã học.

  1. 5-6 SPECIFIC contributions (numbered):

    1. Phát triển thành công bốn lược đồ chữ ký số mới trên vành hữu hạn $\mathbb{Z}_n$, có khả năng che giấu cấp của phần tử sinh, khắc phục nhược điểm cố hữu của các lược đồ trên trường $\mathbb{Z}_p$.
    2. Chứng minh được hiệu quả tính toán vượt trội của các lược đồ trên $\mathbb{Z}_n$ nhờ ứng dụng Định lý Số dư Trung Quốc (CRT), giảm tới 1/3 chi phí cho các phép lũy thừa và nghịch đảo.
    3. Xây dựng một công thức tính ngưỡng an toàn và một hệ tiêu chuẩn tham số an toàn toàn diện, có cơ sở toán học vững chắc, để định lượng và đảm bảo độ an toàn của các lược đồ chữ ký số.
    4. Phát triển công cụ phần mềm để tự động sinh và kiểm tra các tham số theo hệ tiêu chuẩn đã đề xuất, khẳng định tính khả thi và đúng đắn của phương pháp.
    5. Đề xuất hai môi trường ứng dụng cụ thể là Kinh tế - Xã hội (KT-XH) và Quốc phòng - An ninh (AN-QP), cung cấp hướng dẫn thực tiễn cho việc triển khai các lược đồ chữ ký số, một điểm khác biệt so với các nghiên cứu trước.
    6. Khẳng định tính đúng đắn, đầy đủ, hiệu quả và an toàn vượt trội của các lược đồ trên vành $\mathbb{Z}_n$ so với các lược đồ cùng loại trên trường $\mathbb{Z}_p$.

  2. Paradigm advancement với evidence: Luận án đã tạo ra một sự tiến bộ trong mô hình (paradigm advancement) thiết kế và đánh giá chữ ký số, chuyển dịch trọng tâm từ các cấu trúc trường hữu hạn (như $\mathbb{Z}_p$) sang việc khai thác tiềm năng của các cấu trúc vành hữu hạn (như $\mathbb{Z}_n$). Bằng chứng là việc "Kết quả nghiên cứu đã khẳng định việc phát triển các lược đồ chữ ký số trên vành hữu hạn ℤn là có cơ sở khoa học, đảm bảo tính đúng đắn, tính đầy đủ, tính hiệu quả và an toàn hơn các lược đồ chữ ký số cùng loại trên trường ℤp" (trang 16). Điều này đặt ra một khung tư duy mới, ưu tiên khả năng che giấu thông tin quan trọng (cấp phần tử sinh) và tối ưu hóa hiệu suất bằng cách tận dụng các đặc tính của cấu trúc vành.

  3. 3+ new research streams opened: Luận án mở ra nhiều hướng nghiên cứu mới:

    • Nghiên cứu về các cấu trúc vành đa dạng: Khám phá các dạng vành khác hoặc vành phức tạp hơn cho việc xây dựng lược đồ mật mã an toàn.
    • Tối ưu hóa mật mã trên tài nguyên hạn chế: Phát triển các kỹ thuật triển khai và tối ưu hóa các lược đồ chữ ký số trên các thiết bị IoT, di động và hệ thống nhúng.
    • Mật mã hậu lượng tử dựa trên vành: Mở đường cho việc nghiên cứu các lược đồ mật mã kháng lượng tử tận dụng các đặc tính của vành hữu hạn.
    • Hệ tiêu chuẩn động cho tham số mật mã: Phát triển các mô hình và thuật toán để liên tục cập nhật các tiêu chuẩn tham số an toàn dựa trên các mối đe dọa và công nghệ mới.

  4. Global relevance với international comparison: Các phát hiện của luận án có ý nghĩa toàn cầu, đặc biệt trong bối cảnh các mối đe dọa an ninh mạng đang gia tăng trên toàn thế giới và nhu cầu về các giải pháp mật mã mạnh mẽ. Bằng cách giải quyết các hạn chế của các lược đồ quốc tế như ElGamal và DSA, và cung cấp một cách tiếp cận tiên tiến hơn cho các lược đồ trên vành $\mathbb{Z}_n$, luận án góp phần vào kho tàng tri thức mật mã toàn cầu. Việc "so sánh chi phí tính toán của lược đồ chữ ký đề xuất với lược đồ chữ ký số Elgama và lược đồ DSA" (trang 13) và tham chiếu đến các chuẩn quốc tế như FIPS và NIST chứng tỏ nhận thức quốc tế và khả năng cạnh tranh của nghiên cứu.

  5. Legacy measurable outcomes: Di sản của luận án được thể hiện qua các kết quả có thể đo lường:

    • Giảm thiểu thiệt hại: Tiềm năng giảm thiểu thiệt hại kinh tế do tấn công mạng (như 14.900 tỷ đồng tại Việt Nam năm 2018) thông qua các hệ thống an toàn hơn.
    • Tăng hiệu suất: Cải thiện tốc độ sinh chữ ký và xác nhận chữ ký, với khả năng giảm 1/3 chi phí tính toán cho các phép toán chính.
    • Tiêu chuẩn hóa: Tạo ra một hệ tiêu chuẩn định lượng cho tham số an toàn, có thể được các tổ chức và chính phủ áp dụng.
    • Đóng góp học thuật: Số lượng trích dẫn tiềm năng và ảnh hưởng đến các nghiên cứu tương lai trong lĩnh vực mật mã.
    • Ứng dụng thực tiễn: Triển khai các giải pháp bảo mật trong các lĩnh vực KT-XH và AN-QP, đóng góp vào an ninh quốc gia và sự phát triển kinh tế số.