Tổng quan luận án
Luận án tiến sĩ toán học với đề tài "Đề 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" do nghiên cứu sinh Lưu Xuân Văn thực hiện thuộc ngành Cơ sở toán học cho tin học (mã số: 9 46 01 10), dưới sự hướng dẫn khoa học của TS. Lưu Hồng Dũng và TS. Đoàn Văn Hòa, hoàn thành tại Viện Khoa học và Công nghệ quân sự năm 2023.
Tính cấp thiết và khoảng trống nghiên cứu
Trong bối cảnh đẩy mạnh Chính phủ điện tử, thương mại điện tử và cuộc Cách mạng công nghiệp lần thứ tư, nhu cầu lưu trữ và truyền nhận dữ liệu số đặt ra yêu cầu cao về an toàn, bảo mật và xác thực thông tin. Đa số các lược đồ chữ ký số khóa công khai truyền thống (như RSA, ElGamal, Schnorr) được xây dựng dựa trên giả định về tính khó giải của một bài toán số học đơn lẻ, tiêu biểu là bài toán phân tích số nguyên (Integer Factorization Problem - IFP) hoặc bài toán logarit rời rạc (Discrete Logarithm Problem - DLP).
Tuy nhiên, sự phát triển liên tục của các thuật toán giải mã và năng lực tính toán khiến mức độ an toàn của các bài toán đơn lẻ có nguy cơ bị suy giảm. Một số nghiên cứu trước đây đã cố gắng kết hợp hai bài toán khó nhưng lại áp dụng theo phương pháp tuần tự (mỗi bài toán nằm ở một giai đoạn xử lý độc lập) hoặc tồn tại khiếm khuyết trong biểu thức kiểm tra, dẫn tới việc lược đồ bị phá vỡ khi một trong hai bài toán được giải quyết hoặc khóa bí mật bị khôi phục từ chữ ký đã biết. Từ thực tiễn đó, yêu cầu đặt ra là phải xây dựng các lược đồ chữ ký số dựa trên dạng kết hợp đồng thời các bài toán khó nhằm nâng cao độ an toàn của hệ thống.
Mục tiêu nghiên cứu
Mục tiêu tổng quát 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ể được xác định gồm:
- Đề xuất dạng bài toán khó mới dựa trên việc kết hợp 2 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.
- Đề 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.
- Đá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à các thuật toán, bài toán toán học cơ sở phục vụ việc xây dựng lược đồ chữ ký số.
- Phạm vi nghiên cứu:
- Cơ sở lý thuyết của các bài toán trong lý thuyết số trên trường số hữu hạn thường ứng dụng trong hệ mật mã (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 các chuẩn chữ ký số như DSS (Hoa Kỳ), GOST (Liên bang Nga), đặc biệt là các lược đồ có chữ ký số 2 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 trên trường hữu hạn.
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu trước đây
Luận án đã phân tích và điểm lại các công trình khoa học trong và ngoài nước liên quan đến hai hướng phát triển chính của chữ ký số:
-
Hướng nghiên cứu nâng cao tính hiệu quả:
- 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 sử dụng ít tài nguyê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) xây dựng lược đồ chữ ký nhẹ cho thiết bị nhúng.
- Hiệu quả về thời gian tính toán: Girraj Kumar Verma và B. Singh (2017) giảm chi phí tính toán; Sapna Saxena và Neha Kishoreb (2017) đề xuất lược đồ RSA song song trên GPU; Dhanashree Toradmalle và cộng sự (2017) tối ưu ECDSA; Dongyoung Roh và cộng sự (2018) nghiên cứu chữ ký Winternitz (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; Hong Shu và cộng sự (2019) dùng hàm băm Trapdoor cho mạng IoT.
- Tại Việt Nam: Lê Văn Thái và Phạm Khắc Hoan (2015) đề xuất hệ mã McEliece và chữ ký dùng mã BCH; Lưu Hồng Dũng và cộng sự (2010) đề xuất chữ ký bội với trách nhiệm ký phân biệt; Nguyễn Đức Toàn và cộng sự (2016) kết hợp OTP, SHA-256, AES và RSA; Trần Trung Dũng và cộng sự (2012) phát triển hệ mật khóa công khai từ ElGamal.
-
Hướng nghiên cứu nâng cao tính an toàn:
- Nghiên cứu quốc tế: Krishna và cộng sự (2017), Tomasz Hyla và Jerzy Pejaś (2017) phát triển chữ ký trên nền DLP; Wijik Lee và cộng sự (2017) dùng mã Reed-Muller; Jayabhaskar Muthukuru (2017) trên đường cong Elliptic; Shapuan và Ismail (2018), Tripathi và Gupta (2018), Mohd Saiful Adli Mohamad (2018) kết hợp IFP và DLP; Ravinesh Chand (2019) xây dựng chữ ký trên lưới (LWE, SIS); Lei He và cộng sự (2019) nghiên cứu chữ ký mù cho mạng UAV; Anjaneyulu và cộng sự (2019) kết hợp DLP và phân tích đa thức đối xứng.
- 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) phát triển chữ ký tập thể trên nhóm hữu hạn non-cyclic modulo hợp số; Đào Tuấn Hùng và cộng sự (2017) xây dựng chữ ký nhóm ngưỡng lai trên ECDLP; Nguyễn Tấn Đức và cộng sự (2017) kết hợp RSA và Schnorr, phát triển chữ ký mù bội theo GOST R34.10-94; Đặng Minh Tuấn (2017) xây dựng 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 $Z_n$; Võ Tùng Linh (2018) dùng biến đổi Fiat-Shamir; Nguyễn Nam Hải và cộng sự (2019) đề xuất chữ ký mù trên nhóm cyclic 2 chiều với DLP modulo hợp số $n = p \cdot q$.
-
Các nghiên cứu kết hợp nhiều bài toán khó và lỗ hổng bảo mật:
- McCurley (1988) và Brickell - McCurley (1992) khởi xướng việc kết hợp DLP và IFP. Laih và Kuo (1997) đưa ra lược đồ đòi hỏi chi phí tính toán cao.
- Shao (1998) đề xuất 2 lược đồ trên 2 bài toán khó nhưng bị Li và Xiao (1998) chỉ ra khả năng giả mạo chữ ký, và Lee (1999) chứng minh khóa bí mật bị khôi phục nếu giải được IFP.
- He (2001) khắc phục lỗi của Shao nhưng Sun (2001), Ding và Laih (2000) cùng Shao (2001) chỉ ra lược đồ thực chất chỉ dựa trên DLP và vẫn mất an toàn. Hwang và cộng sự (2001) cũng cải tiến sơ đồ này.
- Tzeng và cộng sự (2004) đề xuất lược đồ mới nhưng Shao (2005) chứng minh bị tấn công bằng thuật toán xác suất Pollard-Schnorr nếu giải được DLP. Chang và cộng sự (2004) chỉ ra lỗi tồn tại nhiều khóa bí mật tương ứng một khóa công khai trong sơ đồ của He.
- Wei (2007) dùng phần dư bậc hai nhưng bị Zheng và cộng sự (2008) phá vỡ khi giả mạo chữ ký không cần khóa bí mật; Lin và cộng sự (2007, 2008) chỉ ra lỗ hổng lũy thừa bậc hai dẫn đến bị tấn công bởi phương pháp Pollard-Schnorr.
Khoảng trống luận án giải quyết
Luận án giải quyết hạn chế của các mô hình kết hợp trước đây: chuyển từ phương pháp kết hợp tuần tự (dễ bị bẻ gãy từng phần) sang dạng kết hợp toán học đồng thời giữa bài toán khai căn (Root Problem - RP) và bài toán logarit rời rạc (DLP) trên trường hữu hạn $Z_p$, buộc kẻ tấn công phải giải quyết đồng thời cả hai bài toán khó mới có thể phá vỡ hệ thống hoặc khôi phục khóa.
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 sử dụng
- Hệ mật mã khóa công khai (PKC): Mô hình hệ thống dựa trên hàm một chiều có cửa bẫy (trapdoor one-way function), sử dụng cặp khóa bất đối xứng (khóa công khai và khóa bí mật).
- Hàm băm mật mã (Cryptographic Hash Function): Ánh xạ $h(M): D \to R$ thỏa mãn 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-1, 180-2, 180-3) được phân tích theo bảng thông số:
| 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 |
- Các chuẩn chữ ký số thực tế:
- Chuẩn DSS (Hoa Kỳ - FIPS PUB 186 các phiên bản từ 186 đến 186-4): Sử dụng các thuật toán DSA, RSA, ECDSA kết hợp các chuẩn hàm băm tương ứng.
- Chuẩn GOST (Liên bang Nga): GOST P34.10-94, GOST P34.10-2001, GOST P34.10-2012 sử dụng hàm băm GOST R 34.11.
| Tiêu chí |
DSS |
GOST P34.10-2001 |
| Độ dài hàm băm |
160 bits |
256 bits |
| Tham số kiểm tra |
$p = 512$ bits; $q = 160$ bits |
$2^{509} < p < 2^{512}$ hoặc $2^{1020} < p < 2^{1024}$; $2^{254} < q < 2^{256}$ |
| Phạm vi áp dụng |
Quốc tế |
Liên bang Nga |
| Đặc điểm |
Linh động, phổ biến |
Độ an toàn cao, kích thước xử lý lớn |
- Các bài toán khó nền tảng:
- Bài toán phân tích số nguyên (IFP): Cho số tự nhiên $n$, tìm phân tích $n = \prod_{i=1}^k p_i^{e_i}$. Các thuật toán giải gồm nhóm đặc thù (thuật toán chia, Fermat, Euler, Pollard $\rho$, Pollard $\rho-1$, Williams $\rho+1$, Lenstra ECM) và nhóm tổng quát (Dixon, CFRAC, QS, GNFS). Độ phức tạp của thuật toán GNFS là $L_n [1/3, \sqrt[3]{64/9}]$ và của ECM là $L_p [1/2, \sqrt{2}]$. Ứng dụng trong hệ mật RSA với quan hệ $ed \equiv 1 \pmod{\phi(n)}$.
- Bài toán logarit rời rạc (DLP): Trên nhóm nhân cyclic $G_p^* = {1, 2, \dots, p-1}$ với phần tử sinh $g$, cho $y \in G_p^*$, tìm $x$ sao cho $y \equiv g^x \pmod p$. Độ phức tạp tính toán của thuật toán Baby-step Giant-step là $O(\sqrt{n})$, của Pohlig-Hellman là $O\left(\sum_i e_i (\log n + \sqrt{p_i})\right)$, của Index Calculus (IC) là $L_n [1/2, \sqrt{2}]$. Ứng dụng trong hệ mật ElGamal với cặp bản mã $(c_1, c_2) = (g^k \bmod p, m A^k \bmod p)$.
- Bài toán khai căn modulo $n$ (RP): Tìm $x$ thỏa mãn $a \equiv x^k \pmod n$. Việc giải bài toán được đưa về phương trình $x^k \equiv 1 \pmod{p^{k'}}$ và áp dụng Định lý thặng dư Trung Hoa cùng cấu trúc nghiệm theo Định lý 2.1 và Định lý 2.2. Nếu $\gcd(k, \phi(p^{k'})) = d$, phương trình có đúng $d$ nghiệm $x_t = g^{\frac{t\phi(p^{k'})}{d}} \pmod{p^{k'}}$ với $t = 1, \dots, d$. Ứng dụng trong hệ mật Rabin với bản mã $C = M^2 \bmod n$.
Phương pháp nghiên cứu
- Phương pháp nghiên cứu lý thuyết: Nghiên cứu, phân tích tài liệu, báo cáo khoa học và các chuẩn mật mã công bố trong nước và quốc tế; áp dụng lý thuyết số, đại số trừu tượng để thiết lập mô hình toán học và chứng minh tính đúng đắn, an toàn.
- Phương pháp phân tích - tổng hợp: Đánh giá các điểm yếu bảo mật của các lược đồ chữ ký kết hợp trước đây; tổng hợp yêu cầu kỹ thuật để xây dựng thuật toán sinh tham số, sinh khóa, ký và xác thực.
- Phương pháp thực nghiệm: Thiết kế và cài đặt chương trình thử nghiệm để kiểm chứng tính đúng đắn về mặt giải thuật và đánh giá chi phí tính toán của các lược đồ đề xuất.
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ơ sở lý luận về hệ mật mã khóa công khai, hàm băm và chữ ký số. Tác giả phân loại chữ ký số theo cơ chế kiểm tra (chữ ký kèm thông điệp, chữ ký khôi phục thông điệp), theo mức độ an toàn (chữ ký không thể phủ nhận, chữ ký một lần) và theo ứng dụng đặc trưng (chữ ký mù, chữ ký nhóm, chữ ký bội, chữ ký mù nhóm, chữ ký mù bội, chữ ký ngưỡng). Chương này cũng phân tích hai chuẩn chữ ký số điển hình là DSS (Mỹ) và GOST (Nga), đồng thời tổng hợp các công trình nghiên cứu nâng cao hiệu quả và an toàn. Trên cơ sở chỉ ra hạn chế của các mô hình kết hợp bài toán khó tuần tự, chương 1 xác định định hướng của luận án là nghiên cứu dạng kết hợp đồng thời bài toán 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 tập trung phân tích cấu trúc toán học của ba bài toán khó kinh điển: IFP, DLP, RP và các thuật toán giải tương ứng (như Sàng trường số tổng quát GNFS, phương pháp đường cong Elliptic ECM, Baby-step Giant-step, Pohlig-Hellman, Index Calculus).
Từ đó, tác giả đề xuất một dạng bài toán khó mới: bài toán giải hệ phương trình phi tuyến trên trường hữu hạn $Z_p$. Luận án chứng minh dạng bài toán này không thể giải quyết trong thời gian đa thức ở thời điểm hiện tại. Trên cơ sở đó, tác giả thiết lập lược đồ chữ ký số mới gồm:
- Thuật toán sinh tham số và sinh khóa (Thuật toán 2.1).
- Thuật toán tạo chữ ký số.
- Thuật toán kiểm tra chữ ký (Thuật toán 2.3).
- Chứng minh tính đúng đắn toán học của lược đồ và đánh giá mức độ an toàn trước các dạng tấn công giả mạo chữ ký, tấn công thông điệp và tấn công khôi phục khóa bí mật.
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 phát triển bài toán khai căn bậc $k$ trên trường hữu hạn $Z_p$ với cấu trúc modulo dạng $p = N k^s + 1$, mở rộng thành bài toán khai căn mở rộng và bài toán khai căn kết hợp logarit rời rạc. Tác giả đề xuất lược đồ chữ ký số tổng quát dựa trên tính khó giải đồng thời của hai bài toán này.
Từ lược đồ tổng quát, tác giả xây dựng lớp các lược đồ chữ ký số cụ thể, bao gồm:
- Lược đồ DVH01 với các thuật toán: Sinh tham số và khóa (Thuật toán 3.8), Ký số (Thuật toán 3.9), Kiểm tra chữ ký (Thuật toán 3.10).
- Lược đồ DVH02 với các thuật toán: Sinh khóa (Thuật toán 3.11), Ký số (Thuật toán 3.12), Kiểm tra chữ ký (Thuật toán 3.13).
- Phân tích và so sánh định lượng chi phí thực hiện thuật toán ký (Bảng 3.1) và chi phí thực hiện thuật toán kiểm tra chữ ký (Bảng 3.2) so với các lược đồ chữ ký hiện hành.
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 nghiên cứu ứng dụng mô hình toán học đã đề xuất vào bài toán chữ ký số mù. Tác giả phân tích các điểm yếu làm lộ nguồn gốc bản tin ký và danh tính người yêu cầu ký trong các lược đồ chữ ký số mù hiện có, cụ thể:
- Lược đồ chữ ký số mù DSA cải tiến và nguy cơ lộ nguồn ký (phân tích qua Thuật toán 4.1 xác định danh tính, Thuật toán 4.2 tấn công lộ nguồn gốc bản tin ký).
- Lược đồ chữ ký số mù Nyberg-Rueppel và nguy cơ lộ nguồn ký (Thuật toán 4.3).
- Lược đồ chữ ký số mù Moldovyan và nguy cơ lộ nguồn ký.
Để khắc phục, tác giả đề xuất lược đồ chữ ký số mù mới dựa trên bài toán khai căn kết hợp logarit rời rạc, bao gồm: lược đồ chữ ký cơ sở (Thuật toán 4.4 sinh tham số và khóa, Thuật toán 4.6 kiểm tra) và hai dạng thuật toán ký mù (Thuật toán 4.7 dạng thứ nhất, Thuật toán 4.8 dạng thứ hai, Thuật toán 4.9 kiểm tra). Tác giả tiến hành chứng minh khả năng chống lại các thuật toán truy vết nguồn gốc bản tin ($A_1, A_2, A_3, B_1, B_2, B_3$ tương ứng từ Thuật toán 4.10 đến Thuật toán 4.15), đảm bảo tính mù và tính không thể liên kết của chữ ký.
Kết quả và những đóng góp mới
Đóng góp về mặt lý luận khoa học
- Đề xuất và mô tả toán học thành công dạng kết hợp bài toán khó mới: bài toán giải hệ phương trình phi tuyến trên $Z_p$ và bài toán khai căn kết hợp logarit rời rạc trên trường hữu hạn với modulo $p = N k^s + 1$.
- Xây dựng phương pháp tổng quát thiết kế lược đồ chữ ký số từ bài toán khó kết hợp, khắc phục nhược điểm của các lược đồ kết hợp tuần tự trước đây.
- Chứng minh toán học tính đúng đắn của các thuật toán sinh khóa, ký và xác thực chữ ký; chứng minh tính an toàn của lược đồ trước các nguy cơ: tấn công làm lộ khóa mật, tấn công thuật toán tạo chữ ký, tấn công thuật toán xác thực chữ ký số và các kỹ thuật tấn công văn bản được lựa chọn thích ứng (ACMA).
Đóng góp về mặt thực tiễn
- Xây dựng lớp các lược đồ chữ ký số cụ thể (lược đồ DVH01, DVH02) và cài đặt chương trình thử nghiệm, chứng minh tính khả thi trong thực tế với độ dài khóa ngắn hơn nhưng vẫn duy trì cấp độ bảo mật cao.
- Đề xuất thành công lược đồ chữ ký số mù mới dựa trên bài toán khai căn kết hợp logarit rời rạc, loại bỏ nguy cơ lộ nguồn gốc bản tin ký và danh tính người ký mà các lược đồ mù DSA cải tiến, Nyberg-Rueppel hay Moldovyan mắc phải.
- Cung cấp tài liệu tham khảo hệ thống về cơ sở toán học của các hệ mật khóa công khai và các chuẩn chữ ký số phục vụ nghiên cứu, phát triển các giải pháp bảo mật tự chủ.
Hạn chế và hướng nghiên cứu tiếp
- Hạn chế: Luận án tập trung khảo sát trên cấu trúc đại số của trường số hữu hạn $Z_p$ và nhóm cyclic nhân với các modulo có dạng đặc thù; các thử nghiệm dừng lại ở mức độ cài đặt chương trình kiểm thử thuật toán và đánh giá chi phí lý thuyết.
- Hướng nghiên cứu tiếp:
- Mở rộng nghiên cứu bài toán kết hợp trên các cấu trúc đại số khác (như đường cong Elliptic).
- Tối ưu hóa các thuật toán sinh tham số ngẫu nhiên lớn để nâng cao tốc độ thực thi.
- Ứng dụng bài toán khai căn kết hợp logarit rời rạc để phát triển thêm các mô hình chữ ký số chuyên dụng khác như chữ ký tập thể, chữ ký nhóm và chữ ký số phân tán theo ngưỡng.
Giá trị tham khảo
Luận án là tài liệu tham khảo có giá trị học thuật và ứng dụng thực tiễn cho các nhóm đối tượng:
- Nghiên cứu sinh, học viên cao học và giảng viên: Thuộc các chuyên ngành Toán ứng dụng, Cơ sở toán học cho tin học, An toàn thông tin, Mật mã học; có thể khai thác các phân tích chi tiết về thuật toán phân tích số (GNFS, ECM), logarit rời rạc (Baby-step Giant-step, Pohlig-Hellman, Index Calculus) và cấu trúc nghiệm của bài toán khai căn modulo.
- Kỹ sư và chuyên gia an toàn thông tin: Tham khảo quy trình thiết kế các thuật toán tạo khóa, ký, xác thực của lược đồ DVH01, DVH02 và thuật toán chữ ký số mù trong Chương 3 và Chương 4 để phát triển các module xác thực trong hệ thống Chính phủ điện tử và giao dịch ngân hàng.
- Các cơ quan nghiên cứu an ninh - quốc phòng: Sử dụng các kết quả về lược đồ chữ ký tự chủ nhằm giảm sự phụ thuộc vào công nghệ mã hóa thương mại nước ngoài.
Câu hỏi thường gặp
1. Luận án đề xuất giải quyết điểm yếu nào của các lược đồ chữ ký số kết hợp hai bài toán khó trước đây?
Các lược đồ kết hợp trước đây (như của Shao, He, Wei) thường kết hợp theo phương pháp tuần tự hoặc biểu thức xác thực có cấu trúc cho phép tách rời bài toán. Do đó, nếu một trong hai bài toán khó bị giải quyết hoặc bị khai thác qua các thuật toán như Pollard-Schnorr, kẻ tấn công có thể giả mạo chữ ký hoặc khôi phục khóa bí mật. Luận án giải quyết bằng cách kết hợp đồng thời bài toán khai căn và logarit rời rạc, buộc quá trình thám mã phải giải đồng thời cả hai bài toán.
2. Dạng modulo $p$ được lựa chọn trong bài toán khai căn ở Chương 3 có đặc điểm gì?
Luận án sử dụng số nguyên tố $p$ có cấu trúc $p = N k^s + 1$ (với $k, s, N$ là các số nguyên dương thích hợp), cho phép thiết lập bài toán khai căn bậc $k$ và khai căn mở rộng trên $Z_p$, kết hợp với bài toán logarit rời rạc để tạo ra các hàm cửa bẫy một chiều an toàn.
3. Tại sao các lược đồ chữ ký số mù truyền thống như DSA cải tiến, Nyberg-Rueppel bị tác giả thay thế trong Chương 4?
Các phân tích trong Chương 4 chỉ ra rằng các lược đồ chữ ký số mù DSA cải tiến, Nyberg-Rueppel và Moldovyan tồn tại các lỗ hổng toán học (được mô tả qua các Thuật toán 4.1, 4.2, 4.3) cho phép người ký hoặc bên thứ ba xác định được mối liên hệ giữa bản tin gốc và bản tin mù, dẫn tới làm lộ danh tính nguồn ký hoặc nguồn gốc thông điệp.
4. Hệ mật nào trong phần cơ sở lý thuyết sử dụng bài toán khai căn modulo $n$?
Hệ mật khóa công khai Rabin sử dụng bài toán khai căn bậc hai modulo $n = p \cdot q$. Quá trình mã hóa tính $C = M^2 \bmod n$, và quá trình giải mã tìm 4 căn bậc hai của $C$ modulo $n$ dựa trên việc biết trước các thừa số nguyên tố $p$ và $q$.
5. Kết quả so sánh giữa hai chuẩn chữ ký số DSS và GOST P34.10-2001 trong luận án là gì?
Chuẩn DSS sử dụng hàm băm 160 bits với tham số $p = 512$ bits, $q = 160$ bits, có ưu điểm linh hoạt nhưng tiềm ẩn nguy cơ bị thám mã cao hơn; trong khi GOST P34.10-2001 sử dụng hàm băm 256 bits, tham số $p$ từ $2^{509}$ đến $2^{512}$ (hoặc $2^{1020}$ đến $2^{1024}$) và $q$ từ $2^{254}$ đến $2^{256}$, mang lại mức độ an toàn cao hơn nhưng chi phí tính toán và lưu trữ lớn hơn.
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 tác giả Lưu Xuân Văn đã giải quyết trọn vẹn mục tiêu nghiên cứu về việc kết hợp đồng thời hai bài toán khó cơ sở trong lý thuyết số để thiết kế các hệ thống chữ ký số an toàn. Tác giả đã đề xuất thành công mô hình toán học giải hệ phương trình phi tuyến trên $Z_p$, xây dựng lớp lược đồ chữ ký số tổng quát cùng các biến thể cụ thể (DVH01, DVH02) và lược đồ chữ ký số mù chống lộ danh tính nguồn ký. Các kết quả nghiên cứu đã được chứng minh chặt chẽ về mặt toán học và thử nghiệm thuật toán, đóng góp thiết thực cho lĩnh vực an toàn thông tin và cơ sở toán học cho tin học tại Việt Nam.
