Tổng quan luận án
Luận án tiến sĩ kỹ thuật với đề tài "Nghiên cứu, phát triển các lược đồ chữ ký số tập thể" được thực hiện bởi nghiên cứu sinh Lưu Hồng Dũng, dưới sự hướng dẫn khoa học của TS. Vũ Minh Tiến và TS. Nguyễn Văn Liên, chuyên ngành Kỹ thuật Điện tử (mã số 62 52 02 03) tại Học viện Kỹ thuật Quân sự, Hà Nội năm 2013.
Tính cấp thiết và khoảng trống nghiên cứu
Trong bối cảnh Chính phủ điện tử và Thương mại điện tử phát triển, hạ tầng khóa công khai (PKI - Public Key Infrastructure) dựa trên mật mã khóa công khai (PKC) và chữ ký số (Digital Signature) đóng vai trò nền tảng bảo đảm tính xác thực nguồn gốc và tính toàn vẹn của dữ liệu trong các giao dịch điện tử. Các mô hình chữ ký số truyền thống chủ yếu phục vụ nhu cầu xác thực danh tính của các thực thể độc lập ở cấp độ cá nhân.
Tuy nhiên, trong hoạt động hành chính và tổ chức thực tế, thực thể tạo ra thông điệp dữ liệu thường là thành viên hoặc bộ phận trực thuộc một tổ chức có tư cách pháp nhân (cơ quan hành chính nhà nước, doanh nghiệp, đơn vị kỹ thuật). Trong trường hợp này, thông điệp dữ liệu có nguồn gốc kép: vừa từ cá nhân thực thể ký, vừa từ tổ chức sở tại. Các mô hình ứng dụng chữ ký số hiện thời chưa hỗ trợ cơ chế xác thực đồng thời hai cấp độ (cá nhân người ký và tổ chức đại diện) trong cùng một cấu trúc thống nhất. Luận án đặt ra việc nghiên cứu, phát triển mô hình chữ ký số tập thể và xây dựng các lược đồ chữ ký số tập thể tương ứng nhằm giải quyết khoảng trống kỹ thuật này, đáp ứng yêu cầu xác thực văn bản, tài liệu trong các giao dịch điện tử quy mô lớn.
Mục tiêu nghiên cứu
Mục tiêu nghiên cứu của luận án được xác định gồm hai nội dung chính:
- Đề xuất mô hình ứng dụng chữ ký số nhằm đáp ứng các yêu cầu đặt ra khi triển khai Chính phủ điện tử trong thực tế xã hội, áp dụng phù hợp cho đối tượng là các tổ chức, cơ quan hành chính, doanh nghiệp.
- Phát triển một số lược đồ chữ ký số tập thể theo mô hình đã đề xuất dựa trên các hệ mật và chuẩn chữ ký số đã được kiểm chứng an toàn.
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Cơ sở của các hệ mật khóa công khai và lược đồ chữ ký số; nguyên lý xây dựng các hệ mật khóa công khai và lược đồ chữ ký số; các mô hình ứng dụng mật mã khóa công khai và chữ ký số trong hệ thống truyền tin an toàn.
- Phạm vi nghiên cứu:
- Hệ mật khóa công khai RSA, hệ mật ElGamal, chuẩn chữ ký số GOST R34.10-94 của Liên bang Nga và các cơ sở toán học liên quan (bài toán phân tích số nguyên lớn ra thừa số nguyên tố, bài toán logarit rời rạc trong trường hữu hạn).
- Phương pháp mã hóa và giải mã, phương pháp hình thành và kiểm tra chữ ký số đơn lẻ, chữ ký số cá nhân và chữ ký số tập thể dạng kết hợp.
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 công trình nghiên cứu nền tảng về mật mã học khóa công khai và chữ ký số:
- Hệ mật khóa công khai RSA: Được công bố năm 1977 bởi Ron Rivest, Adi Shamir và Len Adleman tại Viện Công nghệ Massachusetts (MIT), Hoa Kỳ, dựa trên độ khó của bài toán phân tích số nguyên lớn ra thừa số nguyên tố và bài toán khai căn modulo hợp số.
- Hệ mật ElGamal và chuẩn GOST R34.10-94: Dựa trên độ khó của bài toán logarit rời rạc trên trường hữu hạn $\mathbb{Z}_p$, được sử dụng làm cơ sở xây dựng chuẩn chữ ký số quốc gia của Liên bang Nga (GOST R34.10-94) cũng như chuẩn Digital Signature Algorithm (DSA/DSS) của Hoa Kỳ.
- Hạ tầng khóa công khai (PKI) và chuẩn chứng chỉ X.509: Dựa trên các tiêu chuẩn chứng thực thư mục của Liên minh Viễn thông Quốc tế (ITU) và Tổ chức Tiêu chuẩn hóa Quốc tế (ISO) như X.500, giao thức truy cập thư mục hạng nhẹ (LDAP), định dạng chứng chỉ khóa công khai (PKC) và danh sách thu hồi chứng chỉ (CRL - Certificate Revocation List).
- Các nghiên cứu về đa chữ ký (Multi-signature): Các công trình mở rộng chữ ký số cho phép nhiều người cùng ký trên một tài liệu (nối tiếp hoặc song song).
Khoảng trống nghiên cứu được lựa chọn giải quyết: Mặc dù các kỹ thuật đa chữ ký và hệ thống PKI đã phát triển, các mô hình hiện hữu chủ yếu xử lý việc gộp nhiều chữ ký cá nhân độc lập hoặc ký phân tán mà chưa gắn kết hữu cơ trách nhiệm pháp lý giữa cá nhân người ký và tổ chức chủ quản thông qua cơ quan chứng thực nội bộ (CA). Luận án định vị trọng tâm vào việc thiết kế cấu trúc chữ ký số tập thể dạng kết hợp (chữ ký cá nhân của thành viên kết hợp cùng chữ ký của cơ quan chứng thực CA đại diện cho tổ chức), giúp quá trình kiểm tra xác thực diễn ra trực tiếp trên cùng một cấu trúc dữ liệu chữ ký duy nhất.
Cơ sở lý thuyết và phương pháp nghiên cứu
Cơ sở lý thuyết và các khái niệm toán học
Luận án xây dựng các định nghĩa hình thức cho toàn bộ công trình:
- Hệ mật mã: Được định nghĩa là bộ 5 phần tử $(P, C, K, E, D)$, trong đó:
- $P$ là tập hữu hạn các bản rõ.
- $C$ là tập hữu hạn các bản mã.
- $K$ là không gian khóa.
- $E$ là tập các quy tắc mã hóa $e_k: P \rightarrow C$.
- $D$ là tập các quy tắc giải mã $d_k: C \rightarrow P$, thỏa mãn điều kiện giải mã đúng $d_k(e_k(x)) = x$ với mọi $x \in P$. Hệ mật khóa công khai sử dụng cặp khóa $(k_p, k_s) \in K$ với quy tắc $d_{k_s}(e_{k_p}(x)) = x$.
- Lược đồ chữ ký số: Là bộ 5 phần tử $(M, A, K, S, V)$, trong đó $M$ là tập thông điệp, $K$ là không gian khóa bí mật, $A$ là tập các thuật toán ký $sig_k: M \rightarrow S$, $V$ là tập các thuật toán xác minh $ver_k: M \times S \rightarrow {true, false}$, thỏa mãn $ver_k(s, m) = true$ khi và chỉ khi $s = sig_k(m)$.
- Hàm một chiều (One-way function): Hàm $f: S \rightarrow T$ dễ tính toán theo chiều thuận ($y = f(x)$) nhưng bất khả thi về mặt tính toán khi tìm hàm ngược $x = f^{-1}(y)$ nếu không có thông tin bổ trợ.
- Hàm băm mật mã (Hash function): Hàm $h(M)$ nén thông điệp độ dài tùy ý thành bản tóm lược có độ dài cố định, thỏa mãn tính chất kháng tiền ảnh (khó tìm $M$ khi biết $h(M)$), kháng tiền ảnh thứ hai (kháng va chạm yếu: cho trước $M$, khó tìm $M' \neq M$ sao cho $h(M') = h(M)$), và kháng va chạm mạnh (khó tìm cặp $M, M'$ bất kỳ sao cho $h(M) = h(M')$).
| Khái niệm | Định nghĩa / Ký hiệu trong luận án | Vai trò trong mô hình |
|---|---|---|
| Chữ ký số cá nhân | $sig_{x_i}(M)$ tạo bởi khóa bí mật $x_i$ của cá nhân $U_i$ | Xác thực nguồn gốc và toàn vẹn ở cấp độ cá nhân độc lập |
| Chữ ký số tập thể | Chữ ký kết hợp giữa cá nhân $U_i$ và cơ quan quản lý $CA$ | Xác thực đồng thời ở cấp độ cá nhân và cấp độ tổ chức |
| Chứng chỉ khóa công khai | $PKC = (ID_i, y_i, ValPeriod, Serial, sig_{CA})$ | Ràng buộc định danh thực thể với khóa công khai $y_i$ |
| Danh sách thu hồi | $CRL = (ID_i, y_i, RevocationDate, Serial, sig_{CA})$ | Hủy bỏ hiệu lực chứng chỉ khi vi phạm chính sách |
+------------------------------------+
| Thông điệp dữ liệu cần ký (M) |
+-----------------+------------------+
|
v
+------------------+ +--------------------+ +------------------+
| Khóa bí mật cá |--->| Thuật toán ký cá |--->| Chữ ký cá nhân |
| nhân (x_i) | | nhân | | của thực thể |
+------------------+ +--------------------+ +--------+---------+
|
v
+------------------+ +--------------------+ +------------------+
| Khóa bí mật của |--->| Thuật toán hình |--->| CHỮ KÝ SỐ |
| tổ chức (CA) | | thành chữ ký | | TẬP THỂ |
+------------------+ | tập thể | +------------------+
+--------------------+
Phương pháp nghiên cứu
- Phương pháp mô hình hóa hệ thống: Phân tích mô hình truyền tin cơ bản (Nguồn tin $\rightarrow$ Điều chế $\rightarrow$ Kênh truyền $\rightarrow$ Giải điều chế $\rightarrow$ Nhận tin) và tích hợp khối mã mật/chữ ký số để ngăn chặn lộ thông tin và sai lệch dữ liệu.
- Phương pháp thiết kế thuật toán mật mã: Phát triển các lược đồ cơ sở từ các bài toán khó chuẩn tắc, sau đó mở rộng thành các lược đồ đa chữ ký nối tiếp, đa chữ ký song song và các lược đồ tích hợp vừa ký vừa mã hóa.
- Phương pháp phân tích và chứng minh toán học: Chứng minh tính đúng đắn đại số của thuật toán kiểm tra và đánh giá độ an toàn dựa trên độ phức tạp tính toán của việc phá vỡ khóa bí mật hoặc giả mạo chữ ký.
Nội dung chính theo từng chương
Chương 1: Khái quát về mô hình chữ ký số tập thể và hướng nghiên cứu của đề tài
Chương 1 thiết lập khung lý thuyết hệ thống, phân tích các yêu cầu thực tế và đề xuất hai mô hình kiến trúc chữ ký số tập thể:
1. Mô hình chữ ký số tập thể cơ bản và phân cấp
- Mô hình cấu trúc cơ bản: Gồm Cơ quan chứng thực ($CA$), Trung tâm đăng ký ($RA$), Hệ thống lưu trữ dữ liệu ($Repository$), và các thực thể ký cuối ($EE - End\ Entity$). Các thực thể ký $U_i$ (với khóa bí mật $x_i$, khóa công khai $y_i$) hoặc các nhóm đối tượng $G_j$ (khóa công khai nhóm $Y_j$) thực hiện ký thông điệp dưới sự xác nhận của $CA$.
- Mô hình cấu trúc phân cấp: Áp dụng cho các tổ chức quy mô lớn với nhiều cấp quản lý, bao gồm Cơ quan chứng thực gốc ($Root\ CA$), các cơ quan chứng thực cấp dưới ($CA_1, CA_i$), và các thực thể cuối trực thuộc $U_{ij}$. Cơ quan cấp trên cấp chứng chỉ và xác thực cho cơ quan cấp dưới.
+-------------------------------------------------------+
| Cơ quan quản lý cao nhất (Root CA, RA, ...) |
+---------------------------+---------------------------+
|
+-------------------------+-------------------------+
| |
v v
+-------------------------------+ +-------------------------------+
| Cơ quan cấp dưới (CA_1, ...) | | Cơ quan cấp dưới (CA_i, ...) |
+---------------+---------------+ +---------------+---------------+
| |
+-------+-------+ +-------+-------+
| | | |
v v v v
+---------+ +---------+ +---------+ +---------+
| U_11 | | G_11 | | U_i1 | | G_ij |
| (x, y) | | (Y) | | (x, y) | | (Y) |
+---------+ +---------+ +---------+ +---------+
2. Các thành phần chức năng và quy trình hoạt động
- Cơ quan chứng thực ($CA$): Thực hiện chứng nhận tính hợp pháp của thành viên qua việc phát hành chứng chỉ $PKC$, phát hành danh sách thu hồi $CRL$, đồng thời ký xác nhận các thông điệp dữ liệu đã được ký bởi thành viên của tổ chức.
- Trung tâm đăng ký ($RA$): Giao tiếp trực tiếp với thực thể cuối trong quy trình đăng ký, phân phối và quản lý vòng đời chứng chỉ.
- Hệ thống lưu trữ ($Repository$): Cơ sở dữ liệu công cộng dựa trên chuẩn X.500 hoặc LDAP lưu trữ chứng chỉ, CRL và các thông điệp kèm chữ ký tập thể.
- Phân loại chữ ký tập thể:
- Dạng phân biệt: Chữ ký cá nhân và chữ ký của $CA$ tách rời nhau.
- Dạng kết hợp: Chữ ký của cá nhân và $CA$ được lồng ghép trong cùng một cấu trúc toán học duy nhất. Luận án tập trung phát triển chữ ký dạng kết hợp nhằm tối ưu hóa kích thước và hiệu năng thẩm tra.
3. Cấu trúc thuật toán của một lược đồ chữ ký số tập thể
Một lược đồ chữ ký số tập thể hoàn chỉnh bao gồm các khối thuật toán:
- Thuật toán hình thành tham số hệ thống và cặp khóa $(x_i, y_i)$.
- Thuật toán chứng nhận và kiểm tra tính hợp pháp của đối tượng ký (cấp và kiểm tra $PKC$).
- Thuật toán hình thành và kiểm tra chữ ký cá nhân.
- Thuật toán hình thành chữ ký tập thể (kết hợp chữ ký cá nhân và chữ ký $CA$).
- Thuật toán kiểm tra chữ ký tập thể (sử dụng khóa công khai của cá nhân $y_i$, khóa của $CA$, và thông điệp $M$).
- Thuật toán mã hóa và giải mã thông điệp (tùy chọn khi có yêu cầu bảo mật đường truyền).
Chương 2: Phát triển các lược đồ chữ ký số tập thể dựa trên hệ mật RSA
Chương 2 tập trung vào việc thiết kế các lược đồ chữ ký số tập thể dựa trên nền tảng toán học của hệ mật RSA.
1. Cơ sở toán học của hệ mật RSA
- Tạo khóa: Chọn hai số nguyên tố lớn $p, q$ ngẫu nhiên và độc lập; tính modulo $n = p \cdot q$ và giá trị phi hàm Euler $\Phi(n) = (p-1)(q-1)$. Chọn số mũ công khai $e$ thỏa mãn $1 < e < \Phi(n)$ và $\gcd(e, \Phi(n)) = 1$. Tính số mũ bí mật $d \equiv e^{-1} \pmod{\Phi(n)}$. Khóa công khai là $(e, n)$, khóa bí mật là $d$.
- Mã hóa và giải mã: Bản mã $c = m^e \pmod n$; giải mã bản rõ $m = c^d \pmod n$.
- Chữ ký số RSA: Ký trên giá trị băm $s = (h(M))^d \pmod n$; xác minh kiểm tra tính bằng nhau của $s^e \pmod n$ và $h(M)$.
2. Xây dựng lược đồ cơ sở LD 1.1 và các lược đồ mở rộng
Tác giả đề xuất lược đồ cơ sở LD 1.1 làm tiền đề kỹ thuật, chứng minh tính đúng đắn toán học thông qua các phép biến đổi đồng dư thức modulo $n$ và phân tích an toàn dựa trên tính bất khả quy của bài toán phân tích thừa số nguyên tố lớn. Từ lược đồ cơ sở LD 1.1, chương 2 phát triển 3 lược đồ chữ ký số tập thể ứng dụng:
+-----------------------------------+
| Lược đồ cơ sở RSA (LD 1.1) |
+-----------------+-----------------+
|
+--------------------------+--------------------------+
| |
v v
+---------------------------------+ +---------------------------------+
| Lược đồ đa chữ ký nối tiếp | | Lược đồ đa chữ ký và mã hóa |
| (LD 1.2) | | nối tiếp (LD 1.3) |
| - Ký tuần tự nhiều thành viên | | - Tích hợp xác thực 2 cấp độ |
| - CA đóng dấu xác thực tập thể | | với bảo mật thông điệp |
+---------------------------------+ +---------------------------------+
- Lược đồ đa chữ ký nối tiếp (LD 1.2): Phục vụ các văn bản cần nhiều cá nhân trong tổ chức ký duyệt tuần tự trước khi cơ quan quản lý $CA$ ký xác thực tập thể. Quá trình kiểm tra chữ ký tập thể cuối cùng xác thực được toàn bộ danh sách người ký và thẩm quyền của tổ chức.
- Lược đồ đa chữ ký song song: Phục vụ trường hợp nhiều thành viên ký độc lập đồng thời trên một tài liệu, sau đó được $CA$ tích lũy thành chữ ký tập thể duy nhất.
- Lược đồ đa chữ ký và mã hóa nối tiếp: Kết hợp đồng thời chức năng xác thực nguồn gốc hai cấp độ với chức năng bảo vệ tính bí mật của nội dung thông điệp khi truyền trên kênh truyền thông không an toàn.
Chương 3: Phát triển các lược đồ chữ ký số tập thể dựa trên hệ mật ElGamal và chuẩn chữ ký số GOST R34.10-94
Chương 3 mở rộng hướng nghiên cứu sang các cấu trúc chữ ký số dựa trên bài toán logarit rời rạc, xây dựng các lược đồ tập thể đạt hiệu năng tính toán cao hơn.
1. Cơ sở hệ mật ElGamal và chuẩn chữ ký số GOST R34.10-94
- Hệ mật ElGamal: Xây dựng trên trường hữu hạn $\mathbb{Z}_p$ với phần tử sinh $g$. Khóa bí mật $x \in [1, p-2]$, khóa công khai $y = g^x \pmod p$. Độ an toàn dựa trên việc giải phương trình $x = \log_g y \pmod p$.
- Chuẩn GOST R34.10-94 của Liên bang Nga: Sử dụng số nguyên tố lớn $p$, ước số nguyên tố $q$ của $p-1$ ($q | (p-1)$), và phần tử $a$ có bậc $q$ modulo $p$ ($a^q \equiv 1 \pmod p$). Khóa bí mật $x < q$, khóa công khai $y = a^x \pmod p$. Quá trình tạo chữ ký $(r, s)$ sử dụng số ngẫu nhiên $k < q$, cho phép kích thước chữ ký ngắn hơn và tốc độ xử lý nhanh hơn đáng kể so với ElGamal thuần túy.
2. Các lược đồ cơ sở và 6 lược đồ phát triển
Luận án thiết kế 2 lược đồ cơ sở dựa trên ElGamal và GOST R34.10-94, kiểm chứng tính đúng đắn của phương trình xác minh và mức độ an toàn mật mã. Trên nền tảng đó, tác giả phát triển hệ thống 6 lược đồ chữ ký số tập thể:
| Mã lược đồ | Hệ mật / Chuẩn nền tảng | Cơ chế ký | Đặc điểm chức năng |
|---|---|---|---|
| LD 2.1 | ElGamal | Đơn thực thể + CA | Xác thực 2 cấp độ: 1 cá nhân ký và CA đại diện xác thực |
| LD 2.2 | ElGamal | Nối tiếp (Tuần tự) | Nhiều cá nhân ký nối tiếp + CA xác nhận tập thể |
| LD 2.3 | ElGamal | Song song (Đồng thời) | Nhóm đối tượng ký độc lập + CA tổng hợp chữ ký tập thể |
| LD 2.4 | GOST R34.10-94 | Nối tiếp (LD 2.4) | Đa chữ ký nối tiếp tối ưu hóa độ dài dựa trên modulo $q$ |
| LD 2.5 | GOST R34.10-94 | Song song | Đa chữ ký song song theo chuẩn GOST R34.10-94 |
| LD 2.6 | GOST R34.10-94 | Nối tiếp + Mã hóa | Tích hợp đa chữ ký nối tiếp với mã hóa bảo mật thông điệp |
Kết quả và những đóng góp mới
Đóng góp về mặt lý luận và mô hình
- Đề xuất mô hình chữ ký số tập thể: Xây dựng mô hình ứng dụng chữ ký số hai cấp độ (cấu trúc cơ bản và phân cấp) cho phép xác thực đồng thời danh tính cá nhân thực thể tạo lập văn bản và tư cách pháp nhân của tổ chức chủ quản.
- Khái niệm hóa các thành phần chức năng: Định nghĩa rõ ràng vai trò mở rộng của Cơ quan chứng thực ($CA$) trong việc vừa cấp phát chứng chỉ số vừa tham gia tạo lập chữ ký số tập thể.
Đóng góp về mặt kỹ thuật và thuật toán
- Xây dựng 3 lược đồ cơ sở: Thiết kế 1 lược đồ cơ sở dựa trên RSA và 2 lược đồ cơ sở dựa trên ElGamal và chuẩn GOST R34.10-94, làm nền tảng toán học tin cậy.
- Phát triển 9 lược đồ chữ ký số tập thể dạng kết hợp:
- 3 lược đồ dựa trên hệ mật RSA (bao gồm lược đồ đa chữ ký nối tiếp LD 1.2 và lược đồ tích hợp mã hóa).
- 6 lược đồ dựa trên hệ mật ElGamal và GOST R34.10-94 (bao gồm các lược đồ ký nối tiếp LD 2.4, ký song song và tích hợp mã hóa LD 2.6).
- Chứng minh tính đúng đắn và an toàn: Toàn bộ các phương trình kiểm tra chữ ký tập thể đều được chứng minh giải tích; độ an toàn được chứng minh tương đương với độ an toàn của các bài toán khó kinh điển (phân tích số nguyên lớn và logarit rời rạc).
Giá trị thực tiễn và giải pháp đề xuất
- Các lược đồ được thiết kế ở dạng kết hợp giúp tiết kiệm băng thông truyền dữ liệu và giảm thiểu độ phức tạp tính toán khi kiểm tra chữ ký so với việc đính kèm nhiều chữ ký riêng lẻ.
- Đề xuất giải pháp khả thi, không vi phạm các vấn đề bản quyền, sẵn sàng tích hợp vào hạ tầng PKI hiện có của các cơ quan chính phủ và doanh nghiệp.
Hạn chế và hướng nghiên cứu tiếp
- Hạn chế kỹ thuật:
- Các lược đồ phát triển trong luận án tập trung chủ yếu vào các bài toán số học trên trường số nguyên lớn ($\mathbb{Z}_n, \mathbb{Z}_p$), do đó kích thước tham số hệ thống và khóa vẫn còn tương đối lớn so với các hệ mật đại số hiện đại.
- Luận án tập trung sâu vào mô hình chữ ký số tập thể dạng kết hợp, chưa đi sâu vào việc so sánh thực nghiệm hiệu năng tính toán thực tế của dạng phân biệt trên các thiết bị di động có tài nguyên hạn chế.
- Hướng nghiên cứu tiếp:
- Mở rộng nghiên cứu và phát triển các lược đồ chữ ký số tập thể trên nền tảng mật mã đường cong Elliptic (ECC) và chuẩn GOST R34.10-2001 / ECDSA nhằm giảm độ dài khóa và tăng tốc độ xử lý.
- Tối ưu hóa các giao thức truyền thông giữa thực thể ký cá nhân, trung tâm đăng ký ($RA$) và cơ quan chứng thực ($CA$) trong môi trường phân tán quy mô lớn.
Giá trị tham khảo
Luận án là tài liệu tham khảo hữu ích cho các đối tượng chuyên môn:
- Nghiên cứu sinh, học viên cao học và giảng viên: Chuyên ngành Kỹ thuật Điện tử, Công nghệ Thông tin, An toàn Thông tin và Mật mã học; có thể tham khảo phương pháp luận thiết lập mô hình toán học, kỹ thuật chứng minh tính đúng đắn của các lược đồ đa chữ ký và kỹ thuật lồng ghép khóa xác thực.
- Kỹ sư an toàn mạng và chuyên gia phát triển hệ thống: Tham khảo chi tiết các bước thuật toán để hiện thực hóa các module ký số tập thể, mô phỏng hạ tầng $CA/RA$ phân cấp, hoặc xây dựng các cổng dịch vụ công trực tuyến.
- Nhà quản lý và cơ quan hoạch định chính sách: Sử dụng làm căn cứ kỹ thuật để xây dựng quy chế chứng thực chữ ký số cho văn bản hành chính điện tử liên cơ quan, nơi đòi hỏi trách nhiệm kép của chuyên viên soạn thảo và thủ trưởng/cơ quan ban hành.
Câu hỏi thường gặp
1. Chữ ký số tập thể trong luận án khác gì so với chữ ký số cá nhân truyền thống?
Chữ ký số cá nhân truyền thống chỉ liên kết thông điệp với một cá nhân độc lập thông qua khóa bí mật của cá nhân đó. Chữ ký số tập thể theo định nghĩa của luận án được tạo ra từ sự kết hợp giữa chữ ký của thực thể cá nhân (thành viên tổ chức) và chữ ký của cơ quan chứng thực ($CA$ - đại diện tổ chức), giúp xác thực đồng thời cả danh tính người tạo và tính hợp pháp của tổ chức chủ quản đối với văn bản.
2. Vì sao luận án lựa chọn phát triển chữ ký số tập thể dạng kết hợp thay vì dạng phân biệt?
Ở dạng phân biệt, chữ ký cá nhân và chữ ký của $CA$ là hai thành phần tách rời, khiến cấu trúc dữ liệu dài gấp đôi và quy trình kiểm tra phải thực hiện tuần tự hai thuật toán riêng biệt. Dạng kết hợp lồng ghép hai chữ ký vào cùng một cấu trúc toán học duy nhất, cho phép người thẩm tra chỉ cần chạy một thuật toán kiểm tra duy nhất trên thông điệp, tiết kiệm dung lượng lưu trữ và tối ưu hóa thời gian xử lý.
3. Cơ quan chứng thực CA có vai trò gì mới trong mô hình chữ ký số tập thể?
Trong mô hình PKI truyền thống, $CA$ chỉ đóng vai trò bên thứ ba cấp phát và thu hồi chứng chỉ khóa công khai ($PKC, CRL$). Trong mô hình chữ ký số tập thể, $CA$ vừa giữ nguyên chức năng truyền thống đó, vừa trực tiếp tham gia vào quá trình hình thành chữ ký số tập thể bằng cách dùng khóa bí mật của mình ký xác nhận lên thông điệp/chữ ký của thành viên thuộc tổ chức.
4. Những cơ sở toán học nào được dùng để bảo đảm độ an toàn của các lược đồ trong luận án?
Độ an toàn của các lược đồ được bảo đảm bằng hai bài toán khó kinh điển trong mật mã học:
- Bài toán phân tích số nguyên lớn thành thừa số nguyên tố và khai căn modulo hợp số (đối với nhóm lược đồ dựa trên RSA).
- Bài toán logarit rời rạc trên trường hữu hạn $\mathbb{Z}_p$ và nhóm con bậc nguyên tố $q$ (đối với nhóm lược đồ dựa trên ElGamal và GOST R34.10-94).
5. Mô hình chữ ký số tập thể phân cấp được thiết kế như thế nào?
Mô hình phân cấp gồm Cơ quan chứng thực cao nhất ($Root\ CA$), các Cơ quan chứng thực cấp dưới ($CA_i$), và các thực thể ký cuối ($U_{ij}$). $Root\ CA$ quản lý và xác thực cho các $CA$ cấp dưới; mỗi $CA$ cấp dưới vừa trực tiếp quản lý, xác thực cho các thực thể ký thuộc quyền, vừa phối hợp tạo chữ ký tập thể cho các văn bản thuộc thẩm quyền của đơn vị mình.
Kết luận
Luận án tiến sĩ của tác giả Lưu Hồng Dũng đã giải quyết thành công bài toán xác thực hai cấp độ trong các giao dịch điện tử thông qua việc đề xuất mô hình chữ ký số tập thể toàn diện (bao gồm cấu trúc cơ bản và cấu trúc phân cấp). Bằng việc xây dựng 3 lược đồ cơ sở và phát triển hoàn chỉnh 9 lược đồ chữ ký số tập thể dạng kết hợp trên nền tảng hệ mật RSA, ElGamal và chuẩn GOST R34.10-94, công trình đã đóng góp những giải pháp thuật toán chặt chẽ, bảo đảm tính đúng đắn toán học và an toàn mật mã. Kết quả nghiên cứu có giá trị ứng dụng thực tiễn rõ rệt đối với việc xây dựng hạ tầng Chính phủ điện tử và Thương mại điện tử, đáp ứng nhu cầu xác thực văn bản pháp lý một cách hiệu quả và an toàn.