Tổng quan về luận án

Trong kỷ nguyên chuyển đổi số và phát triển chính phủ điện tử, việc bảo đảm tính toàn vẹn, tính xác thực và tính chống chối bỏ của dữ liệu giao dịch trở thành yêu cầu sống còn. Luận án tiến sĩ toán học với đề tài "Xây dựng một số lược đồ chữ ký số tập thể dựa trên bài toán phân tích số" do nghiên cứu sinh Phạm Văn Hiệp thực hiện tại Viện Khoa học và Công nghệ Quân sự (Bộ Quốc phòng), dưới sự hướng dẫn khoa học của TS. Nguyễn Hữu Mộng và TS. Ngô Trọng Mại, thuộc chuyên ngành Cơ sở toán học cho tin học (Mã số: 9 46 01 10), đã giải quyết một điểm nghẽn mang tính nền tảng của mật mã học ứng dụng hiện đại.

Khoảng trống nghiên cứu (research gap) trọng tâm mà luận án xác định xuất phát từ hai hạn chế cốt lõi trong lý thuyết và thực tiễn:

  1. Các lược đồ chữ ký đơn truyền thống như RSA (Rivest, Shamir, & Adleman, 1978), Elgamal (1985), DSA hay chuẩn GOST R34.10-94 khi áp dụng cho quy trình phê duyệt đa chủ thể sẽ khiến kích thước chữ ký tăng tỷ lệ thuận tuyến tính với số lượng người tham gia ký, gây quá tải hạ tầng lưu trữ và băng thông truyền thông.
  2. Các mô hình chữ ký tập thể hiện hữu (L. Harn, 1994, 1999; Popović, 2010; Lưu Hồng Dũng, 2012; Đặng Minh Tuấn, 2017) hoặc chỉ dựa trên một bài toán khó đơn lẻ (dễ bị đe dọa bởi năng lực tính toán lượng tử), hoặc nếu kết hợp hai bài toán khó thì lại bị chứng minh là mất an toàn khi một bài toán thành phần bị suy biến (Shin-Yan Chiou et al., 2013), hoặc chỉ chứng thực ở cấp độ cá nhân độc lập mà chưa tích hợp cơ chế xác thực kép đồng thời ở cấp độ tổ chức/pháp nhân (Certificate Authority - CA).

Luận án thiết lập hệ thống câu hỏi nghiên cứu và giả thuyết khoa học chặt chẽ:

  • RQ1: Làm thế nào để thiết kế một mô hình chữ ký số tập thể dạng kết hợp cho phép xác thực đồng thời nguồn gốc cá nhân và tư cách pháp nhân của tổ chức mà kích thước chữ ký không phụ thuộc vào số lượng thành viên ký?
  • RQ2: Cơ chế toán học nào đảm bảo liên kết đồng thời bài toán phân tích số (IFP) với bài toán khai căn trên vành $\mathbb{Z}_n$ (RSAP) và bài toán logarit rời rạc (DLP) để hệ mật vẫn an toàn ngay cả khi một trong hai bài toán thành phần bị giải quyết?
  • H1: Lược đồ chữ ký tập thể kết hợp IFP-RSAP và IFP-DLP đạt mức an toàn chống lại tấn công giả mạo văn bản lựa chọn thích ứng (ACMA) theo chuẩn FIPS 186-3 và X9.31.
  • H2: Độ phức tạp tính toán và kích thước chữ ký của lược đồ tập thể đề xuất giảm đáng kể so với các lược đồ chữ ký phân biệt và các lược đồ đa bài toán khó kinh điển (như lược đồ Popović, Moldovyan).

Khung lý thuyết của công trình tích hợp lý thuyết độ phức tạp tính toán (Computational Complexity Theory), lý thuyết số giải tích trong mật mã modulo hợp số lớn, và lý thuyết an toàn ngữ nghĩa của Goldwasser-Micali-Rivest. Phạm vi nghiên cứu tập trung vào không gian khóa chuẩn bảo mật cao với kích thước modulo $nlen \ge 2048$ bit (hướng tới $3072$ bit và $4096$ bit theo lộ trình sau năm 2030), thiết lập nền tảng toán học và quy trình thực nghiệm phần mềm đo lường hiệu năng thực thi trực tiếp.

Literature Review và Positioning

Lịch sử phát triển của chữ ký số tập thể ghi nhận cột mốc từ công trình đầu tiên của K. Itakura và K. Nakamura (1983) dựa trên hệ mật RSA, nơi kích thước chữ ký tăng tuyến tính theo số lượng người ký. Năm 1988, Tatsuaki Okamoto đề xuất lược đồ đa chữ ký với kích thước cố định, mở ra hướng nghiên cứu tối ưu hóa không gian lưu trữ. Năm 1994 và 1999, Lein Harn phát triển các lược đồ ký số ngưỡng và ký số tập thể có phân biệt trách nhiệm dựa trên bài toán logarit rời rạc (DLP). Tuy nhiên, đến năm 2000, Li và các cộng sự đã chỉ ra lỗ hổng bảo mật nghiêm trọng trong lược đồ của Harn trước dạng tấn công tạo khóa lừa đảo (rogue-key attack), cho phép một thành viên gian lận tự tạo chữ ký tập thể mà không cần sự đồng thuận của các thành viên khác.

Tranh luận học thuật quốc tế chia thành hai luồng quan điểm đối lập về kiến trúc bảo mật:

  • Luồng quan điểm thứ nhất (đại diện bởi Harn, 1994; Hwang et al., 2003; Khali & Farah, 2007) cho rằng chỉ cần tối ưu hóa các bài toán khó đơn lẻ trên nhóm nhân hữu hạn hoặc đường cong elliptic (ECDSA) là đủ đáp ứng an toàn thực tế thông qua việc tăng độ dài khóa.
  • Luồng quan điểm thứ hai (đại diện bởi Popović, 2010; Moldovyan et al., 2014; Vishnoi et al.) lập luận rằng trước sự gia tăng đột biến của năng lực thám mã và điện toán lượng tử, hệ mật bắt buộc phải xây dựng trên tính khó giải đồng thời của hai bài toán nền tảng (Dual Hard Problems), ví dụ $IFP$ và $DLP$ trên trường $\mathbb{Z}_p$ với $p = 2n + 1$. Tuy nhiên, Shin-Yan Chiou và cộng sự (2013) đã chứng minh lược đồ của Vishnoi không an toàn trước tấn công giả mạo, trong khi Lee et al. (1996) bẻ gãy lược đồ kết hợp của Harn vì thực chất tính an toàn bị suy biến về duy nhất bài toán DLP.
TIẾN TRÌNH PHÁT TRIỂN LƯỢC ĐỒ CHỮ KÝ TẬP THỂ
1983 (Itakura - RSA): Kích thước chữ ký O(k) tăng tuyến tính theo số người ký
1988 (Okamoto) & 1994/1999 (Lein Harn - DLP): Kích thước O(1), phát sinh lỗi Rogue-key (Li, 2000)
2010-2014 (Popović, Moldovyan - IFP & DLP): Đa bài toán khó, nhược điểm: 2 khóa công khai, chi phí lớn
2012-2017 (Lưu Hồng Dũng, Đặng Minh Tuấn, Đào Tuấn Hùng): Chữ ký đa cấp độ phân biệt/ID-Based
2022 (Luận án Phạm Văn Hiệp): Chữ ký tập thể KẾT HỢP (IFP-RSAP & IFP-DLP), xác thực kép CA + Cá nhân

Tại Việt Nam, các công trình của Lưu Hồng Dũng (2012) đề xuất mô hình chữ ký tập thể dạng phân biệt (tách rời chữ ký cá nhân và chữ ký tổ chức CA), Đặng Minh Tuấn (2017) phát triển lược đồ chữ ký tập thể đa thành phần trên cặp song tuyến tính (Tate pairing), Đào Tuấn Hùng (2017) xây dựng lược đồ tuần tự trên DLP, và Nguyễn Tấn Đức (2020) nghiên cứu chữ ký tập thể mù. Tuy nhiên, chưa có công trình nào giải quyết trọn vẹn bài toán: tích hợp chữ ký cá nhân của nhóm và chứng thực số của CA thành một khối thống nhất (dạng kết hợp) dựa trên hai bài toán khó đồng thời IFP-RSAP hoặc IFP-DLP với chi phí tính toán thấp.

So sánh với các nghiên cứu quốc tế điển hình:

  1. So với lược đồ Popović (2010), lược đồ của luận án khắc phục triệt để nhược điểm phải duy trì hai khóa công khai riêng biệt và loại bỏ độ trễ lớn trong xử lý tính toán.
  2. So với lược đồ Moldovyan et al. (2014) (các biến thể FS và SS), cấu trúc sinh chữ ký của luận án giảm thiểu số phép lũy thừa modulo $T_{exp}$ và phép nghịch đảo modulo $T_{inv}$, đồng thời rút ngắn kích thước cặp chữ ký $(R, S)$ về mức tương đương chữ ký đơn của chuẩn GOST R34.10-94.

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

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

Luận án đã mở rộng và làm sâu sắc thêm lý thuyết chữ ký số hiện đại qua ba đóng góp lý thuyết có tính đột phá:

  1. Mở rộng lý thuyết hệ mật đa bài toán khó (Dual-Hardness Cryptosystems): Luận án chứng minh một cách tường minh rằng đối với lược đồ đề xuất, bài toán tấn công bẻ gãy hệ thống đòi hỏi phải giải đồng thời bài toán $A$ và bài toán $B$. Luận án thiết lập mệnh đề toán học: bài toán giải $A$ trong điều kiện biết $B$ ($A|B$) và bài toán giải $B$ trong điều kiện biết $A$ ($B|A$) đều là bài toán khó tính toán (intractable). Cụ thể, với lược đồ IFP-RSAP, kẻ thám mã phải vừa phân tích $n = pq$ vừa thực hiện khai căn bậc $e$ trên vành $\mathbb{Z}_n$; với lược đồ IFP-DLP, kẻ thám mã phải đồng thời phân tích modulo $n$ và giải logarit rời rạc trên nhóm con cấp $q$ thuộc $\mathbb{Z}_p^*$.
  2. Hình thành mô hình bảo mật chữ ký tập thể dạng kết hợp: Khác với mô hình truyền thống xem chữ ký tập thể là một phép nối chuỗi hoặc tích chập đơn thuần, luận án định nghĩa hàm ký tổng hợp $\text{Sig}{comb}$ gắn kết hữu cơ khóa bí mật của $k$ thành viên $x_i$ ($i = 1, \dots, k$) với khóa bí mật của cơ quan chứng thực $x{CA}$ trên cùng một thông điệp $M$: $$\text{verk}(M, (R, S)) \in {\text{true}, \text{false}}$$ Khung lý thuyết này bảo đảm đặc tính bất khả phân tách (inseparability) nhưng vẫn cho phép thẩm tra độc lập tính hợp lệ của từng thành viên và tính pháp lý của tổ chức chủ quản.
  3. Mô hình hóa không gian tham số kháng tấn công ACMA: Luận án chứng minh hệ thống đạt mức an toàn chống lại tấn công văn bản lựa chọn thích ứng (Adaptive Chosen Message Attack - ACMA) theo phân loại của Shafi Goldwasser, Silvio Micali, và Ronald Rivest (1988), chứng minh tính vững chắc trước các nỗ lực giả mạo chữ ký có tồn tại (existential forgery).
MÔ HÌNH CHỮ KÝ SỐ TẬP THỂ DẠNG KẾT HỢP (IFP-RSAP / IFP-DLP)

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

Khung phân tích của luận án được xây dựng trên sự giao thoa của ba trụ cột lý thuyết toán học:

  • Lý thuyết nhóm và vành hữu hạn: Khai thác cấu trúc vành số nguyên $\mathbb{Z}_n$ với $n = pq$, nhóm nhân $\mathbb{Z}_n^$, và nhóm cyclic con cấp $q$ trong trường $\mathbb{Z}_p^$.
  • Lý thuyết hàm băm mật mã một chiều (One-way Hash Functions): Sử dụng các chuẩn băm an toàn cấp cao (SHA-256, SHA-512) thỏa mãn các điều kiện: tính một chiều, kháng tiền ảnh (pre-image resistance) và kháng xung đột (collision resistance): $$H: {0, 1}^* \rightarrow \mathbb{Z}_n$$
  • Cơ sở hạ tầng khóa công khai (PKI) và Tiêu chuẩn đánh giá tham số: Vận dụng khung tiêu chuẩn an toàn ANSI X9.31 và NIST FIPS 186-3 để ràng buộc các số nguyên tố bổ trợ $p_1, p_2, q_1, q_2$ với điều kiện nghiêm ngặt: $p_1 | (p - 1)$, $p_2 | (p + 1)$, $q_1 | (q - 1)$, $q_2 | (q + 1)$.

Điều kiện biên (Boundary Conditions): Lược đồ duy trì tính an toàn tuyệt đối dưới giả định bài toán phân tích số nguyên lớn $n$ ($nlen \ge 2048$ bit) và bài toán logarit rời rạc modulo nguyên tố lớn $p$ ($plen \ge 2048$ bit, cấp nhóm con $qlen \ge 256$ bit) không thể giải được trong thời gian đa thức trên máy tính cổ điển.

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

Thiết kế nghiên cứu

Luận án tuân thủ chặt chẽ lập trường nhận thức luận thực chứng diễn dịch (Deductive Positivism) và chủ nghĩa duy thực phản biện (Critical Realism) trong toán học mật mã. Quy trình nghiên cứu đi từ việc xây dựng mô hình hình thức toán học, chứng minh giải tích tính đúng đắn (formal analytical proof of correctness), phân tích độ phức tạp thuật toán lý thuyết theo ký hiệu $O(f(n))$, và kiểm chứng thực nghiệm thông qua cài đặt thuật toán trên máy tính.

Thiết kế nghiên cứu đa tầng (Multi-level Research Design) bao gồm 4 cấp độ:

  1. Cấp độ cơ sở hạ tầng tham số: Thiết lập không gian sinh số nguyên tố an toàn, quản lý chứng chỉ khóa công khai (Public Key Certificates - PKC).
  2. Cấp độ lược đồ cơ sở: Phát triển lược đồ chữ ký đơn đa bài toán khó (IFP-RSAP Cơ sở I, II; IFP-DLP Cơ sở I, II).
  3. Cấp độ tập thể kết hợp: Mở rộng lược đồ cơ sở lên giao thức ký đa người dùng có sự tham gia của tổ chức CA.
  4. Cấp độ kiểm thử hiệu năng và thám mã: Đo lường độ trễ tính toán và đánh giá khả năng chống chịu trước các mô hình tấn công chuẩn.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu được triển khai theo các giao thức toán học chuẩn quốc tế:

  • Giao thức sinh khóa và chứng thực: Đảm bảo mỗi thực thể ký $U_i$ nhận cặp khóa riêng biệt $(x_i, y_i)$, đồng thời CA nắm giữ khóa $x_{CA}$ và phát hành chứng chỉ thông qua cơ chế kiểm tra tính hợp lệ đa thức.
  • Phương pháp chứng minh hình thức tính đúng đắn: Chứng minh phương trình xác thực $\text{Ver}(M, S, pk) = \text{true}$ luôn thỏa mãn với mọi chữ ký $S$ được sinh đúng quy trình từ thông điệp $M$ và khóa bí mật $sk$.
  • Khung phân tích độ an toàn toàn diện: Đánh giá hệ thống trước toàn bộ 5 dạng tấn công của Shafi Goldwasser:
    • Tấn công chỉ vào khóa (Key Only Attacks - KOA);
    • Tấn công văn bản đã biết (Known Message Attacks - KMA);
    • Tấn công văn bản lựa chọn tổng quát (Generic Chosen Message Attack - GCMA);
    • Tấn công văn bản lựa chọn trực tiếp (Directed Chosen Message Attack - DCMA);
    • Tấn công văn bản lựa chọn thích ứng (Adaptive Chosen Message Attack - ACMA).
  • Phân tích khả năng chống 4 mức độ phá vỡ: Phá vỡ hoàn toàn (Total Break), Giả mạo tổng quát (Generic Forgery), Giả mạo có lựa chọn (Selective Forgery), và Giả mạo có tồn tại (Existential Forgery).
QUY TRÌNH PHÂN TÍCH VÀ ĐÁNH GIÁ ĐỘ AN TOÀN TOÁN HỌC

Data và phân tích

Phân tích hiệu năng tính toán được lượng hóa chi tiết thông qua việc phân rã thời gian xử lý thành tổng chi phí của các phép toán nguyên thủy trên vành $\mathbb{Z}_n$ và trường $\mathbb{Z}_p$:

  • $T_{exp}$: Thời gian thực hiện phép tính lũy thừa modulo (Modulo Exponentiation);
  • $T_{inv}$: Thời gian thực hiện phép tìm phần tử nghịch đảo modulo (Modulo Inversion);
  • $T_{mul}$: Thời gian thực hiện phép nhân modulo (Modulo Multiplication);
  • $T_H$: Thời gian thực hiện hàm băm mật mã $H(\cdot)$.

Luận án áp dụng tiêu chuẩn an toàn Quốc phòng - An ninh (theo nghiên cứu của Đào Thị Hồng Vân, 2018) và tiêu chuẩn Việt Nam TCVN 7653:2007 để lựa chọn tham số:

Thời gian sử dụng Mức độ an toàn (bit) Độ dài modulo $nlen$ tối thiểu (bit)
Đến năm 2018 105 2048
Đến năm 2031 119 3072
Đến năm 2041 130 4096
Sau năm 2049 139 5120

Theo chuẩn ANSI X9.31, các ước nguyên tố bổ trợ $p_1, p_2, q_1, q_2$ của $(p \pm 1)$ và $(q \pm 1)$ đối với $nlen = 1024 + 256s$ được ràng buộc: độ dài tối thiểu $> 100$ bit, tối đa $\le 120$ bit. Theo FIPS 186-3, với $nlen = 2048$ bit, độ dài tối thiểu của các số nguyên tố bổ trợ phải đạt $> 140$ bit, tổng độ dài chứng minh xác suất $< 1007$ bit.

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

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

  1. Thiết lập thành công Lược đồ chữ ký tập thể IFP-RSAP: Tích hợp bài toán phân tích số nguyên $n = pq$ và bài toán khai căn bậc $e$ trong modulo hợp số. Luận án chứng minh rằng kẻ tấn công không thể tìm được chữ ký hợp lệ $S$ thỏa mãn phương trình đồng dư mà không giải đồng thời hai bài toán trên. So với lược đồ LD15.9-01, lược đồ IFP-RSAP Cơ sở II giảm thiểu số phép nhân modulo trung gian, tối ưu hóa quá trình sinh khóa cá nhân và khóa tập thể.
  2. Đột phá về kích thước và chi phí tính toán trong Lược đồ IFP-DLP tập thể: Lược đồ IFP-DLP do luận án đề xuất đạt được bước tiến lớn: giảm độ dài chữ ký từ $4 \cdot nlen$ (trong các nghiên cứu trước đây như Popović, 2010) xuống chỉ còn một cặp số $(R, S)$ có kích thước cố định bằng kích thước chữ ký đơn theo chuẩn GOST R34.10-94, bất kể số lượng thành viên ký $k$ tăng lên bao nhiêu.
  3. Chứng minh sự vượt trội về độ phức tạp thời gian: So sánh định lượng chi phí thuật toán tạo chữ ký và kiểm tra chữ ký:
    • Trong giai đoạn tạo chữ ký tập thể của lược đồ IFP-DLP: mỗi thành viên $U_i$ chỉ tốn $1 T_{exp} + 1 T_{mul} + 1 T_H$, chi phí tổng hợp của nhóm chỉ tăng tuyến tính theo số phép cộng/nhân modulo đơn giản, loại bỏ hoàn toàn việc tính toán lũy thừa lặp đa tầng.
    • So với các lược đồ chữ ký tập thể FS và SS trong công trình của Moldovyan et al. [26], lược đồ IFP-DLP Cơ sở II tiết kiệm $33%$ số phép nghịch đảo modulo $T_{inv}$ và giảm thời gian xác thực tổng thể.
  4. Loại bỏ hoàn toàn lỗ hổng Rogue-Key và Man-in-the-Middle: Nhờ cơ chế kiểm tra chứng chỉ khóa công khai tích hợp của CA ngay trong bước tạo tham số đại diện tập thể, không một cá nhân nào có thể tự ý thay đổi khóa công khai của mình để vô hiệu hóa trách nhiệm hoặc ký thay người khác mà không bị phát hiện.
  5. Cơ chế xác thực kép phân cấp tự động: Lần đầu tiên, một chữ ký tập thể cho phép người thẩm tra chỉ cần chạy một thuật toán duy nhất là có thể khẳng định đồng thời:
    • Tính toàn vẹn của văn bản $M$;
    • Sự tham gia đầy đủ và hợp lệ của toàn bộ $k$ thành viên trong danh sách định danh $ID_i$;
    • Tư cách pháp nhân và sự phê duyệt của tổ chức quản lý (CA/Con dấu điện tử đơn vị).
SO SÁNH CHI PHÍ TÍNH TOÁN VÀ KÍCH THƯỚC CHỮ KÝ
Chỉ số so sánh          Lược đồ Popović (2010)     Lược đồ Luận án (IFP-DLP)
Số khóa công khai       2 khóa riêng biệt          1 khóa duy nhất
Kích thước chữ ký       Lớn (≈ 4 × nlen)           Cố định (Chuẩn GOST R34)
Độ phức tạp tạo ký      Cao (Nhiều phép T_exp)     Tối ưu (1 T_exp / thành viên)
Mức an toàn             IFP + DLP                  IFP + DLP đồng thời
Xác thực tổ chức (CA)   Không tích hợp             Tích hợp dạng kết hợp

Implications đa chiều

  • Về mặt lý thuyết mật mã: Cung cấp phương pháp luận mới trong việc kết hợp các bài toán khó phi cấu trúc (Non-structured Hard Problems), mở ra hướng đi xây dựng các hệ mật lai ghép (Hybrid Cryptosystems) có khả năng kháng thám mã cao.
  • Về mặt phương pháp luận: Chuẩn hóa quy trình đánh giá độ phức tạp tính toán và an toàn thông tin cho các giao thức ký số nhiều bên (Multi-party Signing Protocols), áp dụng hiệu quả cho cả hệ mật trên vành hữu hạn và hệ mật đường cong elliptic.
  • Về mặt ứng dụng thực tiễn: Giải pháp của luận án giải quyết trọn vẹn bài toán ký số phê duyệt văn bản nhiều cấp trong các cơ quan nhà nước, tập đoàn kinh tế và trường đại học. Điển hình như quy trình ban hành chương trình đào tạo hoặc phê duyệt dự án đầu tư: từ chuyên viên soạn thảo, trưởng bộ môn, chủ nhiệm khoa, phòng ban chức năng, ban giám hiệu đến bộ phận văn thư đóng dấu pháp nhân. Tất cả được gói gọn trong một chữ ký số duy nhất, gọn nhẹ, dễ dàng lưu trữ và truyền tải.
  • Về mặt chính sách và pháp lý: Hiện thực hóa các quy định của Luật Giao dịch điện tử số 51/2005/QH11, Nghị định số 130/2018/NĐ-CP, Nghị định số 165/2018/NĐ-CP và Chỉ thị số 02/CT-TTg của Thủ tướng Chính phủ về tăng cường sử dụng chữ ký số chuyên dùng, tạo hành lang công nghệ vững chắc cho việc xây dựng Chính phủ điện tử và nền kinh tế số an toàn tại Việt Nam.

Limitations và Future Research

Luận án thẳng thắn thừa nhận các giới hạn nghiên cứu mang tính khách quan:

  1. Phạm vi bài toán khó nền tảng: Nghiên cứu tập trung vào các bài toán lý thuyết số cổ điển (IFP, RSAP, DLP). Mặc dù việc kết hợp hai bài toán khó làm tăng đáng kể ngưỡng an toàn trước máy tính thông thường, các hệ mật này vẫn có nguy cơ bị đe dọa trong tương lai dài hạn bởi thuật toán Shor trên máy tính lượng tử quy mô lớn.
  2. Cấu trúc nhóm ký cố định: Mô hình chữ ký tập thể kết hợp hiện tại yêu cầu sự tham gia đồng thời của tất cả $k$ thành viên trong danh sách định danh ($k$-out-of-$k$). Trường hợp một thành viên vắng mặt hoặc từ chối ký, quy trình ký phải khởi tạo lại từ đầu, chưa tích hợp linh hoạt cơ chế ký số ngưỡng động ($t$-out-of-$n$).
  3. Môi trường thử nghiệm: Thuật toán mới được cài đặt và đo đạc trên hệ thống máy tính mô phỏng thực nghiệm, chưa được đánh giá toàn diện trên các thiết bị nhúng phần cứng chuyên dụng có tài nguyên cực hạn (như thẻ SmartCard, thiết bị IoT hoặc module bảo mật phần cứng HSM tốc độ cao).

Chương trình nghiên cứu tiếp theo (Future Research Agenda):

  • Phát triển các biến thể lược đồ chữ ký tập thể dạng kết hợp trên nền tảng Mật mã hậu lượng tử (Post-Quantum Cryptography), đặc biệt là mật mã dựa trên mạng tinh thể (Lattice-based Cryptography) như bài toán Learning With Errors (LWE) và Short Integer Solution (SIS).
  • Nghiên cứu tích hợp cơ chế ngưỡng linh hoạt $(t, n)$ vào mô hình chữ ký tập thể kết hợp IFP-DLP nhằm thích ứng với các bài toán bỏ phiếu điện tử và quản trị phi tập trung.
  • Tối ưu hóa cài đặt phần cứng trên chip bảo mật chuyên dụng và vi điều khiển nhúng, đánh giá khả năng chống tấn công kênh kề (Side-Channel Attacks) và tấn công lỗi (Fault Injection Attacks).
  • Mở rộng lược đồ cho các ứng dụng xác thực chuỗi khối (Blockchain) và hợp đồng thông minh (Smart Contracts) trong các giao dịch tài chính liên ngân hàng.

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

  • Tác động học thuật (Academic Impact): Công trình đóng góp hệ thống luận điểm và chứng minh toán học chuẩn mực cho kho tàng nghiên cứu mật mã học quân sự và dân sự tại Việt Nam. Các bài báo công bố từ luận án trên các tạp chí khoa học chuyên ngành và hội thảo quốc tế uy tín (như REV-ECIT) tạo lập nguồn tham khảo giá trị cao, ước tính thu hút sự quan tâm và trích dẫn của các nhóm nghiên cứu về an toàn thông tin, mật mã khóa công khai và giao thức mạng.
  • Chuyển đổi công nghiệp và doanh nghiệp (Industry Transformation): Cung cấp giải pháp công nghệ trực tiếp cho các doanh nghiệp phát triển phần mềm CA, giải pháp ký số doanh nghiệp (như Viettel-CA, VNPT-CA, BKAV-CA, FPT-CA), giúp nâng cấp tính năng ký tập thể nhiều cấp độ mà không làm thay đổi cấu trúc dữ liệu của các hệ thống quản lý văn bản và điều hành tác nghiệp (VOffice, E-Office).
  • Hiện đại hóa quản trị công (Policy & Governance): Đóng góp công cụ kỹ thuật then chốt để bảo mật hạ tầng dịch vụ công trực tuyến, hải quan điện tử, thuế điện tử, và kho bạc nhà nước, triệt tiêu nguy cơ giả mạo con dấu hoặc chữ ký của người có thẩm quyền trong các văn bản quy phạm pháp luật điện tử.
  • Lợi ích kinh tế - xã hội: Cắt giảm hàng triệu giờ làm việc và chi phí in ấn, chuyển phát hồ sơ giấy tờ hành chính; nâng cao tính minh bạch, chống tiêu cực và bảo vệ chủ quyền an ninh mạng quốc gia.

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

  • Nghiên cứu sinh và Giảng viên ngành Toán tin / An toàn thông tin: Tiếp cận phương pháp luận thiết kế lược đồ mật mã đa bài toán khó, kỹ thuật chứng minh an toàn hình thức và quy trình tối ưu hóa độ phức tạp thuật toán.
  • Các nhà khoa học mật mã cao cấp: Kế thừa khung lý thuyết chữ ký số dạng kết hợp để mở rộng sang các hệ mật mã tiên tiến như chữ ký mù tập thể, chữ ký mù ủy nhiệm đa cấp và mật mã hậu lượng tử.
  • Kỹ sư R&D tại các tổ chức an ninh mạng và Fintech: Sử dụng trực tiếp các thuật toán và mã nguồn thực nghiệm để nhúng vào các giải pháp xác thực đa yếu tố, cổng thanh toán số, ví điện tử và hệ thống xác thực tài liệu điện tử.
  • Cơ quan quản lý nhà nước và Ban Cơ yếu Chính phủ: Có thêm cơ sở khoa học vững chắc để tham mưu, xây dựng và ban hành các tiêu chuẩn kỹ thuật quốc gia về chữ ký số chuyên dùng và dịch vụ chứng thực chữ ký số công cộng.

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

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp lý thuyết độc đáo nhất là Mô hình chữ ký số tập thể dạng kết hợp trên nền tảng hai bài toán khó đồng thời (IFP-RSAP và IFP-DLP). Công trình đã mở rộng lý thuyết mật mã khóa công khai của Rivest-Shamir-Adleman (RSA) và Taher Elgamal từ mô hình chữ ký đơn sang mô hình tập thể đa cấp độ, khắc phục triệt để nhược điểm của mô hình chữ ký tập thể dạng phân biệt (Lưu Hồng Dũng, 2012) bằng cách tích hợp toàn vẹn chữ ký của $k$ cá nhân và chứng thực của tổ chức (CA) vào một cấu trúc chữ ký duy nhất $(R, S)$.

2. Điểm cải tiến phương pháp luận cốt lõi khi so sánh với các nghiên cứu quốc tế là gì?

So với các lược đồ đa bài toán khó kinh điển của Popović (2010) và Moldovyan et al. (2014), phương pháp luận của luận án mang tính đột phá khi:

  1. Giảm số lượng khóa công khai từ 2 khóa xuống còn 1 khóa đại diện duy nhất;
  2. Tối ưu hóa quy trình tính toán, giảm thiểu số phép lũy thừa modulo $T_{exp}$ tại mỗi nút ký xuống mức tối thiểu ($1 T_{exp}$);
  3. Nén kích thước chữ ký tập thể về bằng kích thước chữ ký đơn của chuẩn GOST R34.10-94 mà không làm suy giảm không gian an toàn mật mã.

3. Phát hiện bất ngờ nhất trong quá trình phân tích dữ liệu và thuật toán là gì?

Phát hiện bất ngờ nhất là việc chứng minh sự suy biến an toàn của hàng loạt lược đồ chữ ký kết hợp trước đây (như lược đồ Harn 1994, Dernova 1998, Vishnoi et al., 2010). Dù các tác giả tiền nhiệm tuyên bố lược đồ dựa trên hai bài toán khó, phân tích toán học giải tích chỉ ra rằng kẻ tấn công chỉ cần giải duy nhất một bài toán thành phần (hoặc DLP hoặc IFP) là có thể bẻ gãy hoàn toàn hệ thống. Luận án đã khắc phục triệt để điểm yếu này bằng việc ràng buộc chặt chẽ các tham số đồng dư, buộc kẻ tấn công phải giải đồng thời cả hai bài toán.

4. Luận án có cung cấp đầy đủ giao thức tái lập (Replication Protocol) không?

Có. Luận án cung cấp đầy đủ và chi tiết toàn bộ các bước của giao thức: thuật toán sinh tham số hệ thống, thuật toán phát sinh cặp khóa $(sk_i, pk_i)$, quy trình kiểm tra chứng chỉ của CA, thuật toán ký thành phần của từng cá nhân, thuật toán tổng hợp chữ ký của nhóm, và thuật toán xác thực chữ ký $\text{Ver}(M, R, S)$. Toàn bộ thuật toán được cài đặt, thử nghiệm và trình bày chi tiết trong phần phụ lục của luận án.

5. Lộ trình nghiên cứu 10 năm tiếp theo được định hình như thế nào?

Lộ trình 10 năm (2022–2032) tập trung vào 3 trọng tâm:

  1. Chuyển đổi mô hình chữ ký kết hợp sang các cấu trúc kháng lượng tử (Post-Quantum Lattice-based Signature);
  2. Tích hợp công nghệ bằng chứng không tiết lộ tri thức (Zero-Knowledge Proofs - ZKP) để tăng cường tính ẩn danh cho thành viên ký khi cần thiết;
  3. Chuẩn hóa lược đồ thành Tiêu chuẩn Quốc gia (TCVN) phục vụ trực tiếp cho hạ tầng Chính phủ số và Đô thị thông minh tại Việt Nam.

Kết luận

  1. Xây dựng thành công Mô hình chữ ký số tập thể dạng kết hợp: Giải quyết trọn vẹn yêu cầu chứng thực đồng thời tính toàn vẹn thông tin, danh tính cá nhân người ký và tư cách pháp nhân của tổ chức chủ quản (CA) trong một cấu trúc dữ liệu đồng nhất.
  2. Đề xuất hệ thống 4 lược đồ chữ ký số nền tảng và 2 lược đồ chữ ký tập thể hoàn chỉnh: Bao gồm IFP-RSAP Cơ sở I, II; IFP-DLP Cơ sở I, II; Lược đồ IFP-RSAP tập thể và Lược đồ IFP-DLP tập thể, đảm bảo tính đúng đắn toán học tuyệt đối.
  3. Nâng cao vượt bậc mức độ an toàn mật mã: Chứng minh hình thức khả năng kháng thám mã trước 5 dạng tấn công chuẩn (KOA, KMA, GCMA, DCMA, ACMA) và 4 mức độ phá vỡ, triệt tiêu hoàn toàn các lỗ hổng giả mạo chữ ký (rogue-key) của các thế hệ lược đồ trước.
  4. Tối ưu hóa triệt để hiệu năng tính toán và dung lượng lưu trữ: Rút gọn kích thước chữ ký tập thể về mức cố định tương đương chữ ký đơn, giảm thiểu tối đa các phép toán tốn kém tài nguyên ($T_{exp}, T_{inv}$), bảo đảm tính khả thi cao khi triển khai trên hạ tầng mạng diện rộng.
  5. Mở ra các hướng nghiên cứu liên ngành giá trị: Tạo tiền đề vững chắc cho việc phát triển các giao thức mật mã bảo mật cao trong chính phủ điện tử, thương mại điện tử, tài chính số và mật mã học hậu lượng tử tại Việt Nam.