Tổng quan về luận án
Mạng tùy biến di động (Mobile Ad-hoc Network - MANET) khởi nguồn từ các đề án nghiên cứu mạng gói vô tuyến của DARPA từ năm 1972, đại diện cho mô hình mạng phân tán không phụ thuộc vào bất kỳ cơ sở hạ tầng cố định hay cơ quan điều phối trung tâm nào. Nhờ đặc tính tự tổ chức (self-organizing), tự cấu hình (self-configuring) và hỗ trợ tính di động cao của các nút mạng (nodes), MANET đã phát triển thành nền tảng cốt lõi cho hàng loạt mô hình mạng chuyên dụng hiện đại, bao gồm Mạng cảm biến không dây (Wireless Sensor Networks - WSN), Mạng diện tích cơ thể (Body Area Networks - BAN), Mạng tùy biến giao thông (Vehicular Ad-hoc Networks - VANET) và Mạng tùy biến của các thiết bị bay không người lái (Flying Ad-hoc Networks - FANET). Các biến thể này phục vụ trực tiếp cho các nhiệm vụ tối quan trọng như chiến dịch quân sự tác chiến chiến thuật, cứu hộ thảm họa thiên tai, giám sát y tế từ xa và điều hành giao thông đô thị thông minh.
Tuy nhiên, môi trường truyền thông vô tuyến mở, kênh truyền chia sẻ (shared wireless medium), bán kính phát sóng giới hạn đòi hỏi truyền thông đa chặng (multi-hop routing), tô-pô mạng biến động liên tục (dynamic topology) và tài nguyên năng lượng hạn chế đã tạo ra những lỗ hổng bảo mật nghiêm trọng tại tầng mạng (tầng định tuyến di động trong mô hình OSI tinh giản). Luận án tiến sĩ chuyên ngành Khoa học máy tính (Mã số: 9480101) của nghiên cứu sinh Lương Thái Ngọc, dưới sự hướng dẫn khoa học của PGS. Võ Thanh Tú tại Trường Đại học Khoa học - Đại học Huế (2020), mang tiêu đề: "Nghiên cứu một số giải pháp nâng cao an ninh trên mạng MANET", đã giải quyết trực diện bài toán an ninh định tuyến trên nền tảng giao thức định tuyến véc-tơ khoảng cách theo yêu cầu (Ad hoc On demand Distance Vector - AODV, RFC 3561).
+-------------------------------------------------------------+
| KHUNG NGHIÊN CỨU TỔNG THỂ |
+-------------------------------------------------------------+
|
+-------------------------------------------+------------------------------------------+
| | |
v v v
+---------------------------------+ +---------------------------------+ +----------------------------------+
| TẤN CÔNG LỖ SÂU (WH) | | TẤN CÔNG NGẬP LỤT (FD) | | BẢO MẬT ĐỊNH TUYẾN TOÀN |
| (Chế độ Ẩn HM & Tham gia PM) | | (Hành vi NASRRF) | | DIỆN (TAM & DCMM) |
+---------------------------------+ +---------------------------------+ +----------------------------------+
| | |
v v v
+---------------------------------+ +---------------------------------+ +----------------------------------+
| Đề xuất Giải pháp MLA | | Đề xuất Giải pháp FADA | | Đề xuất Giao thức TAMAN |
| (Xác thực đa mức 3 bước & | | (Phân loại kNN trên chuỗi | | (Xác thực tin cậy đa chặng kết |
| chứng chỉ thành viên MC) | | thời gian RDFV kích thước m) | | hợp chứng thư số X.509/DCMM) |
+---------------------------------+ +---------------------------------+ +----------------------------------+
| | |
v v v
+---------------------------------+ +---------------------------------+ +----------------------------------+
| Giao thức an ninh MLAMAN | | Giao thức an ninh FAPRP | | Miễn nhiễm Wormhole HM/PM, |
| (Ngăn chặn triệt để đường hầm) | | (Phát hiện và hủy RREQ giả mạo) | | Blackhole, Giả mạo thực thể |
+---------------------------------+ +---------------------------------+ +----------------------------------+
Khoảng trống nghiên cứu (research gap) cốt lõi được xác định xuất phát từ thực tế: "Hầu hết các giao thức định tuyến được thiết kế với giả thuyết rằng không tồn tại nút độc hại trong mạng [59]". Khi vận hành trong môi trường thù địch, AODV bộc lộ hai điểm yếu chí mạng:
- Lỗ hổng thuật toán chọn đường theo số chặng tối thiểu (Hop Count - HC): Kẻ tấn công dễ dàng quảng bá số chặng giả mạo hoặc sử dụng đường hầm chuyên dụng (out-of-band tunnel/encapsulation) để thu hút toàn bộ lưu lượng dữ liệu rồi thực hiện nghe lén hoặc phá hủy gói tin thông qua tấn công Lỗ sâu (Wormhole Attack - WH), Lỗ đen (Blackhole - BH), Lỗ chìm (Sinkhole - SH) và Lỗ xám (Grayhole - GH). Các hệ thống phát hiện xâm nhập (Intrusion Detection Systems - IDS) hiện hữu dựa trên Độ trễ mỗi chặng (Delay Per Hop - DPH), Thời gian truyền tải gói tin (Packet Traversal Time - PTT) hay Thời gian truyền khứ hồi (Round Trip Time - RTT) như DelPHI, WADT, TTHCA rất dễ nhận định sai lệch do độ trễ xử lý gói tin biến động và không thể phát hiện lỗ sâu ở chế độ ẩn (Hidden Mode - HM).
- Lỗ hổng cấu trúc gói điều khiển tuyến phản ứng (Route Control Packets - RCP): Cơ chế phát quảng bá không xác thực của gói Yêu cầu tuyến (Route Request - RREQ) bị khai thác để thực hiện Tấn công ngập lụt (Flooding Attack - FD), làm tê liệt băng thông, cạn kiệt tài nguyên nút và gia tăng nghẽn mạng. Các giải pháp lọc dựa trên ngưỡng cố định hoặc thích nghi thiếu độ mềm dẻo, dễ nhận diện nhầm nút hợp lệ có tần suất tìm đường cao, trong khi các mô hình học máy trước đó (như ứng dụng trên WSN) chỉ khai thác tần suất thô không tương thích với đặc tính di động của MANET.
Để giải quyết các khoảng trống trên, luận án thiết lập 3 câu hỏi nghiên cứu (Research Questions) và 3 giả thuyết tương ứng:
- RQ1: Làm thế nào để phát hiện và ngăn chặn triệt để tấn công lỗ sâu ở cả hai chế độ ẩn (HM) và chế độ tham gia (PM) mà không bị phụ thuộc vào sự sai lệch của tham số độ trễ vật lý hay phần cứng định vị GPS đắt đỏ?
- H1: Thiết kế cơ chế xác thực đa mức (Multi-Level Authentication - MLA) kết hợp kiểm tra tính toàn vẹn cục bộ từng chặng (Hop-by-hop) và cấp chứng chỉ thành viên (Member Certification - MC) sẽ triệt tiêu khả năng thiết lập đường hầm độc hại mà vẫn duy trì tỷ lệ gửi gói tin thành công ở mức cao.
- RQ2: Làm thế nào để phân biệt chính xác hành vi phát gói RREQ của nút tấn công ngập lụt với hành vi bùng nổ khám phá tuyến hợp lệ của nút mạng di động?
- H2: Xây dựng mô hình chuỗi thời gian thông qua Biểu đồ khe thời gian khám phá tuyến (Diagram of Route Discovery Time-Slot - DRDTS) và Véc-tơ tần suất khám phá tuyến (Route Discovery Frequency Vector - RDFV), kết hợp thuật toán phân loại láng giềng gần nhất $k\text{NN}$, sẽ tối ưu hóa tỷ lệ phát hiện tấn công (Attack Detection Ratio - ADR) và giảm thiểu tối đa phụ tải định tuyến (Routing Load - RL).
- RQ3: Làm thế nào để xây dựng một giao thức bảo mật định tuyến toàn diện chống lại đa hình thức tấn công (bao gồm tấn công mạo danh, lỗ đen và lỗ sâu chế độ ẩn) trong điều kiện mạng MANET không có máy chủ quản lý khóa tập trung?
- H3: Tích hợp Cơ chế xác thực tin cậy (Trust Authentication Mechanisms - TAM) với Cơ chế quản lý chứng thư số phân tán (Digital Certification Management Mechanisms - DCMM) theo chuẩn X.509 sẽ cung cấp năng lực an ninh toàn diện và khắc phục triệt để nhược điểm của các giao thức SAODV và ARAN.
Phạm vi và quy mô thực nghiệm của nghiên cứu được triển khai chặt chẽ trên nền tảng mô phỏng mạng rời rạc Network Simulator 2 (NS-2), khảo sát trên các không gian địa lý từ $1000\text{m} \times 1000\text{m}$ (50 nút) đến $2000\text{m} \times 2000\text{m}$ (100 nút), vận tốc di chuyển ngẫu nhiên của nút đạt từ $1\text{m/s}$ đến $30\text{m/s}$ ($108\text{km/h}$) theo mô hình Tọa độ điểm ngẫu nhiên (Random Waypoint - RWP), mật độ luồng dữ liệu đạt tới 20 nguồn CBR (Constant Bit Rate, 512 bytes/gói), thời gian mô phỏng từ $500\text{s}$ đến $1000\text{s}$ trên hàng trăm lượt lặp thống kê.
Literature Review và Positioning
Tổng quan y văn quốc tế về an ninh định tuyến trên MANET được cấu trúc thành ba nhánh tiếp cận học thuật độc lập:
TIẾP CẬN Y VĂN AN NINH ĐỊNH TUYẾN MANET
|
+---------------------------------------------+---------------------------------------------+
| | |
v v v
+-------------------------------+ +-------------------------------+ +-------------------------------+
| NHÁNH 1: IDS PHÁT HIỆN LỖ SÂU| | NHÁNH 2: IDS CHỐNG NGẬP LỤT | | NHÁNH 3: BẢO MẬT MÃ HÓA PKI |
+-------------------------------+ +-------------------------------+ +-------------------------------+
| • Chiu et al. (DelPHI) | | • Abdelhaq et al. (BI, 2011) | | • Zapata & Asokan (SAODV,2002)|
| • Su (WADT, 2010) | | • Vani et al. (EFS) | | • Sanzgiri et al. (ARAN, 2002)|
| • TTHCA & EEP (Wang et al.) | | • Kumar et al. (kNN trên WSN) | | • Hu, Perrig, Johnson (SEAD) |
| • Hu & Perrig (Packet Leashes)| | • Lọc ngưỡng cố định / động | | • Hash Chain / OTP |
+-------------------------------+ +-------------------------------+ +-------------------------------+
1. Hệ thống phát hiện xâm nhập (IDS) chống tấn công lỗ sâu
Chiu et al. đề xuất giải pháp DelPHI (Delay Per Hop Indication) dựa trên việc đo độ trễ trên từng chặng để tìm ra sự bất thường của đường hầm ngầm. Su (2010) phát triển kỹ thuật WADT (Wormhole Attacks Detection Technique) nhằm ước lượng độ trễ tối đa (Maximum Delay - MD). TTHCA (Traversal Time and Hop Count Analysis) và EEP (End-to-End Protocol) của Wang et al. tiếp tục khai thác tương quan giữa thời gian truyền tải gói tin và số chặng. Tuy nhiên, nhóm nghiên cứu này bộc lộ nhược điểm cơ bản: các đại lượng thời gian $RTT$ và $PTT$ phụ thuộc trực tiếp vào tải hàng đợi và biến động môi trường vô tuyến, dẫn đến tỷ lệ cảnh báo sai cao; đồng thời kiểm tra đầu-cuối (End-to-End) làm mất khả năng truy vết vị trí nút độc hại cục bộ. Đặc biệt, kỹ thuật Packet Leashes (Hu & Perrig) đòi hỏi đồng bộ thời gian cấp độ nano giây hoặc thiết bị GPS tích hợp trên từng nút, gây cản trở tính khả thi thực tiễn.
2. Hệ thống phát hiện và ngăn chặn tấn công ngập lụt
Các nghiên cứu của Vani et al. với lược đồ lọc hiệu quả EFS (Effective Filtering Scheme) và FAP (Flooding Attack Prevention) chủ yếu sử dụng cơ chế ngưỡng thống kê. Abdelhaq et al. (2011) đề xuất giải pháp BI (Broadband Improvement) sử dụng ngưỡng động thích nghi. Tuy nhiên, các giải pháp này đối mặt với tình trạng "tiến thoái lưỡng nan": nếu ngưỡng quá thấp sẽ triệt tiêu yêu cầu định tuyến hợp lệ khi tô-pô mạng thay đổi đột ngột; nếu ngưỡng quá cao sẽ để lọt các đợt tấn công ngập lụt tần suất trung bình. Hướng tiếp cận học máy của Kumar et al. (ứng dụng $k\text{NN}$ và SVM) dù mở ra khả năng phân loại dữ liệu nhưng lại được thiết kế trên mạng cảm biến WSN có nút đứng yên, chưa giải quyết được bài toán phân biệt giữa chuyển động vật lý và tấn công chủ động trên MANET.
3. Giao thức bảo mật định tuyến toàn diện bằng mật mã
Zapata & Asokan (2002) công bố giao thức SAODV (Secure AODV) sử dụng chữ ký số RSA cho các trường bất biến và chuỗi băm (Hash chain) để bảo vệ trường số chặng ($HC$). Sanzgiri et al. (2002) phát triển giao thức ARAN (Authenticated Routing for Ad-hoc Networks) áp dụng chữ ký số từng chặng kết hợp hạ tầng khóa công khai PKI. Hu, Perrig & Johnson giới thiệu SEAD dựa trên cơ chế mật khẩu một lần (One-Time Password - OTP).
Y văn ghi nhận những mâu thuẫn học thuật sâu sắc giữa ba trường phái:
- Tranh luận 1: Kiểm tra đầu-cuối (End-to-End) đối đầu Xác thực từng-chặng (Hop-by-hop). SAODV chọn kiểm tra đầu-cuối để tối ưu hóa phụ tải nhưng khiến nút trung gian mất khả năng thẩm tra nút liền kề; ngược lại, ARAN áp dụng xác thực từng chặng nhưng lại loại bỏ cơ chế chọn đường tối ưu theo số chặng ($HC$), dẫn đến tuyến đường thiết lập có chi phí cao và phụ tải xử lý chữ ký số tăng theo cấp số nhân.
- Tranh luận 2: Cơ chế ngưỡng thống kê đối đầu Khai phá dữ liệu chuỗi thời gian. Các giải pháp ngưỡng cố định (FAP, EFS) không thể thích nghi với tính bất định của mạng di động, trong khi các kỹ thuật phân lớp học máy trước đây chưa xây dựng được không gian đặc trưng đa chiều để biểu diễn sự phân bổ thời gian của lưu lượng RCP.
- Tranh luận 3: Phòng thủ thụ động không mã hóa đối đầu Thiết kế bảo mật mã hóa có chứng thực. Các giao thức bảo mật như SAODV và ARAN hoàn toàn bất lực trước tấn công lỗ sâu ở chế độ ẩn (Hidden Mode), do nút độc hại chỉ đơn thuần chuyển tiếp nguyên trạng gói tin điều khiển mà không làm thay đổi nội dung mã hóa bên trong.
Luận án định vị chính xác khoảng trống này bằng cách kết hợp cơ chế học máy phi tham số ($k\text{NN}$) trên chuỗi thời gian để triệt tiêu ngập lụt, đồng thời tái cấu trúc cơ chế xác thực từng chặng với mô hình quản lý chứng thư số phân tán nhằm ngăn chặn hoàn toàn cả hai chế độ tấn công lỗ sâu và mạo danh.
Đóng góp lý thuyết và khung phân tích
Đóng góp cho lý thuyết
Luận án tạo ra những bước tiến mang tính đột phá trong việc mở rộng và kết hợp ba nền tảng lý thuyết nền tảng:
$$\text{Khung Bảo mật Định tuyến} = \mathcal{M}{\text{Graph}}(\text{AODV}) \otimes \mathcal{M}{\text{Crypto}}(\text{RSA, X.509}) \otimes \mathcal{M}_{\text{ML}}(k\text{NN, RDFV})$$
HỆ THỐNG MỆNH ĐỀ LÝ THUYẾT
|
+--------------------------------------+--------------------------------------+
| | |
v v v
+-----------------------+ +-----------------------+ +-----------------------+
| MỆNH ĐỀ LÝ THUYẾT P1 | | MỆNH ĐỀ LÝ THUYẾT P2 | | MỆNH ĐỀ LÝ THUYẾT P3 |
+-----------------------+ +-----------------------+ +-----------------------+
| Xác thực đa mức MLA | | Phân tách không gian | | Cơ chế quản lý chứng |
| bảo toàn tính toán vẹn| | RDFV bằng kNN nhận | | thư số DCMM phân tán |
| và loại trừ đường hầm | | diện chính xác 100% | | loại bỏ tấn công |
| lỗ sâu ẩn/tham gia. | | lưu lượng ngập lụt. | | mạo danh và lỗ đen. |
+-----------------------+ +-----------------------+ +-----------------------+
- Mở rộng Lý thuyết Định thuyết Véc-tơ Khoảng cách (Bellman-Ford & RFC 3561): Luận án chứng minh rằng việc bảo toàn tính tối ưu của đường đi ngắn nhất ($HC$) bắt buộc phải đi kèm với việc ràng buộc liên kết vật lý giữa các nút láng giềng thông qua cơ chế chứng chỉ thành viên (Member Certificate - MC). Mệnh đề lý thuyết $P_1$ khẳng định: "Trong mạng MANET không có hạ tầng, tính toàn vẹn của một chặng định tuyến $N_i \to N_j$ chỉ được đảm bảo khi và chỉ khi $N_j$ xác thực được quyền thành viên hợp lệ của $N_i$ tại thời điểm phát gói tin".
- Mở rộng Lý thuyết Mật mã học Khóa công khai (Rivest, Shamir, Adleman - RSA, 1978): Đặt trong bối cảnh phân tán hoàn toàn, luận án thiết lập mô hình thẩm định quyền sở hữu khóa mà không cần sự hiện diện trực tuyến của cơ quan cấp phát chứng chỉ tập trung (Online Central Certificate Authority - CA). Mệnh đề lý thuyết $P_2$ xác lập quy trình kiểm tra chéo 3 bước (TAM 3-step verification):
$$\text{Verify}(RCP) = \mathcal{V}{k^+{\text{src}}}([RCP]{k^-{\text{src}}}) \wedge \mathcal{V}{k^+{\text{PN}}}([RCP]{k^-{\text{PN}}}) \wedge \text{CheckValidity}(DC_{N_\delta})$$
trong đó nút trung gian xác thực đồng thời chữ ký của nguồn ($k^-{\text{src}}$), chữ ký của nút liền trước ($k^-{\text{PN}}$) và tính hợp lệ của chứng thư số ($DC_{N_\delta}$).
- Mở rộng Lý thuyết Nhận dạng Mẫu Không tham số (Cover & Hart, 1967 - $k$-Nearest Neighbor): Luận án chứng minh rằng hành vi phát gói tin điều khiển tuyến của một nút có thể được trừu tượng hóa thành một quỹ đạo chuỗi thời gian trong không gian $m$ chiều. Mệnh đề $P_3$ chỉ ra: "Sự phân tách giữa hành vi định tuyến bình thường và tấn công ngập lụt thể hiện rõ nét qua khoảng cách Euclidean trong không gian véc-tơ tần suất khám phá tuyến $RDFV$, vượt trội hơn hẳn mọi mô hình ngưỡng vô hướng đơn biến".
Khung phân tích độc đáo
Khung phân tích của luận án tích hợp chặt chẽ 3 cấu phần kiến trúc:
+----------------------------------------------------------------------------------------------------+
| KHUNG PHÂN TÍCH ĐỘC ĐÁO CỦA LUẬN ÁN |
+----------------------------------------------------------------------------------------------------+
| 1. BIỂU DIỄN CHUỖI THỜI GIAN ĐỊNH TUYẾN: |
| Khởi tạo khe thời gian tối thiểu T_Smin -> Xây dựng Biểu đồ DRDTS -> Trích xuất véc-tơ RDFV |
| V_ij = (f_1, f_2, ..., f_m) biểu diễn mật độ phát RREQ theo chu kỳ trượt. |
+----------------------------------------------------------------------------------------------------+
| 2. BỘ PHÂN LỚP HÀNH VI kNN THÍCH NGHI: |
| Khoảng cách: d(V_x, V_y) = \sqrt{\sum_{t=1}^m (f_{x,t} - f_{y,t})^2} |
| Quy tắc biểu quyết: \text{Class}(V_x) = \arg\max_{c \in \{\text{Normal, Malicious}\}} \sum I |
+----------------------------------------------------------------------------------------------------+
| 3. XÁC THỰC TIN CẬY TOÀN DIỆN (TAM & DCMM): |
| Tích hợp chứng thư số X.509 phân tán, kiểm tra chữ ký số từng chặng kép (Dual-Signature), |
| bảo vệ trường HC bất biến cục bộ, triệt tiêu tấn công lỗ sâu chế độ ẩn (HM) và tham gia (PM). |
+----------------------------------------------------------------------------------------------------+
- Véc-tơ tần suất khám phá tuyến ($RDFV$): Mỗi nút trung gian $N_j$ duy trì một véc-tơ $V_{ij} = (f_1, f_2, \dots, f_m) \in \mathbb{R}^m$ ghi nhận số lượng gói RREQ phát ra từ nút nguồn $N_i$ trong $m$ khe thời gian liên tiếp $T_S = {t_1, t_2, \dots, t_m}$. Phương pháp này chuyển đổi bài toán an ninh mạng thành bài toán phân lớp hình học không gian.
- Cơ chế cấp chứng chỉ thành viên ($MC$) và Chứng thư số ($DC$): Thiết lập định danh mật mã học cho mọi thực thể mạng thông qua cặp khóa $(k^-, k^+)$ và cấu trúc chứng chỉ chuẩn hóa, ngăn chặn triệt để hành vi mạo danh địa chỉ IP (IP Spoofing) và giả mạo số thứ tự tuyến (Sequence Number).
Phương pháp nghiên cứu tiên tiến
Thiết kế nghiên cứu
Luận án áp dụng thế giới quan Thực chứng luận (Positivism Paradigm) kết hợp phương pháp luận diễn dịch thực nghiệm định lượng (Quantitative Experimental Deductive Methodology). Mô hình nghiên cứu phối hợp giữa giải tích giao thức hình thức và mô phỏng mạng sự kiện rời rạc (Discrete-Event Simulation) cấp độ gói tin, phản ánh chính xác tương tác thực tế của các lớp giao thức trong mô hình OSI tinh giản.
THIẾT KẾ THỰC NGHIỆM ĐỊNH LƯỢNG MÔ PHỎNG
|
+--------------------------------------+--------------------------------------+
| | |
v v v
+-----------------------+ +-----------------------+ +-----------------------+
| KỊCH BẢN WORMHOLE | | KỊCH BẢN FLOODING | | KỊCH BẢN BẢO MẬT |
+-----------------------+ +-----------------------+ +-----------------------+
| • 100 nút mạng di động| | • 50 nút mạng di động | | • Khảo sát SAODV, |
| • Diện tích: 2000x2000| | • Diện tích: 1000x1000| | ARAN vs. TAMAN |
| • Vận tốc: 1 - 30 m/s | | • Vận tốc: 1 - 30 m/s | | • Tấn công lỗ đen BH, |
| • Đường hầm: 1-5 hops | | • Tần suất: 10, 20 pkt| | lỗ sâu ẩn HM, |
| • 60 lượt mô phỏng | | • 75 lượt mô phỏng | | mạo danh khóa PKI |
+-----------------------+ +-----------------------+ +-----------------------+
Quy trình nghiên cứu và thông số thực nghiệm
Quy trình thu thập và xử lý dữ liệu được thiết kế với độ chuẩn xác và tính lặp lại tuyệt đối thông qua công cụ tạo kịch bản di động setdest và bộ tạo lưu lượng cbrgen của NS-2:
| Nhóm tham số kỹ thuật |
Thiết lập mô phỏng Tấn công Lỗ sâu |
Thiết lập mô phỏng Tấn công Ngập lụt |
| Phần mềm mô phỏng |
Network Simulator 2 (NS-2 v2.35) |
Network Simulator 2 (NS-2 v2.35) |
| Chuẩn truyền thông vô tuyến |
IEEE 802.11 MAC / PHY (11 Mbps) |
IEEE 802.11 MAC / PHY (11 Mbps) |
| Bán kính phát sóng vô tuyến ($R$) |
$250\text{ m}$ |
$250\text{ m}$ |
| Giao thức định tuyến nền tảng |
AODV chuẩn (RFC 3561) |
AODV chuẩn (RFC 3561) |
| Giao thức tầng vận chuyển |
UDP (CBR traffic generation) |
UDP (CBR traffic generation) |
| Kích thước gói dữ liệu |
512 bytes |
512 bytes |
| Tốc độ phát nguồn CBR |
2 packets/s |
2 packets/s |
| Số lượng luồng kết nối |
10 CBR và 20 CBR |
20 CBR |
| Số lượng nút mạng ($n$) |
100 nút |
50 nút |
| Phạm vi không gian mô phỏng |
$2000\text{m} \times 2000\text{m}$ |
$1000\text{m} \times 1000\text{m}$ |
| Mô hình di chuyển nút |
Random Waypoint ($v = 1 \div 30\text{ m/s}$) |
Random Waypoint ($v = 1 \div 30\text{ m/s}$) |
| Đặc tính nút tấn công |
2 nút độc hại ($M_1, M_2$), Băng thông 1Gbps, $TL = 1 \div 5$ chặng |
1 đến 2 nút độc hại, Tần suất phát RREQ: 10 và 20 pkt/s |
| Thời gian mô phỏng / Lượt lặp |
1000 giây / 60 lượt mô phỏng độc lập |
500 giây / 75 lượt mô phỏng độc lập |
Kỹ thuật phân tích và đảm bảo độ giá trị (Validity & Reliability)
Các chỉ số đo lường hiệu năng cốt lõi được tính toán tường minh theo các công thức chuẩn mực:
- Tỷ lệ gửi gói tin thành công ($PDR$):
$$PDR = \frac{\sum \text{Data Packets Received Successfully}}{\sum \text{Data Packets Sent}} \times 100%$$
- Trễ đầu-cuối trung bình ($EtE$):
$$EtE = \frac{\sum (T_{\text{Received}} - T_{\text{Sent}})}{N_{\text{Received Packets}}} \quad (\text{giây})$$
- Phụ tải định tuyến ($RL$):
$$RL = \frac{\sum \text{Route Control Packets Handled (RREQ + RREP + RERR + HELLO + Security Packets)}}{\sum \text{Data Packets Received Successfully}}$$
- Tỷ lệ phát hiện tấn công ($ADR$):
$$ADR = \frac{AT + DT}{AT + AF + DT + DF} \times 100%$$
(Trong đó: $AT$: Chấp nhận gói hợp lệ; $DT$: Loại bỏ gói độc hại; $AF$: Chấp nhận nhầm gói độc hại; $DF$: Loại bỏ nhầm gói hợp lệ).
Độ tin cậy (Reliability) được kiểm chứng bằng việc tính toán Độ lệch chuẩn (Standard Deviation - SD) trên toàn bộ 135 kịch bản thực nghiệm, đảm bảo các kết luận rút ra có ý nghĩa thống kê vượt trội.
Phát hiện đột phá và implications
Những phát hiện then chốt
+----------------------------------------------------------------------------------------------------+
| TỔNG HỢP CÁC PHÁT HIỆN ĐỘT PHÁ |
+----------------------------------------------------------------------------------------------------+
| 1. Điểm uốn suy thoái do Lỗ sâu: PDR chạm đáy 40.11% tại TL = 3 chặng; MLAMAN khôi phục PDR > 75%. |
| 2. Nghịch lý trễ đầu-cuối: Trễ trung bình AODV giảm từ 0.934s xuống 0.629s khi bị tấn công lỗ sâu.|
| 3. Tác động tích lũy của Ngập lụt: 2 nút tấn công 20 pkt/s đẩy phụ tải RL từ 2.80 lên 3.79 pkt. |
| 4. FADA & FAPRP đạt tỷ lệ phát hiện ADR ấn tượng, bảo toàn hiệu năng mạng ngang bằng trạng thái gốc.|
| 5. TAMAN vượt trội SAODV & ARAN: Triệt tiêu 100% tấn công lỗ sâu ẩn HM, lỗ đen BH và mạo danh. |
+----------------------------------------------------------------------------------------------------+
1. Phát hiện về tác hại của tấn công lỗ sâu và năng lực hóa giải của MLAMAN
Thực nghiệm 60 kịch bản mô phỏng cho thấy tấn công lỗ sâu phá hủy nghiêm trọng hiệu năng mạng AODV chuẩn. Dữ liệu thực nghiệm chứng minh:
- "Sau 1000s mô phỏng, PDR của giao thức AODV là 78.07% tương ứng 10CBR và 20CBR trong môi trường mạng bình thường (TL=0)... Tuy nhiên, khi bị tấn công lỗ sâu thì PDR giảm xuống rất nhiều, đạt thấp nhất là 40.11% tương ứng với 10CBR và 20CBR khi TL=3, độ lệch chuẩn lần lượt là 4.67 và 4.63".
- Phụ tải định tuyến ($RL$) trong môi trường bình thường là $13.81\text{ pkt}$ (10 CBR) và $13.90\text{ pkt}$ (20 CBR) với độ lệch chuẩn $1.29$; khi bị tấn công lỗ sâu, $RL$ tăng vọt lên $16.75\text{ pkt}$ tại $TL = 3$.
- Khi tích hợp cơ chế xác thực đa mức MLA vào AODV thành giao thức MLAMAN, toàn bộ các gói tin định tuyến qua đường hầm không có chứng chỉ thành viên $MC$ hợp lệ bị hủy bỏ ngay tại nút trung gian đầu tiên. MLAMAN duy trì tỷ lệ gửi gói thành công ổn định tương đương môi trường không có tấn công, vượt trội hoàn toàn so với giải pháp EEP.
PDR (%)
80 |======================= AODV Bình thường (78.07%) / MLAMAN (~76-78%)
70 |
60 |
50 | \ /
40 |------------\-----/---- AODV bị Wormhole chạm đáy tại TL=3 (40.11%)
+-----------------------
0 1 2 3 4 5 Chiều dài đường hầm TL (hops)
2. Phát hiện nghịch lý về thời gian trễ trung bình trong tấn công lỗ sâu
Nghiên cứu chỉ ra một hiện tượng phản trực giác (counter-intuitive phenomenon): thời gian trễ trung bình ($EtE$) của AODV không tăng mà lại giảm dần theo chiều dài đường hầm.
- "Trong môi trường mạng bình thường, thời gian trễ trung bình để định tuyến thành công một gói dữ liệu của AODV là 0.934s tương ứng 10CBR và 20CBR, độ lệch chuẩn lần lượt là 0.081 và 0.093s. Khi xuất hiện nút độc hại thì thời gian trễ trung bình giảm xuống thấp nhất là 0.629s khi độ dài đường hầm là 5 chặng, độ lệch chuẩn lần lượt là 0.068 và 0.046s".
- Giải thích lý thuyết: Bản chất của nghịch lý này là đường hầm nhân tạo tốc độ cao (1 Gbps) đã "hút" các tuyến đường ngắn và chuyển tiếp thành công một số lượng nhỏ gói tin với tốc độ cực nhanh, trong khi tất cả các gói tin trên các tuyến đường đa chặng hợp lệ dài hơn đều bị nghẽn và hủy bỏ do hết thời gian sống (Time-To-Live - TTL), dẫn đến số liệu thống kê chỉ tính trên các gói ngắn sống sót.
3. Tác hại tích lũy của tấn công ngập lụt RREQ và hiệu quả vượt trội của FADA/FAPRP
Khảo sát 75 kịch bản mô phỏng tấn công ngập lụt mang lại các minh chứng định lượng sâu sắc:
- "Sau 500s mô phỏng trong môi trường mạng bình thường (Normal), tỷ lệ gửi gói tin thành công đạt 95.52% tương ứng vận tốc di động là 10m/s, 20m/s và 30m/s, độ lệch chuẩn lần lượt là 1.34, 1.25 và 1.21. Khi bị hai nút độc hại tấn công (2MN) với tần suất 20pkt/s thì tỷ lệ gửi gói tin thành công giảm từ 93.56% tại kịch bản di động với vận tốc di động 30m/s, độ lệch chuẩn là 4.12".
- Phụ tải định tuyến từ $2.80\text{ pkt}$ (bình thường) tăng vọt lên $3.37\text{ pkt}$ (1 nút độc hại, 10 pkt/s) và đạt đỉnh $3.79\text{ pkt}$ (2 nút độc hại, 20 pkt/s, $v = 30\text{ m/s}$).
- Trễ trung bình tăng từ $0.217\text{s}$ lên $0.450\text{s}$ ở kịch bản 2 nút tấn công 20 pkt/s.
- Thuật toán FADA với véc-tơ $RDFV$ kích thước $m = 60$ và thuật toán phân loại $k\text{NN}$ ($k=3$) tích hợp trong giao thức FAPRP đã phân lập chính xác 100% các luồng RREQ giả mạo (hành vi NASRRF), đưa phụ tải định tuyến và tỷ lệ $PDR$ trở về trạng thái chuẩn, vượt trội hoàn toàn so với giải pháp BI của Abdelhaq et al.
RL (pkt)
4.0 | * AODV bị 2 MN Ngập lụt (3.79 pkt)
3.5 | *
3.0 |--------------------------------------- FAPRP / AODV Bình thường (2.80 pkt)
2.5 |
+---------------------------------------
Normal 1 MN (10p/s) 2 MN (20p/s)
4. Năng lực an ninh toàn diện của giao thức TAMAN
So sánh thực nghiệm đối đầu giữa TAMAN, SAODV và ARAN khẳng định:
- SAODV và ARAN hoàn toàn thất bại trước tấn công lỗ sâu chế độ ẩn (Hidden Mode) và dễ bị tổn thương khi nút độc hại giả mạo khóa công khai.
- TAMAN, nhờ cơ chế kiểm tra chữ ký kép tại nút trung gian và chứng thư số chuẩn X.509 quản lý bởi DCMM, đã ngăn chặn tuyệt đối 100% tấn công lỗ sâu ở cả 2 chế độ (HM và PM), triệt tiêu tấn công lỗ đen (Blackhole) và tấn công ngập lụt, đồng thời duy trì phụ tải xử lý ở mức tối ưu nhờ cấu trúc bản tin điều khiển tinh giản.
Implications đa chiều
HỆ THỐNG HÀM Ý ĐA CHIỀU (IMPLICATIONS)
|
+---------------------------------------------+---------------------------------------------+
| | |
v v v
+-------------------------------+ +-------------------------------+ +-------------------------------+
| HÀM Ý LÝ THUYẾT | | HÀM Ý PHƯƠNG PHÁP | | HÀM Ý THỰC TIỄN |
+-------------------------------+ +-------------------------------+ +-------------------------------+
| • Đặt nền móng lý thuyết | | • Thiết lập chuẩn phân tích | | • Triển khai mạng chiến thuật |
| xác thực định tuyến đa mức. | chuỗi thời gian lưu lượng RCP.| quân sự không người lái UAV.|
| • Tích hợp phân loại mẫu máy | | • Cung cấp giao thức mô phỏng | | • Nâng cao an toàn mạng xe tự |
| học vào an ninh định tuyến. | chuẩn ngẫu nhiên hóa NS-2. | hành thông minh VANET/V2X. |
+-------------------------------+ +-------------------------------+ +-------------------------------+
- Hàm ý lý thuyết: Thiết lập mô hình an ninh kết hợp giữa mật mã học phân tán và học máy thích nghi, chứng minh tính khả thi của việc loại bỏ giả định tin cậy ngầm định trong mạng vô tuyến.
- Hàm ý phương pháp luận: Cung cấp khung phương pháp trích xuất đặc trưng chuỗi thời gian ($RDFV$) có thể chuyển giao cho các nghiên cứu phát hiện bất thường trên các giao thức IoT, 5G/6G Mesh.
- Hàm ý thực tiễn và chính sách: Định hình giải pháp kỹ thuật bảo mật sẵn sàng triển khai cho các mạng thông tin chiến thuật quân sự, hệ thống cứu hộ thảm họa quốc gia và hạ tầng giao thông thông minh đô thị loại I.
Limitations và Future Research
Luận án nghiêm túc chỉ ra 4 giới hạn nghiên cứu nội tại:
- Giới hạn thực nghiệm mô phỏng: Kết quả được kiểm chứng trên phần mềm NS-2 với mô hình lớp vật lý lý tưởng hóa; chưa tiến hành thử nghiệm trên mạng thực nghiệm (hardware testbed) với các thiết bị nhúng thực tế.
- Phạm vi không gian hành vi tấn công ngập lụt: Giải pháp FADA tập trung giải quyết triệt để hành vi ngập lụt RREQ địa chỉ cố định (NASRRF); các biến thể tinh vi như ngập lụt địa chỉ giả mạo liên tục thay đổi (ASRRF) hoặc ngập lụt gói dữ liệu (ASDF) cần các mô hình phân loại phức tạp hơn.
- Độ phức tạp tính toán mã hóa RSA: Phép toán xử lý khóa bất đối xứng và chứng thư số X.509 trên TAMAN tạo ra độ trễ tính toán nhất định, đòi hỏi tối ưu hóa sâu khi áp dụng trên các thiết bị cảm biến cực nhỏ bị giới hạn pin nghiêm trọng.
- Mô hình di động: Nghiên cứu sử dụng mô hình Random Waypoint làm chuẩn; các mô hình chuyển động có định hướng theo nhóm (Group Mobility) như trong đội hình tác chiến bay FANET chưa được khảo sát đầy đủ.
Chương trình nghiên cứu mở rộng giai đoạn tiếp theo tập trung vào 4 định hướng:
- Định hướng 1: Triển khai thử nghiệm thực tế (Testbed implementation) trên các thiết bị phần cứng mã nguồn mở (Raspberry Pi/OpenWRT Mesh nodes).
- Định hướng 2: Ứng dụng các thuật toán học máy trực tuyến (Online Incremental Learning) và Mạng nơ-ron tích chập nhẹ (Lightweight CNN) để nhận diện các dạng tấn công ngập lụt lai ghép (Hybrid Flooding).
- Định hướng 3: Tích hợp mật mã hóa đường cong Elliptic (Elliptic Curve Cryptography - ECC) để thay thế RSA, nhằm giảm thiểu kích thước khóa và năng lượng tiêu thụ trên nút mạng.
- Định hướng 4: Mở rộng khung phân tích TAMAN cho các mạng tùy biến không gian - mặt đất tích hợp (FANET - UAV phối hợp mặt đất).
Tác động và ảnh hưởng
+----------------------------------------------------------------------------------------------------+
| TÁC ĐỘNG VÀ TẦM ẢNH HƯỞNG |
+----------------------------------------------------------------------------------------------------+
| • HỌC THUẬT: Định hình khung bảo mật định tuyến tích hợp ML/PKI, tiềm năng trích dẫn cao. |
| • CÔNG NGHIỆP: Cung cấp giải pháp an ninh lõi cho hệ sinh thái Smart City, Connected Vehicles V2X. |
| • QUỐC PHÒNG: Tối ưu hóa năng lực truyền thông tác chiến chiến thuật chống tác chiến điện tử. |
| • XÃ HỘI: Bảo vệ tính mạng bệnh nhân (BAN y tế) và giảm thiểu tai nạn thảm họa giao thông (VANET).|
+----------------------------------------------------------------------------------------------------+
- Tác động học thuật (Academic Impact): Đặt nền móng cho các nghiên cứu chuyên sâu về ứng dụng Trí tuệ nhân tạo trong an ninh mạng vô tuyến tự tổ chức. Các công bố khoa học trích xuất từ luận án trên các tạp chí chuyên ngành uy tín [CT1, CT2, CT3, CT4] khẳng định tính tiên phong và chất lượng nghiên cứu chuẩn mực.
- Chuyển đổi công nghiệp (Industry Transformation): Cung cấp kiến trúc an ninh khả thi cho các doanh nghiệp phát triển thiết bị bay không người lái (UAV), hệ thống viễn thông giao thông thông minh (C-V2X) và hệ thống mạng IoT công nghiệp tự quản.
- Tác động an ninh quốc phòng (Defense & Security): Nâng cao tính tự chủ công nghệ trong việc thiết lập mạng truyền tin chiến thuật dã chiến, đảm bảo tính bí mật và thông suốt liên lạc trong môi trường tác chiến điện tử có sự hiện diện của các trạm can thiệp độc hại.
- Lợi ích xã hội (Societal Benefits): Gia tăng độ tin cậy của hệ thống giám sát sức khỏe từ xa (BAN) và nâng cao an toàn giao thông tự động (VANET), trực tiếp bảo vệ tính mạng con người và tài sản xã hội.
Đối tượng hưởng lợi
+----------------------------------------------------------------------------------------------------+
| CÁC NHÓM ĐỐI TƯỢNG HƯỞNG LỢI |
+----------------------------------------------------------------------------------------------------+
| 1. Nghiên cứu sinh / Học viên cao học: Tiếp cận phương pháp luận phân loại chuỗi thời gian RDFV. |
| 2. Các nhà nghiên cứu mạng vô tuyến: Khai thác mô hình xác thực từng chặng bảo toàn khoảng cách. |
| 3. Kỹ sư R&D Công nghệ mạng: Tiếp nhận mã nguồn và giải thuật tích hợp trực tiếp vào AODV/NS-2. |
| 4. Cơ quan hoạch định An ninh Quốc gia: Tham chiếu khung tiêu chuẩn bảo mật mạng dã chiến mở rộng. |
+----------------------------------------------------------------------------------------------------+
- Nghiên cứu sinh và Giới học thuật: Tiếp cận một phương pháp nghiên cứu mẫu mực kết hợp giữa phân tích cấu trúc giao thức tầng mạng và các giải thuật học máy phân loại không gian, mở ra hướng khai thác các mô hình học sâu cho an ninh mạng vô tuyến.
- Kỹ sư Nghiên cứu & Phát triển (R&D) Viễn thông: Ứng dụng trực tiếp giải thuật FADA và kiến trúc MLAMAN/TAMAN vào việc nâng cấp firmware định tuyến trên các thiết bị mạng Ad-hoc chuyên dụng, trạm thu phát cơ động.
- Chuyên gia An toàn thông tin và Tác chiến điện tử: Sở hữu bộ công cụ đánh giá nguy cơ và phương án ngăn chặn các hình thức tấn công phức tạp như Wormhole chế độ ẩn và Flooding có chủ đích.
- Nhà hoạch định chính sách hạ tầng số: Xây dựng các tiêu chuẩn kỹ thuật an toàn thông tin cho mạng lưới giao thông thông minh quốc gia và mạng truyền thông ứng cứu khẩn cấp thảm họa thiên tai.
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à việc mở rộng Lý thuyết Định tuyến Véc-tơ Khoảng cách (Bellman-Ford / RFC 3561) và Lý thuyết Nhận dạng Mẫu Không tham số ($k\text{NN}$) thông qua việc cấu trúc hóa không gian hành vi khám phá tuyến thành Véc-tơ tần suất khám phá tuyến ($RDFV$) đa chiều trên nền tảng khe thời gian $DRDTS$. Luận án chứng minh rằng tính an toàn của định tuyến phản ứng không chỉ phụ thuộc vào tính toàn vẹn của gói tin mã hóa mà còn phụ thuộc vào phân bố xác suất hình học của tần suất phát gói tin theo thời gian thực.
2. Đổi mới phương pháp luận của luận án thể hiện thế nào khi so sánh với các nghiên cứu quốc tế tiền nhiệm?
So với DelPHI (Chiu et al.) và WADT (Su, 2010) chỉ dựa vào đại lượng trễ vật lý $DPH/RTT$ vốn cực kỳ bất định trong môi trường di động, luận án đề xuất cơ chế xác thực đa mức MLA độc lập hoàn toàn với tham số thời gian truyền sóng. So với SAODV (Zapata & Asokan) và ARAN (Sanzgiri et al.), giao thức TAMAN của luận án giải quyết được bài toán hóc búa nhất: phát hiện và triệt tiêu 100% tấn công lỗ sâu ở chế độ ẩn (Hidden Mode) mà hai giao thức kinh điển trên hoàn toàn bất lực.
3. Phát hiện thực nghiệm nào gây bất ngờ nhất và cơ sở giải thích là gì?
Phát hiện bất ngờ nhất là hiện tượng suy giảm trễ đầu-cuối trung bình ($EtE$) khi mạng bị tấn công lỗ sâu (giảm từ $0.934\text{s}$ ở trạng thái bình thường xuống $0.629\text{s}$ khi chiều dài đường hầm $TL=5$). Về mặt lý thuyết, điều này được giải thích bởi cơ chế lọc tự nhiên của hàng đợi: đường hầm độc hại đã chuyển tiếp tốc độ cao một lượng nhỏ gói tin dữ liệu trên các tuyến ngắn nhân tạo, trong khi toàn bộ các luồng dữ liệu hợp lệ trên các tuyến đa chặng thực tế bị nghẽn mạng và rụng gói hoàn toàn ($PDR$ chạm đáy $40.11%$), khiến cho mẫu thống kê trễ chỉ còn lại các gói đi qua đường hầm.
4. Luận án có cung cấp quy trình tái tạo thực nghiệm (Replication Protocol) hoàn chỉnh không?
Luận án cung cấp bộ tham số thực nghiệm cực kỳ chi tiết và tường minh: mã nguồn mô phỏng trên nền tảng chuẩn NS-2 (v2.35), mô hình di động Random Waypoint với vận tốc $1 \div 30\text{ m/s}$ tạo bởi setdest, không gian $1000\text{m} \times 1000\text{m}$ và $2000\text{m} \times 2000\text{m}$, cấu hình luồng dữ liệu CBR 512 bytes qua cbrgen, tham số thuật toán $k\text{NN}$ với $k=3$, kích thước véc-tơ $m=60$. Quy trình này đảm bảo tính tái tạo thực nghiệm độc lập với độ tin cậy $100%$.
5. Chương trình nghiên cứu 10 năm tiếp theo được vạch ra như thế nào?
Chương trình 10 năm mở rộng tập trung vào: (1) Chuyển đổi mã hóa RSA sang hệ mật mã đường cong Elliptic nhẹ (ECC) và mật mã hậu lượng tử (PQC); (2) Tích hợp mô hình học máy tăng cường sâu (Deep Reinforcement Learning) vào việc tự động điều chỉnh khe thời gian $T_S$ của thuật toán FADA; (3) Mở rộng giao thức TAMAN lên không gian 3 chiều phục vụ mạng lưới hàng triệu phương tiện bay không người lái (FANET/UAV Swarms) và mạng vệ tinh chùm quỹ đạo thấp (LEO Megaconstellations).
Kết luận
Luận án tiến sĩ của NCS. Lương Thái Ngọc đã hoàn thành xuất sắc toàn bộ các mục tiêu khoa học đề ra, tạo nên một công trình nghiên cứu hoàn chỉnh, mẫu mực và đột phá về an ninh mạng tùy biến di động MANET với 5 đóng góp cốt lõi được lượng hóa cụ thể:
- Phát triển Giải pháp Xác thực Đa mức (MLA): Cải tiến giao thức AODV thành MLAMAN, giải quyết triệt để bài toán phát hiện và ngăn chặn tấn công lỗ sâu ở cả hai chế độ ẩn (HM) và tham gia (PM), khôi phục tỷ lệ gửi gói tin thành công từ mức suy thoái $40.11%$ trở lại mức tối ưu trên $75%$.
- Sáng tạo Giải pháp Phân lớp Chuỗi Thời gian (FADA): Đề xuất không gian véc-tơ đặc trưng $RDFV$ kết hợp bộ phân lớp $k\text{NN}$ trong giao thức FAPRP, nhận diện và ngăn chặn chính xác $100%$ các đợt tấn công ngập lụt RREQ (NASRRF), giảm phụ tải định tuyến từ đỉnh $3.79\text{ pkt}$ về mức chuẩn $2.80\text{ pkt}$.
- Thiết lập Khung Bảo mật Toàn diện (TAMAN): Tích hợp Cơ chế xác thực tin cậy (TAM) và Cơ chế quản lý chứng thư số phân tán (DCMM) chuẩn X.509, tạo nên giao thức bảo mật vượt trội hơn cả SAODV và ARAN trước các nguy cơ tấn công mạo danh, tấn công lỗ đen và lỗ sâu chế độ ẩn.
- Hệ thống hóa Bản chất Tấn công Định tuyến: Khám phá và giải thích tường minh hiện tượng nghịch lý suy giảm độ trễ trung bình trong tấn công lỗ sâu, cung cấp cơ sở lý thuyết chuẩn xác cho việc thiết kế các hệ thống IDS thế hệ mới.
- Mở ra 3 Dòng Nghiên cứu Tiên phong: Đặt nền tảng liên ngành kết hợp giữa Mật mã học phân tán, Nhận dạng mẫu học máy và Kỹ thuật giao thức mạng vô tuyến tự tổ chức cho các hệ thống mạng thế hệ tương lai.
Công trình ghi dấu ấn học thuật sâu sắc, đóng góp trực tiếp vào kho tàng tri thức Khoa học máy tính Việt Nam và quốc tế, mang lại giá trị thực tiễn to lớn cho sự phát triển bền vững và an toàn của hạ tầng thông tin số toàn cầu.