Luận án Tiến sĩ: Mô hình hóa & chống tấn công từ chối dịch vụ tốc độ thấp vào TCP

Tổng quan về luận án

Sự phụ thuộc toàn cầu vào kiến trúc mạng Internet dựa trên bộ giao thức TCP/IP đặt ra yêu cầu sống còn về tính sẵn sàng và độ tin cậy của dịch vụ truyền dữ liệu. Giao thức điều khiển truyền vận TCP (Transmission Control Protocol) chiếm ưu thế áp đảo trong lưu lượng mạng toàn cầu, vận hành dựa trên cơ chế điều khiển tắc nghẽn đầu cuối (end-to-end congestion control) và tự định thời (self-clocking). Tuy nhiên, các đặc tính cốt lõi này bị khai thác nghiêm trọng bởi hình thái tấn công từ chối dịch vụ phân tán tốc độ thấp (Low-rate Distributed Denial-of-Service - LDDoS hay Shrew attack). Khác với tấn công DDoS ngập lụt truyền thống (flooding DDoS) vốn đẩy lưu lượng liên tục ở cường độ hàng trăm Gbps đến Tbps để làm cạn kiệt băng thông, LDDoS gửi các xung lưu lượng định kỳ với tốc độ bùng nổ cao ($R_b$) trong khoảng thời gian rất ngắn ($T_b \approx \text{RTT}$) và chu kỳ xung ($T_a \approx \text{minRTO} = 1\text{ s}$). Hành vi tinh vi này đánh lừa cơ chế tính toán thời gian chờ phát lại gói tin ($RTO$), ép các dòng TCP liên tục rơi vào trạng thái hết thời gian chờ (timeout), giảm kích thước cửa sổ tắc nghẽn ($cwnd$) về 1 gói tin và triệt tiêu thông lượng mạng về tiệm cận 0 nhưng vẫn duy trì tốc độ trung bình rất thấp để qua mặt các hệ thống phát hiện thống kê thông thường.

Khoảng trống nghiên cứu (research gap) then chốt nằm ở hai phương diện: (1) Sự thiếu vắng một mô hình giải tích toán học chính xác toàn diện có khả năng ước lượng thông lượng TCP khi xảy ra hiện tượng cửa sổ tắc nghẽn bị chia đôi một hoặc nhiều lần ($N$ lần) trước khi timeout, cũng như sự bất đối xứng trong cơ chế báo nhận trễ (delayed ACK); (2) Hạn chế về tính thích ứng và công bằng băng thông của các thuật toán quản lý hàng đợi tích cực (AQM) hỗ trợ bộ định tuyến (router) khi lọc bỏ lưu lượng tấn công lén lút. Luận án giải quyết triệt để 4 câu hỏi nghiên cứu:

1. RQ1: Làm thế nào để mô hình hóa giải tích chính xác tiến trình biến thiên của $cwnd$ và thông lượng TCP dưới tác động của xung LDDoS đối với cả cơ chế báo nhận tức thời (immediate ACK) và báo nhận trễ (delayed ACK)?
2. RQ2: Các giả thiết về phân tích rời rạc và xấp xỉ liên tục tương tác ra sao để bao quát toàn bộ các kịch bản $cwnd$ bị giảm phân nửa trước khi timeout?
3. RQ3: Tại sao độ đo tỉ lệ tham gia tắc nghẽn CPR (Congestion Participation Rate) lại gây ra bất công bằng băng thông cho các kết nối TCP hợp lệ mới khởi tạo và làm thế nào để thích ứng hóa ngưỡng phân định $\tau$?
4. RQ4: Làm thế nào để thiết kế một độ đo mới vượt trội hơn CPR trong việc nhận diện bản chất xung của dòng LDDoS mà không gây nghẽn tài nguyên bộ nhớ router?

Luận án thiết lập 4 giả thuyết khoa học tương ứng ($H_1$ đến $H_4$), kế thừa lý thuyết điều khiển tắc nghẽn của Van Jacobson (1988, 1990), nguyên lý hàng đợi tích cực của Sally Floyd & Kevin Fall (1999) và khung lý thuyết LDDoS của Kuzmanovic & Knightly (2003). Đột phá nghiên cứu thể hiện qua việc giảm thiểu sai số ước lượng thông lượng xuống mức tối thiểu so với mô hình của Luo et al. (2014) và cải thiện bảo tồn thông lượng TCP vượt bậc trên môi trường mô phỏng NS-2 với không gian khảo sát đa dạng: băng thông liên kết mạng ($nt_bw = 100\text{ Mbps}, 1000\text{ Mbps}$), băng thông nghẽn cổ chai ($bn_bw = 5\text{ Mbps}, 20\text{ Mbps}$) và thời gian trễ truyền dẫn ($nt_dl \in {2\text{ ms}, 7\text{ ms}, 22\text{ ms}}$).

Literature Review và Positioning

Lịch sử nghiên cứu điều khiển tắc nghẽn và an ninh tầng giao vận ghi nhận sự chuyển dịch từ việc tối ưu hóa hiệu năng sang phòng chống các cuộc tấn công khai thác lỗ hổng giao thức. Sau cuộc sụp đổ do tắc nghẽn mạng Internet vào tháng 10 năm 1986 khi thông lượng sụt giảm 1000 lần xuống còn 40 bit/giây, Jacobson (1988) công bố thuật toán TCP Tahoe với chính sách tăng theo cấp số cộng và giảm theo cấp số nhân (Additive Increase Multiplicative Decrease - AIMD), sau đó chuẩn hóa TCP Reno (1990) và NewReno (Floyd et al., 2004) bổ sung cơ chế phục hồi nhanh (Fast Recovery). Điểm yếu chí tử trong thuật toán lùi thời gian phát lại gói tin theo hàm số mũ (exponential backoff) với $RTO = \max(\text{minRTO}, SRTT + \max(G, 4 \times RTTVAR))$ lần đầu tiên bị Kuzmanovic & Knightly (2003) vạch trần qua mô hình tấn công Shrew, chứng minh một xung tấn công ngắn đồng bộ với $\text{minRTO} = 1\text{ s}$ có thể triệt tiêu hoàn toàn hiệu năng kết nối.

Trong bức tranh tổng quan học thuật, các nhánh nghiên cứu phân tách rõ rệt giữa cơ chế phát hiện và cơ chế mô hình hóa giải tích. Trong miền tần số, Chen & Hwang (2005, 2007) sử dụng phổ biên độ tích lũy chuẩn hóa NCAS trong dải tần 0–20 Hz để nhận diện dòng tấn công; Wu, Kang & Zhang (2012) áp dụng biến đổi Fourier rời rạc (DFT) trích xuất năng lượng phổ tập trung tại $n/\text{RTT}$, đạt tỉ lệ phát hiện 81.36% nhưng tỉ lệ dương tính giả lên tới 17.65% do sai số ước lượng RTT khi tham số chu kỳ xung $T_a$ biến đổi. Trong miền thời gian, Wu et al. (2013) khai thác đặc trưng đa phân dạng (multifractal) và chỉ số mũ Hölder, nâng độ chính xác lên 91% (âm tính giả 9%, dương tính giả 10%); trong khi Yue et al. (2014) phát triển mô hình phản hồi hàng đợi 2 chiều cho thuật toán RED, đạt độ chính xác nhận diện xung 98.6% (dương tính giả 1.15%) nhưng hoàn toàn bỏ ngỏ giải pháp định danh và lọc dòng gói tin.

Về phương diện mô hình giải tích, công trình của Luo et al. (2014) và Xiang et al. (2011) tiên phong trong việc lượng hóa thông lượng TCP dưới tác động của LDDoS. Tuy nhiên, tranh luận học thuật nảy sinh khi mô hình của Luo et al. chỉ giả định đơn giản rằng TCP luôn timeout trực tiếp từ trạng thái tăng trưởng đều mà bỏ qua trường hợp kích thước cửa sổ tắc nghẽn bị chia đôi một hoặc nhiều lần ($N \ge 1$) do mất gói tin trước khi timeout thực sự xảy ra. Hơn nữa, Luo et al. hoàn toàn chưa giải quyết được trường hợp TCP kích hoạt cơ chế báo nhận trễ (delayed ACK), vốn phá vỡ tính đồng bộ toàn cục (global synchronization) của các luồng dữ liệu. Luận án định vị chính xác tại khoảng trống này, thiết lập mô hình lai ghép giải tích - xác suất và tái cấu trúc cơ chế lọc AQM, vượt qua các giới hạn tồn tại trong nghiên cứu quốc tế.

Đó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 trực tiếp lý thuyết điều khiển tắc nghẽn của Jacobson (1988) và lý thuyết quản lý hàng đợi tích cực của Floyd & Fall (1999) bằng cách chuẩn hóa toán học động thái cửa sổ tắc nghẽn $cwnd(t)$ dưới nhiễu loạn xung tuần hoàn. "Phương pháp ước lượng đề xuất kết hợp sử dụng phân tích rời rạc cho giai đoạn khởi động chậm và xấp xỉ liên tục cho giai đoạn tránh tắc nghẽn đối với tiến trình kích thước cửa sổ tắc nghẽn của mỗi dòng TCP." Mô hình lý thuyết phân rã hành vi TCP thành chuỗi trạng thái phụ thuộc vào tương quan giữa tích băng thông - thời gian trễ ($CT$), ngưỡng khởi động chậm ($ssthresh$), và kích thước cửa sổ cực đại ($W_{max}$).

Bằng cách đưa tham số $N$ (số lần $cwnd$ bị giảm phân nửa trước khi timeout) vào hệ phương trình giải tích vi phân - sai phân, luận án chứng minh định lý về sự suy giảm thông lượng: khi xung tấn công xuất hiện với chu kỳ $T_a \le \text{minRTO}$, tiến trình $cwnd$ bị chặn trên bởi hàm suy hao phi tuyến. Đối với trường hợp báo nhận trễ, luận án chứng minh bằng toán học hiện tượng bất đối xứng tiến trình cửa sổ giữa các kết nối đồng nhất, bác bỏ giả định đồng bộ hoàn toàn trước đây và xác lập hệ tiên đề về hai giá trị biên: cận trên ($Throughput_{upper}$) và cận dưới ($Throughput_{lower}$), bảo đảm thông lượng thực tế luôn hội tụ trong dải biên này.

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

Khung phân tích của luận án tích hợp ba trụ cột lý thuyết: Lý thuyết mạng hàng đợi (Queueing Theory), Lý thuyết thông tin (Information Theory) và Lý thuyết tối ưu hóa thích nghi (Adaptive Control Theory). Tiếp cận phòng thủ được xây dựng trên hai độ đo đột phá:

$$\theta_i = \text{CPR}(F_i) = \frac{\sum_{t \in T^*} S_{i,t}}{\sum_{t \in T} S_{i,t}}$$

$$\zeta_i = \text{CIR}(F_i) = \frac{|T^* \cap T_i|}{|T^*|}$$

Trong đó, $T$ là toàn bộ các khoảng thời gian lấy mẫu độ dài $d$, $T^*$ là tập các khoảng thời gian mà liên kết nghẽn cổ chai rơi vào trạng thái tắc nghẽn ($q(t) \ge \text{min}{th}$), $S{i,t}$ là số gói tin của dòng $F_i$ đến router trong khoảng thời gian $[t, t+d]$, và $T_i$ là tập các khoảng thời gian lấy mẫu mà dòng $F_i$ có gói tin xuất hiện.

graph TD
    A["Lưu lượng gói tin hỗn hợp (TCP + LDDoS)"] --> B["Router với Cơ chế AQM Cải tiến"]
    B --> C["Thuật toán Phân tích Hàng đợi (RED Engine)"]
    C --> D{"Kiểm tra Trạng thái Tắc nghẽn T*"}
    D -- "q(t) >= min_th" --> E["Cập nhật Độ đo CIR / CPR Thích nghi"]
    D -- "q(t) < min_th" --> F["Chuyển tiếp Gói tin Thông thường"]
    E --> G{"So sánh với Ngưỡng Thích nghi tau(t)"}
    G -- "CIR > tau(t)" --> H["Phân loại: Dòng Tấn công LDDoS (Drop/Filter)"]
    G -- "CIR <= tau(t)" --> I["Phân loại: Dòng Hợp lệ (Forwarding/Fair Sharing)"]

Sự chuyển đổi từ độ đo CPR (tính toán dựa trên số lượng gói tin) sang độ đo CIR (tính toán dựa trên tỉ lệ khoảng thời gian xuất hiện trong pha nghẽn) loại bỏ hoàn toàn sự phụ thuộc vào dung lượng gói tin tức thời, vô hiệu hóa chiến thuật chia nhỏ gói tin của kẻ tấn công phân tán $(n, g, m, \sigma)$. Điều kiện biên của khung phân tích được xác lập chặt chẽ: áp dụng tối ưu cho các nút mạng biên (edge/border router) và các liên kết nghẽn cổ chai đơn điểm trung chuyển.

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

Thiết kế nghiên cứu

Nghiên cứu áp dụng triết lý thực chứng (positivism) với phương pháp tiếp cận diễn dịch - kiểm chứng thực nghiệm mô phỏng. Do tính chất nguy hại và chi phí khổng lồ của việc thử nghiệm tấn công quy mô lớn trên hạ tầng Internet công cộng thực tế, luận án sử dụng công cụ mô phỏng mạng chuẩn công nghiệp Network Simulator version 2 (NS-2, phiên bản 2.35). Thiết kế nghiên cứu phân tầng đa cấp độ:

• Cấp độ 1: Mô hình dòng đơn (Single TCP flow) phân tích vi mô từng bước nhảy của $cwnd$, thời điểm kích hoạt $RTO$, và cơ chế nhân đôi chu kỳ chờ.
• Cấp độ 2: Mô hình đa dòng đồng nhất ($K$ dòng TCP, $K \in [10, 30]$) phân tích tính đồng bộ toàn cục, cạnh tranh tài nguyên hàng đợi và hiện tượng rò rỉ gói tin (packet leakage).
• Cấp độ 3: Mô hình phân tán phức hợp với mạng lưới máy tính tấn công zombies phân bố theo $g$ nhóm, $m$ dòng mỗi nhóm, sai lệch pha kích hoạt $\sigma$.

Quy trình nghiên cứu rigorous

Quy trình thu thập và xử lý dữ liệu mô phỏng tuân thủ nghiêm ngặt các tiêu chuẩn kiểm soát sai số:

1. Cấu hình topo mạng: Mô hình mạng quả tạ (Dumbbell topology) kinh điển với các router biên $R_0, R_1$. Băng thông nhánh truy cập $nt_bw$ thiết lập ở 100 Mbps và 1000 Mbps; trễ truyền dẫn một chiều $nt_dl \in {2\text{ ms}, 7\text{ ms}, 22\text{ ms}}$; băng thông đường trục $bn_bw$ thiết lập ở 5 Mbps và 20 Mbps; trễ $bn_dl$ cố định.
2. Tham số tấn công LDDoS: Tốc độ xung $R_b \in [1.2 \times bn_bw, 3.0 \times bn_bw]$, độ rộng xung $T_b \in [0.1\text{ s}, 0.3\text{ s}]$, chu kỳ xung $T_a \in [0.5\text{ s}, 2.0\text{ s}]$ quét qua điểm kỳ dị $\text{minRTO} = 1.0\text{ s}$.
3. Triệt tiêu sai số ngẫu nhiên: Mỗi kịch bản mô phỏng chạy tối thiểu 200 giây thời gian mạng, lặp lại nhiều lần với hạt giống ngẫu nhiên (random seed) khác nhau để lấy giá trị trung bình thống kê và độ lệch chuẩn ($SD$).

Data và phân tích

Phân tích dữ liệu khai thác các thuật toán quản lý hàng đợi nâng cao: RED (với các tham số chuẩn $\text{min}{th}, \text{max}{th}, w_q = 0.002, \text{max}_p = 0.1$), kết hợp kỹ thuật băm đa mức của bộ lọc Bloom ($L$ mức, $N$ bins) để tiết kiệm không gian bộ nhớ router từ $O(K)$ xuống $O(L \times N)$.

Thuật toán thích ứng ngưỡng $\tau(t)$ vận hành theo quy tắc AIMD: $$\tau(t + \Delta t) = \begin{cases} \tau(t) - \alpha \times \Delta t & \text{khi liên kết nghẽn liên tục} \ \min(\tau_{max}, \tau(t) + \beta) & \text{khi trạng thái nghẽn giải tỏa} \end{cases}$$

Kiểm định độ vững (robustness checks) được thực hiện thông qua việc so sánh đối đầu giữa công thức giải tích đề xuất với mô hình giải tích của Luo et al. (2014) và dữ liệu thực nghiệm vết (trace data) từ NS-2 dựa trên chỉ số sai số tương đối (Relative Error):

$$\text{RE} = \frac{|\text{Throughput}{\text{Estimated}} - \text{Throughput}{\text{Simulated}}|}{\text{Throughput}_{\text{Simulated}}} \times 100%$$

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

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

1. Sự vượt trội về độ chính xác của mô hình ước lượng thông lượng: Trong cấu hình mạng $nt_bw = 1000\text{ Mbps}, bn_bw = 20\text{ Mbps}$, mô hình giải tích mới đạt sai số tương đối trung bình dưới 4.5% trên toàn bộ các dải trễ $nt_dl$ (2 ms, 7 ms, 22 ms). Ngược lại, mô hình của Luo et al. (2014) xuất hiện sai số tương đối lên tới 28.7% – 46.3% tại các vùng tham số xung $T_a$ lân cận $\text{minRTO}$, do mô hình cũ bỏ qua hoàn toàn chuỗi trạng thái $cwnd$ bị chia đôi trước khi timeout ($N \ge 1$).
2. Giải mã nghịch lý báo nhận trễ (Delayed ACK): Luận án phát hiện hiện tượng bất đối xứng sâu sắc trong tiến trình cửa sổ của các kết nối TCP đồng nhất khi dùng delayed ACK. Mặc dù có cùng RTT, các dòng TCP không bao giờ đạt được sự đồng bộ hoàn toàn về mặt pha. Khoảng chặn lý thuyết $[Throughput_{lower}, Throughput_{upper}]$ do luận án đề xuất bao trọn 98.2% các điểm dữ liệu thực nghiệm mô phỏng, cung cấp công cụ dự báo chính xác tuyệt đối cho các nhà thiết kế giao thức.
3. Hiện tượng "Phục hồi sớm do rò rỉ gói tin" (Early recovery via packet leakage): Luận án chỉ ra rằng trong khoảng thời gian xung tấn công diễn ra, một số lượng nhỏ gói tin TCP vẫn có xác suất lọt qua hàng đợi router thành công. Hiện tượng này giúp TCP nhận được ACK bất thường, kích hoạt giai đoạn khởi động chậm sớm hơn lý thuyết $\text{minRTO}$, làm thay đổi toàn bộ phân bố thời gian phục hồi.
4. Khắc phục triệt để tính bất công bằng của độ đo CPR: Khi sử dụng CPR tĩnh với ngưỡng $\tau$ cố định, 10 dòng TCP mới khởi tạo gia nhập mạng bị suy giảm thông lượng nghiêm trọng (độ lệch chuẩn thông lượng $SD$ cao), do các dòng mới có số lượng gói tin ít và vô tình tập trung vào thời điểm nghẽn, dẫn đến giá trị $\theta_i$ bị tính toán sai lệch thành dòng tấn công. Thuật toán thích ứng ngưỡng $\tau(t)$ đề xuất đã hạ thấp $SD$ của 10 dòng TCP mới từ mức 0.84 Mbit xuống 0.09 Mbit, khôi phục sự công bằng chia sẻ băng thông (Fair Queueing).
5. Ưu thế áp đảo của độ đo khoảng thời gian CIR: Trong điều kiện tấn công phân tán phức tạp với $R_b$ biến thiên, cơ chế lọc dựa trên CIR duy trì thông lượng chuẩn hóa của TCP ở mức 82.4% – 89.6% dung lượng đường truyền, cao hơn vượt trội so với mức 54.1% – 63.2% của cơ chế CPR nguyên bản.

Implications đa chiều

• Về mặt lý thuyết: Tái định nghĩa mô hình toán học giải tích cho giao thức truyền vận TCP khi chịu tác động của lưu lượng ngoại lai tuần hoàn, đặt nền móng lý thuyết cho việc phân tích các biến thể tấn công giảm chất lượng (Reduction of Quality - RoQ).
• Về mặt phương pháp luận: Cung cấp phương pháp tích hợp phân tích rời rạc (discrete analysis) cho pha Slow-Start và xấp xỉ liên tục (continuous approximation) cho pha Congestion Avoidance, có thể tái sử dụng để mô hình hóa các giao thức mới như QUIC, BBR, TCP CUBIC.
• Về mặt thực tiễn và chính sách: Đưa ra giải pháp nâng cấp firmware gọn nhẹ cho các router biên của nhà cung cấp dịch vụ Internet (ISP), cho phép nhúng module tính toán CIR vào cấu trúc hàng đợi phần cứng mà không yêu cầu nâng cấp dung lượng RAM chuyên dụng đắt đỏ.

Limitations và Future Research

Luận án thừa nhận 4 giới hạn nghiên cứu khách quan:

1. Môi trường thực nghiệm: Nghiên cứu chủ yếu triển khai trên nền tảng mô phỏng NS-2 với mô hình mạng quả tạ. Mặc dù NS-2 là chuẩn mực học thuật, mô hình chưa phản ánh đầy đủ độ trễ jitter ngẫu nhiên cực đại và hiện tượng đảo thứ tự gói tin (packet reordering) trên các mạng đường trục xuyên lục địa thực tế.
2. Giả thiết về tính đồng nhất của dòng: Mô hình giải tích giả định các dòng TCP đồng nhất về thời gian trễ truyền dẫn RTT để xây dựng nghiệm giải tích đóng. Trong thực tế, các dòng TCP có RTT không đồng nhất (heterogeneous RTTs) sẽ cạnh tranh băng thông phi tuyến tính phức tạp hơn.
3. Không gian giao thức: Trọng tâm đặt vào các biến thể TCP Reno, NewReno và Tahoe; chưa mở rộng đánh giá chi tiết trên các thuật toán điều khiển tắc nghẽn dựa trên đo lường độ trễ và mô hình hóa băng thông đường truyền thế hệ mới như TCP BBR hay TCP Vegas.
4. Chi phí tính toán tại Router lõi: Độ đo CIR dù tiết kiệm bộ nhớ nhờ Bloom filter nhưng vẫn yêu cầu chu kỳ xử lý nhất định trên mỗi đơn vị thời gian lấy mẫu $d$, có thể tạo ra độ trễ hàng đợi nhỏ khi triển khai trên các thiết bị chuyển mạch lõi tốc độ Terabit.

Chương trình nghiên cứu tương lai (Future Research Agenda):

• Mở rộng mô hình toán học giải tích sang các dòng TCP không đồng nhất RTT ($RTT_1 \ne RTT_2 \ne \dots \ne RTT_K$) và tích hợp cơ chế chống tấn công vào mạng định nghĩa bởi phần mềm (Software-Defined Networking - SDN) thông qua giao thức OpenFlow.
• Triển khai thử nghiệm thực tế (testbed) trên nền tảng phần cứng định tuyến khả lập trình P4/NetFPGA để đánh giá thông lượng xử lý mức độ micro-giây.
• Ứng dụng các kỹ thuật học máy nhẹ (TinyML) ngay tại chip chuyển mạch (dataplane) để tự động nhận dạng chu kỳ xung $T_a$ thay đổi ngẫu nhiên trong các biến thể RoQ lén lút cao cấp.

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

Nghiên cứu mang lại tác động sâu rộng trên nhiều bình diện:

• Ảnh hưởng học thuật: Công trình đã được công bố tại các diễn đàn khoa học uy tín (Hội thảo quốc tế RIVF 2020, SoICT 2017, SoICT 2018; Tạp chí Khoa học ĐHQGHN - VNU Journal of Computer Science and Communication Engineering 2024; và đang phản biện tại Journal of Information Security and Applications, Computer Communications). Các bài báo này mở ra hướng trích dẫn quan trọng cho cộng đồng nghiên cứu an toàn mạng và tối ưu hóa giao thức truyền vận.
• Chuyển đổi công nghệ viễn thông: Cung cấp giải pháp kỹ thuật trực tiếp cho các nhà phát triển thiết bị mạng (Cisco, Juniper, Huawei) và các nhà mạng ISP (VNPT, Viettel, FPT) để gia cố hệ thống AQM chống lại các cuộc tấn công Shrew/LDDoS nhắm vào hạ tầng điện toán đám mây và trung tâm dữ liệu.
• An ninh mạng quốc gia: Tăng cường khả năng phòng vệ cho hạ tầng thông tin trọng yếu quốc gia, bảo vệ các dịch vụ công trực tuyến, cổng thanh toán ngân hàng và hệ thống DNS trước nguy cơ bị tê liệt gián đoạn bởi các xung tấn công lén lút tốc độ thấp khó phát hiện.

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

• Nghiên cứu sinh và Giới học thuật: Tiếp cận mô hình toán học giải tích chuẩn xác, hệ phương trình vi phân mô tả $cwnd$, và phương pháp luận lai ghép rời rạc - liên tục để phát triển các đề tài chuyên sâu về giao thức mạng.
• Kỹ sư R&D Mạng và An toàn thông tin: Ứng dụng trực tiếp thuật toán thích ứng ngưỡng $\tau(t)$ và độ đo CIR vào việc phát triển hệ thống phát hiện/ngăn chặn xâm nhập (IDS/IPS) và nâng cấp module AQM tại router.
• Doanh nghiệp Cloud và ISP: Cắt giảm chi phí đầu tư phần cứng chuyên dụng nhờ giải pháp lọc lưu lượng nhẹ dựa trên bộ lọc Bloom, tối ưu hóa băng thông khả dụng cho khách hàng hợp lệ và duy trì cam kết chất lượng dịch vụ (SLA).

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? Trả lời: Đóng góp độc đáo nhất là việc thiết lập mô hình giải tích lai ghép (hybrid analytical model) kết hợp phân tích rời rạc cho pha Slow-Start và xấp xỉ liên tục cho pha Congestion Avoidance, mở rộng trực tiếp lý thuyết điều khiển tắc nghẽn TCP của Jacobson (1988) và mô hình giải tích của Luo et al. (2014). Mô hình giải quyết hoàn hảo trường hợp cửa sổ tắc nghẽn bị chia đôi $N$ lần trước khi timeout và xác lập khung chặn trên - chặn dưới cho cơ chế delayed ACK.

2. Đột phá phương pháp luận của luận án so với ít nhất 2 nghiên cứu quốc tế tiền nhiệm? Trả lời: So với nghiên cứu của Luo et al. (2014) vốn chỉ phân tích trường hợp lý tưởng không chia đôi cửa sổ, luận án bao quát toàn bộ không gian trạng thái tham số mạng; so với nghiên cứu phát hiện đa phân dạng của Wu et al. (2013) và mô hình phản hồi hàng đợi của Yue et al. (2014) vốn chỉ dừng lại ở việc phát hiện sự tồn tại của xung, phương pháp của luận án vừa ước lượng chính xác thông lượng vừa trực tiếp định danh và lọc bỏ dòng tấn công thông qua độ đo CIR.

3. Phát hiện gây bất ngờ nhất (counter-intuitive finding) có số liệu chứng minh là gì? Trả lời: Đó là hiện tượng các dòng TCP mới khởi tạo bị cơ chế phòng thủ CPR coi là "kẻ tấn công" và đánh rớt gói tin hàng loạt (độ lệch chuẩn thông lượng $SD = 0.84\text{ Mbit}$). Luận án chứng minh nghịch lý này sinh ra do số lượng mẫu quá ít trong pha khởi đầu của dòng TCP mới, từ đó dẫn dắt đến phát minh thuật toán thích ứng ngưỡng $\tau(t)$ giúp hạ $SD$ xuống $0.09\text{ Mbit}$, bảo đảm tính công bằng tuyệt đối.

4. Luận án có cung cấp giao thức tái lập thực nghiệm (Replication Protocol) hoàn chỉnh không? Trả lời: Hoàn toàn đầy đủ. Luận án công bố chi tiết bộ tham số topo mạng NS-2 ($nt_bw, bn_bw, nt_dl, bn_dl$), tham số thuật toán RED ($w_q = 0.002, \text{min}{th}, \text{max}{th}, \text{max}p = 0.1$), cấu hình bộ lọc Bloom ($L, N$), kích thước gói tin ($M{TCP} = 1000\text{ bytes}, M_{UDP} = 1000\text{ bytes}, M_{ACK} = 40\text{ bytes}$), và mã nguồn kịch bản mô phỏng kiểm chứng.

5. Chương trình nghiên cứu 10 năm tới (10-year Research Agenda) được vạch ra như thế nào? Trả lời: Lộ trình tập trung vào 3 giai đoạn: (1) Chuẩn hóa độ đo CIR và tích hợp vào hệ điều hành mạng mã nguồn mở (Linux Kernel Network Stack); (2) Mở rộng khung giải tích sang giao thức HTTP/3 trên nền QUIC và cơ chế điều khiển tắc nghẽn BBRv2/v3; (3) Tự động hóa phòng thủ biên mạng thông qua trí tuệ nhân tạo nhúng phần cứng (Hardware-accelerated AI on In-Network Computing).

Kết luận

1. Luận án đã xây dựng thành công phương pháp mới ước lượng chính xác thông lượng TCP dưới tác động của tấn công LDDoS, kết hợp hoàn hảo giữa phân tích rời rạc và xấp xỉ liên tục, triệt tiêu sai số lớn của các mô hình quốc tế tiền nhiệm.
2. Thiết lập cơ sở lý thuyết toán học vững chắc cho hành vi bất đối xứng của TCP khi sử dụng cơ chế báo nhận trễ (delayed ACK), đề xuất thành công khoảng giá trị chặn trên và chặn dưới tiệm cận thực nghiệm mô phỏng.
3. Chỉ rõ các hạn chế cốt tử của độ đo CPR tĩnh về mặt công bằng lưu lượng, từ đó đề xuất cơ chế tự thích ứng ngưỡng $\tau(t)$ theo thời gian thực giúp bảo tồn thông lượng TCP cao và phân phối băng thông bình đẳng.
4. Sáng tạo độ đo đột phá CIR (Congestion Interval Rate) thay thế hoàn toàn CPR, nâng cao hiệu quả phân loại dòng độc hại, duy trì thông lượng kết nối hợp lệ lên tới 89.6% trong điều kiện tấn công khốc liệt.
5. Kiểm chứng toàn diện lý thuyết trên môi trường mô phỏng NS-2 chuẩn mực với hàng trăm kịch bản cấu hình băng thông ($5 - 1000\text{ Mbps}$) và thời gian trễ đa dạng, đạt độ tin cậy khoa học cao nhất.
6. Nghiên cứu mở ra các nhánh phát triển mới về an toàn giao thức mạng thế hệ tiếp theo, đóng góp di sản học thuật quan trọng cho chuyên ngành Mạng máy tính và Truyền thông dữ liệu tại Việt Nam và quốc tế.