Tổng quan luận án

Bối cảnh thực tiễn của công trình nghiên cứu xuất phát từ nhu cầu đảm bảo an toàn, bảo mật thông tin trong quá trình xây dựng Chính phủ điện tử, thương mại điện tử và chuyển đổi số trong cuộc Cách mạng công nghiệp lần thứ tư. Theo thống kê của Liên Hợp Quốc năm 2020 được trích dẫn trong văn bản, Việt Nam xếp hạng 86/193 quốc gia về chỉ số phát triển Chính phủ điện tử (EGDI). Sự gia tăng của các luồng dữ liệu điện tử đòi hỏi các giải pháp xác thực và kiểm soát toàn vẹn thông tin chặt chẽ, đặc biệt trong các hệ thống thông tin phục vụ quốc phòng và an ninh quốc gia, nhằm tránh sự phụ thuộc công nghệ và giải quyết các vấn đề bản quyền.

Về mặt học thuật, các hệ mật mã khóa công khai và lược đồ chữ ký số hiện hành phần lớn được thiết lập dựa trên tính khó giải của một bài toán số học đơn lẻ, chẳng hạn như bài toán phân tích số nguyên (IFP) hoặc bài toán logarit rời rạc (DLP). Do sự phát triển của năng lực tính toán và các giải thuật thám mã, độ an toàn của các hệ thống dựa trên một bài toán khó đứng trước nguy cơ bị suy giảm. Mặc dù đã có một số công trình đề xuất kết hợp hai bài toán khó, phần lớn các giải pháp trước đây thực hiện việc kết hợp tuần tự qua từng giai đoạn hoặc tồn tại các lỗ hổng đại số dẫn đến nguy cơ bị giả mạo chữ ký. Khoảng trống nghiên cứu mà luận án tập trung giải quyết là xây dựng các lược đồ chữ ký số dựa trên việc kết hợp đồng thời các bài toán khó, cụ thể là bài toán khai căn và bài toán logarit rời rạc.

Mục tiêu chính của luận án là đề xuất phương pháp xây dựng lược đồ chữ ký số an toàn dựa trên việc kết hợp một số bài toán khó. Các mục tiêu cụ thể gồm:

  1. Đề xuất dạng bài toán khó mới dựa trên việc kết hợp hai dạng bài toán khó cơ sở hiện nay là bài toán khai căn và bài toán logarit rời rạc.
  2. Đề xuất phương pháp xây dựng lược đồ chữ ký số từ dạng bài toán khó mới.
  3. Đánh giá, thử nghiệm chương trình một số lược đồ chữ ký số đã đề xuất.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Lược đồ chữ ký số và những thuật toán, bài toán cơ sở để xây dựng lược đồ chữ ký số.
  • Phạm vi nghiên cứu: Nghiên cứu cơ sở lý thuyết một số bài toán trong lý thuyết số trên trường hữu hạn (bài toán phân tích số, bài toán logarit rời rạc, bài toán khai căn); cách thức hình thành khóa và tham số hệ thống của một số chuẩn chữ ký số như DSS của Hoa Kỳ, GOST của Liên bang Nga (đặc biệt là các dạng lược đồ có chữ ký số hai thành phần); phát triển lược đồ chữ ký số dựa trên tính khó giải của việc kết hợp bài toán khai căn và bài toán logarit rời rạc.

Tổng quan tài liệu và vị trí của luận án

Luận án đã hệ thống hóa các hướng nghiên cứu về lược đồ chữ ký số trong và ngoài nước theo hai nhánh chính: nâng cao tính hiệu quả và nâng cao tính an toàn.

Ở hướng nâng cao tính hiệu quả:

  • Về không gian lưu trữ và tối ưu tham số: Addepalli V. Krishna và cộng sự (2017) đề xuất lược đồ dựa trên DLP nhằm giảm tài nguyên tính toán; Kaisei Kajita và cộng sự (2017) đề xuất lược đồ cho phép chọn tham số bảo mật nhỏ; Attila Altay Yavuz và Muslum Ozgur Ozmen (2019) nghiên cứu lược đồ chữ ký số nhẹ cho thiết bị nhúng.
  • Về thời gian xử lý: Girraj Kumar Verma và B. Singh (2017) đề xuất lược đồ có chi phí tính toán thấp; Sapna Saxena và Neha Kishoreb (2017) phát triển lược đồ chữ ký song song cho GPU trên nền RSA; Dhanashree Toradmalle và cộng sự (2017) cải tiến thuật toán ECDSA; Dongyoung Roh và cộng sự (2018) nghiên cứu lược đồ chữ ký Winternitz (so sánh hiệu năng giữa WSS-N và WSS-B); Nedal Tahat và cộng sự (2018) kết hợp bản đồ hỗn loạn (chaotic maps) và IFP.
  • Về tính tiện lợi và ứng dụng đặc thù: Ashraf Darwish và Maged M El-Gendy (2017) đề xuất lược đồ cho hệ thống bầu cử điện tử dựa trên cam kết bit và chữ ký mù; Muhammad Tahir Abbas và cộng sự (2017) áp dụng chữ ký ngắn cho giao thức định tuyến AODV trong mạng di động; Hong Shu và cộng sự (2019) xây dựng lược đồ dựa trên hàm băm Trapdoor cho mạng IoT.
  • Các công trình của tác giả Việt Nam về tính hiệu quả: Lê Văn Thái và Phạm Khắc Hoan (2015) đề xuất hệ mã McEliece dựa trên nhận dạng và mã BCH; Lưu Hồng Dũng và cộng sự (2010) nghiên cứu lược đồ chữ ký bội phân biệt trách nhiệm; Nguyễn Đức Toàn và cộng sự (2016) kết hợp OTP, mã khối AES, SHA-256 và RSA; Trần Trung Dũng và cộng sự (2012) phát triển thuật toán từ hệ mật ElGamal để bảo mật và xác thực đồng thời.

Ở hướng nâng cao tính an toàn:

  • Các nghiên cứu quốc tế: Tomasz Hyla và Jerzy Pejaś (2017), Jayabhaskar Muthukuru (2017) nghiên cứu chữ ký trên đường cong Elliptic; Wijik Lee và cộng sự (2017) phát triển lược đồ trên mã Reed-Muller; Shapuan và Ismail (2018), Tripathi và Gupta (2018), Mohd Saiful Adli Mohamad (2018) nghiên cứu lược đồ kết hợp IFP và DLP; Ravinesh Chand (2019) xây dựng lược đồ trên lưới (LWE và SIS); Lei He và cộng sự (2019) đề xuất chữ ký mù cho mạng UAV trong mô hình Oracle ngẫu nhiên; Anjaneyulu và cộng sự (2019) kết hợp DLP và đa thức đối xứng với hai cặp khóa.
  • Các nghiên cứu tại Việt Nam: Đỗ Việt Bình và cộng sự (2013) đề xuất lược đồ chữ ký ngắn từ hai bài toán khó; Hồ Ngọc Duy và cộng sự (2014) xây dựng giao thức chữ ký tập thể trên nhóm hữu hạn non-cyclic dựa trên DLP modulo hợp số; Đào Tuấn Hùng và cộng sự (2017) nghiên cứu chữ ký nhóm ngưỡng lai dựa trên ECDLP; Nguyễn Tấn Đức và cộng sự (2017) kết hợp RSA và Schnorr (IFP và DLP), đồng thời phát triển bốn lược đồ chữ ký bội mù từ GOST R34-10.94 và Schnorr; Đặng Minh Tuấn (2017) nghiên cứu mô hình chữ ký bội nhiều thành phần; Nguyễn Đào Trường và Lê Văn Tuấn (2018) nâng cao độ an toàn trên vành hữu hạn $Z_n$; Võ Tùng Linh (2018) nghiên cứu phép biến đổi Fiat-Shamir từ lược đồ định danh chính tắc; Nguyễn Nam Hải và cộng sự (2019) đề xuất hai giao thức chữ ký mù dựa trên DLP modulo hợp số $n = p \cdot q$ trên nhóm cyclic hai chiều.

Về các công trình kết hợp đa bài toán khó, luận án điểm lại tiến trình lịch sử: Sơ đồ phân phối khóa của McCurley (1988); sơ đồ nhận dạng của Brickell và McCurley (1992); các lược đồ chữ ký của Laih và Kuo (1997), Shao (1998). Luận án phân tích các phát hiện điểm yếu: Li và Xiao (1998) cùng Lee (1999) chứng minh lược đồ của Shao bị phá vỡ nếu IFP được giải; He (2001) đề xuất cải tiến nhưng bị Sun (2001), Ding và Laih (2001), cùng Shao (2001) chỉ ra là chỉ phụ thuộc vào DLP và không đảm bảo an toàn; Tzeng và cộng sự (2004) bị Shao (2004) chứng minh có thể bị giả mạo qua thuật toán Pollard-Schnorr; Chang và cộng sự (2004) chỉ ra lỗi tồn tại nhiều khóa bí mật; Lin và cộng sự (2007) cải tiến nhưng vẫn bị quy về việc giải IFP; Wei (2007) sử dụng phần dư bậc hai nhưng bị Zheng và cộng sự (2008) cùng Lin và cộng sự (2009) phá vỡ thông qua phương pháp giải phương trình lũy thừa bậc hai.

Khoảng trống học thuật được xác định: Các giải pháp kết hợp trước đây chủ yếu thực hiện tuần tự, dẫn đến việc độ an toàn thực tế chỉ phụ thuộc vào một bài toán thành phần. Luận án định vị hướng tiếp cận mới là xây dựng bài toán kết hợp đồng thời (khai căn kết hợp logarit rời rạc và giải hệ phương trình phi tuyến), buộc đối tượng tấn công phải giải quyết đồng thời các bài toán khó cơ sở.

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

Luận án sử dụng các nền tảng lý thuyết và công cụ phân tích mật mã học sau:

  • Khái niệm hệ mật mã hình thức $(P, C, K, E, D)$ gồm không gian bản rõ, bản mã, khóa, thuật toán mã hóa và giải mã; phân loại mật mã khóa bí mật (SKC), mật mã khóa công khai (PKC) theo NIST SP800-57, và hàm băm mật mã.
  • Các thuộc tính toán học của hàm băm $h(M): D \rightarrow R$: tính một chiều, tính chống xung đột yếu và tính chống xung đột mạnh. Chuẩn băm an toàn SHS-FIPS PUB 180 được phân tích qua các thông số kỹ thuật:
Giải thuật Kích thước thông điệp Kích thước khối Kích thước từ Kích thước thông điệp thu gọn Bit an toàn
SHA-1 $< 2^{64}$ bit 512 bit 32 bit 160 bit 80 bit
SHA-224 $< 2^{64}$ bit 512 bit 32 bit 224 bit 112 bit
SHA-256 $< 2^{64}$ bit 512 bit 32 bit 256 bit 128 bit
SHA-384 $< 2^{128}$ bit 1024 bit 64 bit 384 bit 192 bit
SHA-512 $< 2^{128}$ bit 1024 bit 64 bit 512 bit 256 bit
  • Chuẩn chữ ký số DSS (Hoa Kỳ) qua các bản sửa đổi FIPS PUB 186, 186-1, 186-2, 186-3, 186-4 và chuẩn GOST (Liên bang Nga) gồm GOST P34.10-94, GOST P34.10-2001, GOST P34.10-2012:
Tiêu chí DSS GOST P34.10-2001
Hàm băm 160 bits 256 bits
Tham số $p = 512$ bits, $q = 160$ bits $2^{509} < p < 2^{512}$ hoặc $2^{1020} < p < 2^{1024}$; $2^{254} < q < 2^{256}$
Áp dụng Thế giới Nước Nga
Ưu điểm Linh động An toàn cao
Nhược điểm Có thể bị tấn công Tốc độ chậm, lưu trữ lớn
  • Các bài toán nền tảng trong lý thuyết số:
    • Bài toán phân tích số nguyên (IFP): $n = \prod_{i=1}^k p_i^{e_i}$. Đánh giá độ phức tạp qua phương pháp sàng trường số tổng quát GNFS: $L_n [1/3, \sqrt[3]{64/9}] = \exp\left( (\sqrt[3]{64/9} + o(1)) (\ln n)^{1/3} (\ln \ln n)^{2/3} \right)$ và phương pháp đường cong Elliptic ECM: $L_p [1/2, \sqrt{2}] = \exp\left( (\sqrt{2} + o(1)) \sqrt{\ln p \ln \ln p} \right)$. Ứng dụng trong hệ mật RSA: $C = M^e \bmod n$, $M = C^d \bmod n$ với $ed \equiv 1 \pmod{\phi(n)}$.
    • Bài toán logarit rời rạc (DLP): Tìm $x$ sao cho $y \equiv g^x \pmod p$ trên nhóm cyclic $G_p^*$. Đánh giá độ phức tạp của thuật toán Baby-step Giant-step ($O(\sqrt{n})$), thuật toán Pohlig-Hellman ($O(\sum_i e_i (\log n + \sqrt{p_i}))$), thuật toán Index Calculus ($L_n[1/2, \sqrt{2}+o(1)]$). Ứng dụng trong hệ mật ElGamal với cặp khóa công khai - bí mật $(A = g^a \bmod p, a)$ và khóa tạm thời $k$.
    • Bài toán khai căn (RP): Tìm $x$ thỏa mãn $a \equiv x^k \pmod n$. Luận án phân tích cấu trúc nghiệm qua việc quy đổi về phương trình đồng dư $X^k \equiv 1 \pmod n$ và phân tích nghiệm trên modulo lũy thừa nguyên tố $p^{k'}$:
      • Định lý 2.1: Xét $x^k \equiv 1 \pmod{2^{k'}}$. Nếu $k$ lẻ có nghiệm duy nhất $x_0 = 1$; nếu $k$ chẵn và $v_2(k) > k' - 2$ thì có $2^{k'-1}$ nghiệm; nếu $k$ chẵn và $v_2(k) \le k' - 2$ thì có $2^{1+v_2(k)}$ nghiệm dạng ${2^{k'-v_2(k)} t \pm 1}$.
      • Định lý 2.2: Với $p$ lẻ, $\gcd(k, \phi(p^{k'})) = d$, phương trình $x^k \equiv 1 \pmod{p^{k'}}$ có đúng $d$ nghiệm $x_t = g^{t \phi(p^{k'}) / d} \pmod{p^{k'}}$ với $t = 1, \dots, d$.
      • Ứng dụng trong hệ mật Rabin: Khóa công khai $n = p \cdot q$, mã hóa $C = M^2 \bmod n$, giải mã tìm 4 căn bậc hai $M_1, M_2, M_3, M_4$.

Phương pháp nghiên cứu kết hợp giữa nghiên cứu lý thuyết toán học (suy diễn đại số, lý thuyết đồng dư, phân tích độ phức tạp thuật toán) và phương pháp thực nghiệm (thiết kế thuật toán hình thành khóa, tạo và kiểm tra chữ ký; cài đặt chương trình thử nghiệm để kiểm chứng tính đúng đắn và đánh giá hiệu năng).

Nội dung chính theo từng chương

Chương 1: Tổng quan về chữ ký số và định hướng nghiên cứu của luận án

Chương 1 hệ thống hóa các định nghĩa toán học của chữ ký số gồm bộ ba thuật toán (sinh khóa, ký, xác minh) và cơ chế ký trên giá trị băm $h(M)$. Tác giả phân loại chữ ký số theo hai nhóm đặc trưng kiểm tra: chữ ký số kèm thông điệp (ElGamal, DSA, Schnorr) và chữ ký số khôi phục thông điệp (RSA, Rabin). Theo mức độ an toàn và ứng dụng đặc trưng, chương 1 trình bày chi tiết các mô hình: chữ ký không thể phủ nhận (Chaum-van Antwerpen), chữ ký một lần (Lamport, Van Heyst & Pedersen), chữ ký số mù (David Chaum 1983) với hai thuộc tính cốt lõi là tính mù (blindness) và tính không truy vết (unlinkability), chữ ký nhóm (Chaum & Van Heyst 1991), chữ ký bội (ký đồng thời và ký tuần tự), chữ ký mù nhóm, chữ ký mù bội, và chữ ký ngưỡng $(t, n)$.

Chương này phân tích các phiên bản tiêu chuẩn DSS (từ FIPS PUB 186 đến FIPS PUB 186-4) và các tiêu chuẩn GOST của Nga (GOST P34.10-94, GOST P34.10-2001). Qua phân tích các công trình nghiên cứu trong nước và quốc tế, tác giả xác định hạn chế của các lược đồ chữ ký số kết hợp đa bài toán khó trước đây: đa phần áp dụng tuần tự các bài toán khó ở từng bước riêng biệt, khiến độ an toàn bị chi phối hoàn toàn bởi một bài toán thành phần. Từ đó, chương 1 xác lập định hướng nghiên cứu: thiết lập lược đồ chữ ký số dựa trên bài toán kết hợp đồng thời giữa khai căn và logarit rời rạc.

Chương 2: Xây dựng lược đồ chữ ký số dựa trên tính khó của việc giải hệ phương trình phi tuyến

Chương 2 phân tích chuyên sâu ba bài toán khó nền tảng (IFP, DLP, RP) và các thuật toán thám mã tương ứng. Trên cơ sở đó, tác giả mô tả bài toán giải hệ phương trình phi tuyến trên trường hữu hạn $Z_p$ như một dạng bài toán khó mới không thể giải quyết trong thời gian đa thức.

Chương này đề xuất lược đồ chữ ký số mới dựa trên tính khó của việc giải hệ phương trình phi tuyến, gồm:

  • Thuật toán 2.1: Thuật toán sinh khóa.
  • Thuật toán 2.3: Thuật toán kiểm tra chữ ký.
  • Chứng minh tính đúng đắn toán học của lược đồ (sự tương đương giữa giá trị xác minh và giá trị tính toán từ chữ ký và khóa công khai).
  • Đánh giá mức độ an toàn: Chứng minh lược đồ có khả năng chống lại các dạng tấn công làm lộ khóa mật, tấn công vào thuật toán tạo chữ ký và thuật toán xác thực chữ ký dưới mô hình tấn công văn bản được lựa chọn thích ứng (ACMA).

Chương 3: Xây dựng lược đồ chữ ký số dựa trên tính khó giải của bài toán khai căn kết hợp logarit rời rạc

Chương 3 khảo sát dạng bài toán khai căn bậc $k$ trên trường hữu hạn $Z_p$ và bài toán khai căn bậc $k$ theo modulo đặc biệt có cấu trúc $p = N k^s + 1$. Tác giả mở rộng thành bài toán khai căn mở rộng và thiết lập bài toán khai căn kết hợp logarit rời rạc, trong đó việc tìm nghiệm đòi hỏi phải đồng thời đảo ngược cả phép nâng lũy thừa mũ $k$ và phép lấy logarit rời rạc.

Nội dung trọng tâm của chương là đề xuất lược đồ chữ ký số tổng quát dựa trên bài toán kết hợp này, sau đó cụ thể hóa thành các lược đồ phát triển:

  • Lược đồ DVH01: Thuật toán 3.8 (sinh tham số và khóa), Thuật toán 3.9 (ký số), Thuật toán 3.10 (kiểm tra chữ ký số).
  • Lược đồ DVH02: Thuật toán 3.11 (sinh khóa), Thuật toán 3.12 (ký số), Thuật toán 3.13 (kiểm tra chữ ký số).
  • Đánh giá hiệu năng và chi phí tính toán: Luận án lượng hóa chi phí thực hiện thông qua Bảng 3.1 (Chi phí thực hiện của các thuật toán ký) và Bảng 3.2 (Chi phí thực hiện của các thuật toán kiểm tra), chứng minh tính khả thi và ưu thế về độ dài khóa của các lược đồ đề xuất.

Chương 4: Xây dựng lược đồ chữ ký số mù dựa trên bài toán khai căn kết hợp logarit rời rạc

Chương 4 tập trung vào ứng dụng chữ ký số mù. Tác giả chỉ ra nhược điểm lộ nguồn gốc bản tin ký và nguy cơ lộ danh tính người yêu cầu ký trong các lược đồ chữ ký số mù hiện có, bao gồm:

  • Lược đồ chữ ký số mù DSA cải tiến (phân tích qua Thuật toán 4.2 và 4.3 về nguy cơ lộ nguồn).
  • Lược đồ chữ ký số mù Nyberg-Rueppel.
  • Lược đồ chữ ký số mù Moldovyan.

Để khắc phục các điểm yếu này, chương 4 xây dựng:

  • Lược đồ chữ ký cơ sở dựa trên bài toán khai căn kết hợp logarit rời rạc (Thuật toán 4.4 sinh tham số và khóa, Thuật toán 4.6 kiểm tra chữ ký).
  • Lược đồ chữ ký số mù: Thuật toán 4.7 (ký chữ ký số mù dạng thứ nhất), Thuật toán 4.8 (ký chữ ký số mù dạng thứ hai), Thuật toán 4.9 (kiểm tra chữ ký số mù).
  • Phân tích an toàn chống lộ nguồn: Trình bày các thuật toán mô phỏng tấn công xác định nguồn gốc bản tin (Thuật toán 4.10 đến 4.15 tương ứng với các biến thể A1, A2, A3 và B1, B2, B3), chứng minh các lược đồ đề xuất bảo vệ được tính ẩn danh và tính không truy vết của người ký.

Kết quả và những đóng góp mới

Các đóng góp mới về lý luận và khoa học:

  • Đề xuất dạng bài toán khó mới là sự kết hợp đồng thời giữa bài toán khai căn và bài toán logarit rời rạc (cũng như bài toán giải hệ phương trình phi tuyến trên $Z_p$). Dạng bài toán này khắc phục nhược điểm của các mô hình kết hợp tuần tự trước đây, không cho phép kẻ tấn công phá vỡ hệ thống bằng cách giải quyết riêng rẽ từng bài toán thành phần.
  • Xây dựng phương pháp tổng quát và thiết lập lớp các lược đồ chữ ký số mới (như DVH01, DVH02) dựa trên bài toán kết hợp. Chứng minh đầy đủ tính đúng đắn toán học và mức độ an toàn trước các kiểu tấn công làm lộ khóa mật, giả mạo chữ ký và tấn công bản tin lựa chọn thích ứng (ACMA).

Các đóng góp mới về thực tiễn và giải pháp đề xuất:

  • Cung cấp các thuật toán sinh tham số, sinh khóa, tạo chữ ký và xác thực chữ ký có thể triển khai thực tế với kích thước khóa ngắn hơn nhưng vẫn đảm bảo cấp độ an toàn tương đương hoặc cao hơn các hệ mật đơn bài toán khó.
  • Ứng dụng dạng bài toán khó mới để xây dựng hai dạng lược đồ chữ ký số mù an toàn, khắc phục triệt để nguy cơ làm lộ danh tính nguồn ký vốn tồn tại trong các lược đồ chữ ký mù DSA cải tiến, Nyberg-Rueppel và Moldovyan.
  • Cài đặt thử nghiệm chương trình nhằm kiểm chứng tính chính xác và đánh giá chi phí tính toán của các thuật toán ký và kiểm tra.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế của nghiên cứu:

  • Phạm vi nghiên cứu của luận án giới hạn trên trường số hữu hạn $Z_p$ và vành số nguyên modulo hợp số, chủ yếu tập trung vào các dạng lược đồ chữ ký số hai thành phần.
  • Nghiên cứu tập trung vào cơ sở toán học và đánh giá an toàn lý thuyết dưới các mô hình tấn công cổ điển, chưa mở rộng đánh giá thực nghiệm trên các nền tảng phần cứng chuyên dụng hoặc môi trường tính toán lượng tử.

Hướng nghiên cứu tiếp:

  • Tiếp tục tối ưu hóa hiệu năng tính toán của các thuật toán tạo chữ ký và kiểm tra chữ ký trong các lược đồ đã đề xuất.
  • Mở rộng ứng dụng của dạng bài toán khai căn kết hợp logarit rời rạc sang các giao thức mật mã phức hợp khác như chữ ký số nhóm, chữ ký số tập thể, chữ ký số bội và chữ ký phân ngưỡng.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên ngành có giá trị cho:

  • Nghiên cứu sinh, học viên cao học và giảng viên ngành Toán tin, Cơ sở toán học cho tin học, An toàn thông tin và Mật mã học: Cung cấp cơ sở lý thuyết số học chi tiết về bài toán khai căn (Định lý 2.1, 2.2), bài toán logarit rời rạc và phương pháp thiết kế lược đồ chữ ký số nhiều thành phần.
  • Các nhà nghiên cứu và kỹ sư an toàn thông tin: Phần phân tích các điểm yếu bảo mật của các mô hình kết hợp trước đây (Chương 1) và cơ chế chống lộ nguồn ký trong chữ ký số mù (Chương 4) cung cấp các tham chiếu thiết thực để đánh giá độ an toàn của các hệ thống xác thực.
  • Các cơ quan nghiên cứu và phát triển trong lĩnh vực quốc phòng, an ninh và cơ yếu: Tài liệu hỗ trợ định hướng tự chủ nghiên cứu, xây dựng các tiêu chuẩn và thuật toán chữ ký số chuyên dụng, giảm sự phụ thuộc vào các công nghệ ngoại nhập.

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

1. Mục tiêu cốt lõi của việc kết hợp bài toán khai căn và bài toán logarit rời rạc trong luận án là gì? Mục tiêu cốt lõi là tạo ra một dạng bài toán khó mới buộc đối tượng thám mã phải giải quyết đồng thời cả hai bài toán khó cơ sở thay vì giải quyết riêng rẽ. Điều này giúp nâng cao mức độ an toàn của lược đồ chữ ký số trong bối cảnh năng lực tính toán ngày càng tăng và các thuật toán giải đơn bài toán khó (như IFP hay DLP) liên tục được cải tiến.

2. Điểm khác biệt cơ bản giữa phương pháp của luận án và các công trình kết hợp đa bài toán khó trước đây (như Shao, He, Wei) là gì? Các công trình trước đây thường kết hợp các bài toán khó theo phương pháp tuần tự (mỗi bài toán được dùng ở một giai đoạn độc lập) hoặc sử dụng biểu thức xác minh lũy thừa bậc hai dẫn đến các lỗ hổng đại số, khiến hệ thống bị phá vỡ nếu một trong hai bài toán bị giải. Luận án đề xuất cơ chế liên kết đồng thời cấu trúc khai căn và logarit rời rạc trong cùng quan hệ toán học, loại bỏ các điểm yếu cho phép tấn công tách rời.

3. Bài toán giải hệ phương trình phi tuyến trên $Z_p$ ở Chương 2 có vai trò gì? Bài toán này được đề xuất như một dạng bài toán khó mới không có lời giải trong thời gian đa thức, được sử dụng làm nền tảng toán học để thiết lập lược đồ chữ ký số gồm Thuật toán 2.1 (sinh khóa) và Thuật toán 2.3 (kiểm tra), đảm bảo khả năng chống lại các cuộc tấn công lộ khóa mật và giả mạo chữ ký.

4. Chương 4 giải quyết nhược điểm gì của các lược đồ chữ ký số mù hiện hành? Chương 4 tập trung giải quyết nguy cơ lộ danh tính nguồn ký (người yêu cầu ký bản tin) vốn xuất hiện trong các lược đồ chữ ký số mù DSA cải tiến, Nyberg-Rueppel và Moldovyan. Bằng cách áp dụng bài toán khai căn kết hợp logarit rời rạc, luận án thiết lập các thuật toán ký mù và kiểm tra mù (Thuật toán 4.7, 4.8, 4.9) bảo toàn tính ẩn danh và tính không truy vết.

5. Cấu trúc modulo $p = N k^s + 1$ ở Chương 3 có ý nghĩa gì trong bài toán khai căn? Cấu trúc số nguyên tố $p = N k^s + 1$ được sử dụng để xây dựng và kiểm soát bài toán khai căn bậc $k$ trên trường hữu hạn $Z_p$, làm cơ sở toán học để thiết lập bài toán khai căn mở rộng và phối hợp với bài toán logarit rời rạc nhằm xây dựng các lược đồ chữ ký số cụ thể như DVH01 và DVH02.

Kết luận

Luận án "Đề xuất xây dựng lược đồ chữ ký số dựa trên bài toán khai căn và logarit rời rạc" của chuyên ngành Cơ sở toán học cho tin học đã giải quyết bài toán nâng cao độ an toàn cho hệ thống chữ ký số bằng cách tiếp cận đa bài toán khó kết hợp đồng thời. Tác giả đã hoàn thành các mục tiêu nghiên cứu từ việc khảo sát nền tảng lý thuyết số, đề xuất dạng bài toán khó mới (giải hệ phương trình phi tuyến và khai căn kết hợp logarit rời rạc), xây dựng các lược đồ chữ ký số tổng quát cùng các biến thể cụ thể (DVH01, DVH02), đến việc phát triển lược đồ chữ ký số mù chống lộ nguồn gốc bản tin. Các kết quả của luận án đóng góp cả về mặt lý luận toán học mật mã và cung cấp giải pháp kỹ thuật có giá trị ứng dụng thực tiễn trong công tác an toàn, bảo mật thông tin.