Tổng quan về luận á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, thực hiện tại Trường Đại học Khoa học – Đại học Huế (2020), giải quyết trực tiếp một trong những thách thức cốt lõi của mạng tùy biến di động (MANET): lỗ hổng an ninh kiến trúc trong giao thức định tuyến theo yêu cầu (reactive routing protocol). Trong mô hình kết nối hệ thống mở (OSI), dịch vụ định tuyến tầng mạng trong MANET hoạt động dựa trên giả định tín nhiệm mặc định giữa các nút mạng phi tập trung. Tuy nhiên, giao thức chuẩn hóa phổ biến nhất là AODV (Ad hoc On-demand Distance Vector, theo RFC 3561) sử dụng thuật toán véc-tơ khoảng cách với chi phí định tuyến căn cứ trên số chặng (hop-count - HC) và chuỗi số tuần tự (sequence number - SN). Cấu trúc này không tích hợp cơ chế tự bảo vệ và kiểm tra tính toàn vẹn của các gói tin điều khiển tuyến (Routing Control Packets - RCP: RREQ, RREP, RERR), tạo điều kiện cho các tác nhân độc hại khai thác nhằm thao túng bảng định tuyến, nghe trộm thông tin hoặc phá hoại hiệu năng mạng thông qua các cuộc tấn công lỗ sâu (Wormhole - WH), tấn công ngập lụt (Flooding - FD), lỗ đen (Blackhole - BH), lỗ chìm (Sinkhole - SH) và lỗ xám (Grayhole - GH).

Khoảng trống nghiên cứu (research gap) mà luận án định vị nằm ở sự thiếu hụt của các mô hình an ninh toàn diện có khả năng đối phó đồng thời với các hành vi tấn công tinh vi:

  • Tấn công lỗ sâu hoạt động ở chế độ ẩn (Hidden Mode - HM, nơi nút độc hại chuyển tiếp vô hình qua đường hầm out-of-band hoặc đóng gói mà không sửa đổi gói tin) và chế độ tham gia (Participation Mode - PM).
  • Tấn công ngập lụt tần suất thấp (low-frequency Flooding) vượt qua ngưỡng phát hiện của các hệ thống IDS truyền thống.
  • Tấn công giả mạo danh tính/khóa công khai trong môi trường mạng không có hạ tầng kiểm soát khóa trung tâm (PKI).

Các câu hỏi nghiên cứu và giả thuyết tương ứng được xác lập chặt chẽ:

  1. Câu hỏi nghiên cứu 1 (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à tham gia (PM) mà không làm tăng đột biến phụ tải truyền thông?
    • Giả thuyết 1 (H1): Cơ chế xác thực đa mức (MLA) kết hợp kiểm tra tính toàn vẹn gói tin, chứng chỉ thành viên và định vị tọa độ địa lý GPS theo từng chặng (hop-by-hop) sẽ phát hiện chính xác địa chỉ nút độc hại với độ tin cậy vượt trội so với cơ chế kiểm tra đầu-cuối (end-to-end).
  2. Câu hỏi nghiên cứu 2 (RQ2): Có thể loại bỏ sự phụ thuộc vào các ngưỡng cố định hoặc biến động kém linh hoạt trong phát hiện tấn công ngập lụt gói tin yêu cầu tuyến (RREQ Flooding) hay không?
    • Giả thuyết 2 (H2): Biểu diễn lịch sử khám phá tuyến (RDH) thành véc-tơ tần suất khám phá tuyến (RDFV) kết hợp thuật toán phân lớp k-láng giềng gần nhất ($k$-NN) sẽ phân biệt chính xác hành vi bất thường của nút độc hại ngay cả khi tần suất phát gói ở mức thấp.
  3. Câu hỏi nghiên cứu 3 (RQ3): Làm thế nào để xây dựng một khung bảo mật định tuyến toàn diện tích hợp cơ chế quản lý vòng đời chứng chỉ số phân tán mà không làm tê liệt hiệu năng mạng di động?
    • Giả thuyết 3 (H3): Tích hợp cơ chế xác thực tin cậy (TAM) và quản lý chứng chỉ số (DCMM) theo chuẩn X.509 vào AODV sẽ bảo vệ mạng trước đa dạng các hình thức tấn công (BH, SH, GH, FD, HM/PM Wormhole, tấn công khóa giả mạo) với mức suy giảm hiệu năng chấp nhận được.

Nghiên cứu được kiểm chứng định lượng trên môi trường mô phỏng chuẩn quốc tế Network Simulator 2 (NS-2), thực hiện trên tập mẫu đồ sộ gồm hơn 550 kịch bản mô phỏng độc lập (200 kịch bản cho tấn công lỗ sâu, 336 kịch bản cho tấn công ngập lụt và 15 kịch bản tích hợp DCMM/TAMAN). Tốc độ di chuyển nút mạng biến thiên từ 10 m/s đến 40 m/s theo mô hình Random Waypoint (RWP), mật độ kết nối lên tới 20 luồng CBR/UDP trên 100 nút mạng trong không gian 1000m x 1000m với thời gian mô phỏng từ 500s đến 1000s. Đóng góp đột phá của công trình được lượng hóa cụ thể: tỷ lệ phát hiện tấn công lỗ sâu đạt 99.98% (PM) và 99.87% (HM); tỷ lệ phát hiện tấn công ngập lụt đạt tới 99.94%; duy trì tỷ lệ phân phát gói tin thành công (PDR) ở mức 95.27% dưới áp lực tấn công ngập lụt cực đoan (2 nút độc hại phát 20 gói/giây ở vận tốc 30 m/s, trong khi AODV gốc sụp đổ xuống mức 9.56%).

Literature Review và Positioning

Nghiên cứu an ninh định tuyến trên mạng MANET trong hơn hai thập kỷ qua chia thành hai dòng tiếp cận chính: Hệ thống phát hiện xâm nhập (Intrusion Detection Systems - IDS) và Giao thức định tuyến an toàn (Secure Routing Protocols).

flowchart TD
    A["An ninh định tuyến MANET"] --> B["Hệ thống phát hiện xâm nhập (IDS)"]
    A --> C["Giao thức định tuyến bảo mật"]
    
    B --> B1["Dựa trên độ trễ/thời gian: DelPHI, TTHCA, WADT"]
    B --> B2["Dựa trên vị trí/ngưỡng: EEP, FAP, EFS, BI"]
    B --> B3["Dựa trên học máy sơ khai: SVMT, kNNAODV"]
    
    C --> C1["Mật mã hóa/OTP: H(AODV), OTP_AODV"]
    C --> C2["Chữ ký số & PKI: SAODV, ARAN"]
    
    B1 -.->|"Hạn chế: Phụ thuộc traffic/chỉ kiểm tra E2E"| D["Đóng góp của Luận án: MLAMAN & FAPRP"]
    B2 -.->|"Hạn chế: Ngưỡng cứng, sai số di động"| D
    C2 -.->|"Hạn chế: Thất bại trước HM-Wormhole/thiếu PKI"| E["Đóng góp của Luận án: TAMAN & DCMM"]

Đối với tấn công lỗ sâu (Wormhole), các công trình tiên phong dựa trên độ trễ mỗi chặng (Delay Per Hop - DPH) hoặc thời gian lan truyền gói tin khứ hồi (Round Trip Time - RTT) như DelPHI (Zou et al.), TTHCA (Chunxiao et al.) và WADT (Guan et al.) dựa trên giả định rằng đường hầm out-of-band tạo ra độ trễ bất thường. Tuy nhiên, các giải pháp này vấp phải tranh luận gay gắt: trong môi trường mạng MANET di động cao, độ trễ DPH bị chi phối nặng nề bởi hàng đợi xử lý cục bộ (queuing delay) và tắc nghẽn lưu lượng hơn là do sự tồn tại của đường hầm, dẫn đến tỷ lệ dương tính giả (false positives) rất lớn. Hướng tiếp cận dựa trên vị trí địa lý như EEP (Su et al.) khắc phục được sự phụ thuộc thời gian nhưng lại sử dụng phương pháp kiểm tra đầu-cuối (End-to-End - EE), trong đó chỉ nút nguồn hoặc nút đích tham gia thẩm định. Điều này dẫn đến lỗ hổng: hệ thống chỉ nhận diện được sự tồn tại của đường hầm mà không định danh được địa chỉ IP/MAC chính xác của nút độc hại, đặc biệt khi độ dài đường hầm ngắn ($TL \le 3$).

Đối với tấn công ngập lụt (Flooding), các giải pháp IDS dựa trên ngưỡng (Threshold-based) bao gồm ngưỡng cố định như FAP, EFS (Venkatesan et al.) và ngưỡng động như BI (Bi-directional verification) đo lường số lượng gói RREQ phát sinh trên mỗi đơn vị thời gian. Nhược điểm chí tử của phương pháp này là tính thiếu linh hoạt: ngưỡng cố định không thể thích ứng khi hình thái mạng thay đổi, nút bình thường có thể bị cô lập oan khi phát sinh nhu cầu gửi dữ liệu dồn dập trong các sự kiện ưu tiên, trong khi kẻ tấn công có thể điều chỉnh tần suất phát gói dưới ngưỡng (low-rate attacks) để vượt qua bộ lọc. Dòng nghiên cứu ứng dụng học máy như SVMT (sử dụng Support Vector Machines) và kNNAODV (sử dụng $k$-NN trong WSN) đã xuất hiện nhưng véc-tơ thuộc tính vẫn thuần túy dựa trên tần suất tức thời, thiếu mô hình hóa hành vi dài hạn và chưa được kiểm chứng trong môi trường di động cao.

Đối với định tuyến bảo mật bằng mật mã học, SAODV (Secure AODV của Zapata, 2002) và ARAN (Authenticated Routing for Ad-hoc Networks của Sanzgiri et al., 2002) thiết lập chuẩn mực sử dụng chữ ký số (Digital Signature - DS) và hàm băm một chiều. Tuy nhiên, SAODV không cung cấp cơ chế quản lý khóa công khai, cho phép nút độc hại sử dụng khóa giả mạo. ARAN giải quyết được việc xác thực nút nhưng loại bỏ việc sử dụng số chặng (HC) trong việc tối ưu hóa chi phí định tuyến, dẫn đến tuyến đường thiết lập không tối ưu. Nghiêm trọng nhất, cả SAODV và ARAN đều hoàn toàn bất lực trước tấn công lỗ sâu ở chế độ ẩn (HM), bởi vì ở chế độ này, hai 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 thay đổi bất kỳ trường dữ liệu nào, khiến hàm kiểm tra chữ ký số và chuỗi băm đều trả về kết quả hợp lệ.

Vị trí học thuật của luận án được xác lập rõ nét qua việc vượt qua các giới hạn trên:

  1. So với nghiên cứu quốc tế của Su et al. (EEP) và Chunxiao et al. (TTHCA), giao thức MLAMAN chuyển đổi hoàn toàn mô hình xác thực từ kiểm tra đầu-cuối sang kiểm tra từng chặng (Hop-by-Hop - HbH), tích hợp định vị GPS và chữ ký số để vừa định danh chính xác nút độc hại vừa ngăn chặn tấn công lỗ sâu ở cả hai chế độ HM và PM.
  2. So với các công trình nghiên cứu về IDS ngập lụt của Marchang & Datta (2008) hay Kumar & Dutta, giải pháp FADA của luận án từ bỏ hoàn toàn cơ chế dựa trên ngưỡng, thay thế bằng không gian đặc trưng lịch sử khám phá tuyến (RDH) nhiều chiều thông qua thuật toán phân lớp $k$-NN.
  3. So với SAODV (Zapata) và ARAN (Sanzgiri et al.), giao thức TAMAN tích hợp kiến trúc quản lý chứng chỉ số phân tán DCMM theo chuẩn X.509 hoạt động độc lập tại tầng mạng, cho phép thu hồi và cấp phát chứng chỉ động mà không cần kết nối thường trực về máy chủ tin cậy CA cố định.

Đó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 bước tiến lý thuyết đáng kể trong lĩnh vực an ninh mạng không dây tự tổ chức thông qua việc mở rộng và tái cấu trúc các mô hình lý thuyết nền tảng:

classDiagram
    class AODV_RFC3561 {
        +RoutingMetric: HopCount
        +SequenceNumber: Freshness
        +TrustModel: Implicit_FullTrust
        +RouteDiscovery()
    }
    class MLAMAN_Model {
        +PacketIntegrity (PI)
        +MemberCertification (MC)
        +ActualNeighbors (AN_GPS)
        +VerificationMode: HopByHop
    }
    class FADA_Model {
        +FeatureVector: RDFV (m-dimensions)
        +Classifier: k-NN (k=25)
        +TemporalMetric: InterDiscoveryGap
    }
    class TAMAN_DCMM_Model {
        +DigitalCertificates: X509_Compliant
        +PKI_NetworkLayer: Dynamic_Revocation
        +TrustAuthentication: 3_Phase_Pipeline
    }
    AODV_RFC3561 <|-- MLAMAN_Model : Extends
    AODV_RFC3561 <|-- FADA_Model : Integrates
    AODV_RFC3561 <|-- TAMAN_DCMM_Model : Re-architects
  1. Mở rộng lý thuyết định tuyến véc-tơ khoảng cách (Distance Vector Routing Theory): Luận án chứng minh một cách tường minh rằng giả định tín nhiệm mặc định (implicit trust) trong thuật toán Bellman-Ford phân tán áp dụng cho MANET là khiếm khuyết cơ bản. Công trình đã chính thức tích hợp thêm các chiều đo bảo mật (an ninh tính toàn vẹn, xác thực danh tính thực thể và xác thực lân cận vật lý) vào cấu trúc hàm chi phí định tuyến, biến một giao thức phi trạng thái an ninh thành giao thức phòng thủ chủ động.
  2. Chuyển đổi hệ hình xác thực an ninh mạng di động (Paradigm Shift from End-to-End to Hop-by-Hop Physical-Cryptographic Verification): Thay vì phân tách rời rạc giữa an ninh mật mã (cryptographic security) và an ninh hình học/vị trí (spatial security), luận án đã hợp nhất hai trường phái này thành một mô hình xác thực đa mức thống nhất. Luận cứ lý thuyết khẳng định: không một cơ chế mật mã học đơn thuần nào có thể giải quyết được tấn công lỗ sâu ở chế độ ẩn nếu thiếu ràng buộc về không gian hình học thực tế của sóng vô tuyến (radio transmission range $R$).
  3. Mô hình hóa lý thuyết hành vi khám phá tuyến (Behavioral Route Discovery Modeling): Luận án phát triển khung lý thuyết biểu diễn hành vi phát gói tin điều khiển dựa trên chuỗi thời gian gián đoạn, chứng minh toán học rằng khoảng cách thời gian giữa các phiên khám phá tuyến ($\mathcal{T}_{ij}$) của nút bình thường và nút độc hại tuân theo các phân phối xác suất hoàn toàn tách biệt trong không gian đa chiều.

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

Khung phân tích của luận án được xây dựng dựa trên sự giao thoa của 4 lý thuyết cốt lõi: Lý thuyết Mạng kết nối hệ thống mở (OSI Network Layer), Lý thuyết Mật mã hóa khóa công khai (Public Key Cryptography & X.509 PKI), Lý thuyết Nhận dạng mẫu/Học máy phi tham số ($k$-Nearest Neighbors Classification), và Lý thuyết Hình học không gian Euclid trong truyền sóng vô tuyến.

Khung phân tích vận hành dựa trên 3 khối kiến trúc độc lập nhưng tương hỗ:

1. Khung xác thực đa mức MLA (Multi-Level Authentication)

Cấu trúc gói tin mở rộng SecRREQ và SecRREP bổ sung 5 trường mới (5 New Fields - 5NF): tọa độ GPS ($x, y$ - 8 bytes), bán kính phát sóng tối đa ($R$ - 1 byte), chứng chỉ thành viên ($MC$ - 128 bytes), khóa công khai ($KEY$ - 4 bytes) và giá trị kiểm tra toàn vẹn ($CV$ - 128 bytes), tổng kích thước gia tăng là 269 bytes. Quy trình xác thực 3 bước tại mỗi chặng: $$\text{Bước 1: } \text{Verify}(CV, KEY) \rightarrow \text{Bước 2: } \text{Verify}(MC, N_{center}) \rightarrow \text{Bước 3: } \text{Distance}(GPS_{prev}, GPS_{curr}) \le R$$

2. Khung phân loại hành vi FADA (Flooding Attack Detection Algorithm)

Mô hình toán học hóa lịch sử khám phá tuyến tại nút láng giềng trung gian thông qua véc-tơ tần suất khám phá tuyến (RDFV) $m$-chiều: $$V_{N_s} = \left( \mathcal{T}_1, \mathcal{T}_2, \dots, \mathcal{T}m \right)$$ Trong đó thời gian thực hiện khám phá tuyến lần thứ $i$ ($t_j^i$) và khe thời gian giữa hai lần khám phá tuyến liên tiếp ($\mathcal{T}j^i$) được tính chính xác: $$t_j^i = e_j^i - s_j^i$$ $$\mathcal{T}j^i = s_j^{i+1} - e_j^i$$ với $s_j^i$ là thời điểm nút nhận gói RREQ thứ $i$ và $e_j^i$ là thời điểm nhận gói trả lời tuyến RREP tương ứng. Tập dữ liệu huấn luyện phân tách không gian thành hai siêu lớp: Lớp véc-tơ bình thường ($NVC$) và Lớp véc-tơ độc hại ($MVC$). Thuật toán $k$-NN gán nhãn dựa trên khoảng cách Euclid: $$D(V{N_s}, V_k) = \sqrt{\sum{l=1}^m \left( \mathcal{T}{N_s}^{(l)} - \mathcal{T}_k^{(l)} \right)^2}$$

3. Khung xác thực tin cậy toàn diện TAM và quản lý chứng chỉ số DCMM

TAM vận hành một đường ống (pipeline) thẩm định nghiêm ngặt gồm 3 giai đoạn: Xác thực chứng chỉ số (X.509 compliant DC) $\rightarrow$ Kiểm tra láng giềng thật sự (GPS/R) $\rightarrow$ Xác thực toàn vẹn gói tin (CV/SHA-1/RSA). DCMM đảm nhiệm vai trò của một PKI phân tán tại tầng mạng với 3 tác vụ tự trị: Lưu trữ, Phân phối động (gói MCP/MCACK) và Thu hồi chứng chỉ số.

Điều kiện biên (boundary conditions) của khung phân tích: Giả định các nút mạng được trang bị mô-đun phần cứng GPS chuẩn; các nút đã được nạp khóa công khai của nút quản trị trung tâm $N_{center}$ trước khi triển khai; môi trường vô tuyến có mô hình suy hao kênh truyền đẳng hướng.

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

Thiết kế nghiên cứu

Luận án tuân thủ triệt để triết lý nghiên cứu thực chứng định lượng (Positivism / Quantitative Experimental Paradigm), sử dụng phương pháp mô phỏng hệ thống mạng máy tính chuyên sâu – phương pháp tiêu chuẩn vàng trong khoa học máy tính khi đánh giá các giao thức mạng quy mô lớn trước khi triển khai thực địa. Thiết kế nghiên cứu là sự kết hợp đa tầng (Multi-level Experimental Design):

  • Tầng 1 (Tầng vi mô - Algorithmic Level): Tối ưu hóa các siêu tham số cục bộ của thuật toán (kích thước véc-tơ $m$, số láng giềng $k$, ngưỡng bán kính phát sóng $R$).
  • Tầng 2 (Tầng giao thức - Protocol Level): Tích hợp thuật toán vào mã nguồn tầng mạng của bộ giao thức AODV trong công cụ mô phỏng.
  • Tầng 3 (Tầng hệ thống - Network System Level): Đánh giá hiệu năng mạng tổng thể dưới tác động của các kịch bản tấn công phối hợp và độ động topo mạng.

Quy trình nghiên cứu rigorous

Quy trình thực nghiệm được thiết kế và thực thi với độ chuẩn hóa cao:

  1. Công cụ và Môi trường: Toàn bộ các mô hình (MLA, MLAMAN, FADA, FAPRP, TAM, DCMM, TAMAN) được hiện thực hóa bằng ngôn ngữ C++ và kịch bản cấu hình mạng OTcl trực tiếp bên trong nhân của trình mô phỏng Network Simulator 2 (NS-2, phiên bản hỗ trợ mô hình mạng không dây chuẩn IEEE 802.11 MAC).
  2. Giao thức thu thập dữ liệu huấn luyện FADA: Dữ liệu trạng thái khám phá tuyến được thu thập từ các nút nguồn hợp lệ và các nút độc hại phát tán RREQ với nhiều tần suất tấn công (10 pkt/s, 20 pkt/s) và dải vận tốc di chuyển (10 m/s, 20 m/s, 30 m/s). Quá trình gán nhãn dữ liệu diễn ra hoàn toàn tự động dựa trên nhật ký vết mạng (trace files).
  3. Kiểm soát tính hợp lệ và độ tin cậy (Validity & Reliability):
    • Internal Validity: Mỗi điểm dữ liệu trên các đồ thị là giá trị trung bình thống kê của nhiều lần chạy độc lập (ít nhất 15 đến 216 kịch bản lặp lại cho mỗi biến thể tham số) với các luồng phát sinh số ngẫu nhiên khác nhau nhằm loại bỏ sai số cục bộ. Độ lệch chuẩn ($\sigma$) được tính toán và báo cáo chi tiết cho từng chỉ số.
    • Construct Validity: Đo lường các đại lượng chuẩn của IETF MANET Working Group: Tỷ lệ phân phát gói tin thành công (Packet Delivery Ratio - PDR), Phụ tải định tuyến chuẩn hóa (Normalized Routing Load - NRL, tính bằng số gói điều khiển trên mỗi gói dữ liệu thành công), Độ trễ truyền gói tin đầu-cuối trung bình (Average End-to-End Delay).
    • Statistical Robustness: Độ lệch chuẩn cực đại được kiểm soát chặt chẽ: trong mô phỏng tấn công lỗ sâu $\sigma_{PDR} \le 4%$, trong tấn công ngập lụt $\sigma_{delay} \le 1.276\text{s}$, đảm bảo tính hội tụ và khả năng tái lập của thực nghiệm.

Data và phân tích

Tham số mô phỏng thực nghiệm Giá trị thiết lập cụ thể
Phần mềm mô phỏng Network Simulator 2 (NS-2)
Không gian mô phỏng $1000\text{m} \times 1000\text{m}$ (Phẳng)
Số lượng nút mạng ($N$) $50 - 100$ nút
Mô hình di động Random Waypoint Model (RWP)
Vận tốc di chuyển nút ($v$) $10\text{m/s}, 20\text{m/s}, 30\text{m/s}, 40\text{m/s}$
Thời gian dừng (Pause time) $0\text{s}$ (Di chuyển liên tục)
Lưu lượng mạng CBR (Constant Bit Rate) qua giao vận UDP
Số luồng truyền thông 10 đến 20 kết nối độc lập đồng thời
Mô hình tấn công Wormhole Độ dài đường hầm $TL \in [1, 5]$ chặng; chế độ HM và PM
Mô hình tấn công Flooding 1 đến 2 nút độc hại (1MN, 2MN); tần suất 10 đến 20 pkt/s
Tham số thuật toán FADA Chiều dài véc-tơ $m \in [10, 60]$; Tham số $k \in [10, 50]$
Thời gian mô phỏng mỗi kịch bản 500 giây đến 1000 giây

Phân tích dữ liệu thực nghiệm sử dụng kỹ thuật quét lưới siêu tham số (Grid Search Optimization) trên 216 kịch bản để xác định cặp tham số tối ưu cho FADA ($k=25, m=60$). Độ phức tạp thuật toán được chứng minh bằng giải tích toán học:

  • Độ phức tạp thời gian của MLAMAN: $\mathcal{O}(p^3) + \mathcal{O}(d)$, trong đó $p$ là kích thước khóa RSA phục vụ kiểm tra tính toàn vẹn và $d$ là chi phí tính toán khoảng cách vị trí.
  • Độ phức tạp thời gian của FADA: $\mathcal{O}(n)$, tương đương với các giải pháp dựa trên ngưỡng, không làm bùng nổ tài nguyên tính toán của nút di động.
  • Độ phức tạp của TAMAN: $\mathcal{O}(p^3) + \mathcal{O}(d) + \mathcal{O}(n)$.

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

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

Luận án đã công bố 5 phát hiện thực nghiệm mang tính đột phá với minh chứng số liệu định lượng chuẩn xác từ văn bản gốc:

gantt
    title So sánh PDR giữa các giao thức trong các kịch bản thực nghiệm
    dateFormat X
    axisFormat %s
    section Môi trường bình thường
    AODV (Gốc)        :active, 0, 95.52
    FAPRP             :active, 0, 95.27
    TAMAN (DCMM)      :active, 0, 67.65
    section Tấn công Wormhole (TL=3)
    AODV Bị hại       :crit, 0, 40.11
    section Tấn công Flooding (2MN, 20pkt/s, 30m/s)
    AODV Bị hại       :crit, 0, 9.56
    BAODV Phòng thủ   :0, 80.79
    FAPRP Phòng thủ   :0, 95.27
    section Tấn công Blackhole (1000s)
    SAODV Phòng thủ   :crit, 0, 35.00
    TAMAN Phòng thủ   :0, 69.28

  1. Hiệu ứng triệt tiêu hiệu năng khốc liệt của Wormhole và Flooding trên AODV gốc:

    • Khi bị tấn công lỗ sâu, PDR của AODV giảm từ mức bình thường là 78.07% (độ lệch chuẩn $\sigma=2%$) xuống mức chạm đáy là 40.11% khi chiều dài đường hầm đạt 3 chặng ($TL=3, \sigma=4%$). Phụ tải định tuyến tăng từ 13.81 pkt lên 16.75 pkt.
    • Khi bị 2 nút độc hại tấn công ngập lụt với tần suất 20 pkt/s ở tốc độ di chuyển 30 m/s, PDR của AODV sụp đổ hoàn toàn từ 95.52% ($\sigma=1.0%$) xuống mức thảm họa là 9.56% ($\sigma=4%$), đồng thời thời gian trễ trung bình bùng nổ từ 0.217s lên 4.043s ($\sigma=1.276\text{s}$).

  2. Phát hiện phản trực giác về độ trễ truyền gói khi bị tấn công lỗ sâu (Counter-intuitive Delay Finding):

    • Kết quả thực nghiệm cho thấy thời gian trễ trung bình của AODV khi bị tấn công lỗ sâu giảm dần theo chiều dài đường hầm (từ 0.934s ở trạng thái bình thường xuống thấp nhất là 0.629s khi $TL=5, \sigma=0.2\text{s}$).
    • Giải thích lý thuyết: Các gói tin đi trên các tuyến đường hợp lệ nhưng dài đều bị nghẽn và hủy trước khi đến đích; chỉ có một tỷ lệ rất nhỏ các gói tin lọt qua đường hầm độc hại ngắn giả tạo đến đích thành công, tạo ra ảo giác thống kê rằng độ trễ mạng giảm xuống.

  3. Hiệu quả phát hiện vượt trội của MLAMAN trước tấn công lỗ sâu:

    • Qua 200 kịch bản mô phỏng, trong khi giải pháp quốc tế EEP (Su et al.) chỉ đạt tỷ lệ phát hiện tuyến chứa đường hầm tối đa 94.31% (và hiệu quả giảm mạnh nhất khi $TL=3$), thì MLAMAN đạt tỷ lệ phát hiện nút độc hại thành công lên tới 99.98% ở chế độ PM ($\sigma=0.0$) và 99.87% ở chế độ HM ($\sigma=0.0$).

  4. Sự vượt trội mang tính áp đảo của FAPRP trước các giải pháp dựa trên ngưỡng:

    • Trong 120 kịch bản đánh giá so sánh, thuật toán FADA đạt tỷ lệ nhận diện nút độc hại ổn định từ 99.83% đến 99.94% ($\sigma=0.0$), trong khi giải pháp ngưỡng động BI (Bi-directional) dao động thất thường từ 93.22% đến 98.36% ($\sigma=2%$).
    • Nhờ đó, giao thức FAPRP duy trì tỷ lệ gửi gói thành công đạt 95.27% ($\sigma=1.0%$) dưới điều kiện tấn công ngập lụt khốc liệt nhất (2MN, 20 pkt/s, vận tốc 30 m/s), vượt xa giao thức phòng thủ dựa trên ngưỡng BAODV (chỉ đạt tối đa 80.79%, $\sigma=4.04%$). Trong môi trường bình thường, FAPRP đạt 95.27% so với 95.52% của AODV, khẳng định chi phí an ninh thuật toán làm suy hao hiệu năng không đáng kể.

  5. Năng lực phòng thủ đa hình thái và sự đánh đổi hiệu năng của TAMAN/DCMM:

    • Dưới cuộc tấn công lỗ đen (Blackhole) từ giây thứ 500, PDR của SAODV sụt giảm thẳng đứng xuống còn 35.00% ($\sigma=2%$), trong khi TAMAN duy trì vững chắc ở mức 69.28% ($\sigma=2%$), vượt trội hơn cả ARAN.
    • Khi tích hợp cơ chế quản lý chứng chỉ số DCMM, PDR của TAMAN đạt 67.65% (giảm 2.14% so với phiên bản TAMAN không có DCMM và thấp hơn AODV không bảo mật 6.0%), nguyên nhân được giải thích thỏa đáng là do độ trễ trễ ban đầu khi nút trung tâm $N_{center}$ phải mất thời gian cấp phát DC cho toàn bộ 100 nút mạng trước khi chúng được phép tham gia định tuyến.

Implications đa chiều

  • Về mặt lý thuyết (Theoretical Advances): Tái khẳng định tính bắt buộc của việc tích hợp liên tầng (cross-layer) giữa dữ liệu cảm biến không gian vật lý (GPS) và mật mã học tầng mạng trong việc giải quyết triệt để các dạng tấn công che giấu topo (topology-hiding attacks như Wormhole). Đặt nền móng lý thuyết cho việc ứng dụng chuỗi thời gian gián đoạn vào phân loại hành vi giao thức.
  • Về mặt phương pháp luận (Methodological Innovations): Cung cấp một phương pháp luận chuẩn mực trong việc trích xuất không gian véc-tơ đặc trưng từ nhật ký giao thức định tuyến phản ứng (RDFV), có thể tái áp dụng nguyên vẹn cho các giao thức khác như DSR, DYMO hay các biến thể định tuyến trong mạng cảm biến không dây (WSN) và mạng Internet vạn vật (IoT).
  • Về mặt thực tiễn và kỹ thuật (Practical & Engineering Applications): Cung cấp các module mở rộng có thể đóng gói trực tiếp vào nhân Linux của các thiết bị định tuyến ad-hoc công nghiệp. Đưa ra hướng dẫn cụ thể về việc cấu hình tham số $k=25, m=60$ để đạt hiệu suất tối ưu giữa độ chính xác và bộ nhớ.
  • Khuyến nghị chính sách và tiêu chuẩn hóa (Policy Recommendations): Cung cấp cơ sở khoa học để các tổ chức tiêu chuẩn hóa như IETF hay IEEE xem xét bổ sung các trường xác thực vị trí và chứng chỉ số dạng nhẹ vào các phiên bản sửa đổi của các chuẩn định tuyến di động quân sự và cứu nạn khẩn cấp.

Limitations và Future Research

Luận án đã nhìn nhận thẳng thắn 5 giới hạn kỹ thuật và điều kiện biên:

  1. Sự phụ thuộc vào độ chính xác của phần cứng GPS: Cơ chế kiểm tra láng giềng thật sự (AN) của MLA và TAM dựa hoàn toàn vào dữ liệu tọa độ GPS. Trong môi trường tác chiến đô thị bị che khuất (urban canyons), tầng hầm hoặc khi bị tấn công giả mạo tín hiệu vệ tinh (GPS Spoofing), sai số định vị sẽ dẫn đến việc phân loại nhầm nút hợp lệ thành nút độc hại.
  2. Hạn chế của hàm khoảng cách Euclid trong FADA: Thuật toán FADA hiện tại sử dụng khoảng cách hình học Euclid thuần túy để tính toán độ tương đồng giữa các véc-tơ RDFV. Không gian đặc trưng có thể bị méo mó khi có sự bất cân xứng lớn giữa các chiều thời gian trong các kịch bản di động phức tạp.
  3. Giới hạn mở rộng quy mô của cơ chế DCMM (Scalability Bottleneck): DCMM hiện hoạt động theo mô hình quản lý tập trung hóa một phần thông qua nút quản trị $N_{center}$. Khi kích thước mạng mở rộng vượt quá 100 nút, chi phí truyền thông cho các gói MCP/MCACK sẽ tăng đột biến, gây nghẽn băng thông tầng mạng.
  4. Gia tăng kích thước gói tin và phụ tải tính toán: Việc bổ sung 269 bytes vào gói tin RCP trong MLAMAN cùng các phép toán mã hóa khóa công khai RSA ($\mathcal{O}(p^3)$) tạo ra gánh nặng tiêu thụ năng lượng đáng kể trên các thiết bị đầu cuối hạn chế về pin.
  5. Giả định an toàn của khóa bí mật cục bộ: Luận án giả định các nút mạng tự bảo vệ an toàn tuyệt đối bộ khóa bí mật cá nhân ($kN_\delta^-$), chưa tính đến kịch bản nút mạng bị bắt giữ vật lý và trích xuất khóa (node compromise attacks).

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

  • Hướng 1 (Nâng cấp hàm khoảng cách và phân lớp mờ): Thay thế khoảng cách Euclid bằng khoảng cách Mahalanobis hoặc Dynamic Time Warping (DTW), đồng thời tích hợp Lý thuyết Tập mờ (Fuzzy Logic) vào bộ phân lớp $k$-NN để xử lý các trạng thái ranh giới không rõ ràng giữa nút bình thường và nút độc hại.
  • Hướng 2 (Cấu trúc PKI phân cấp và phi tập trung): Tái cấu trúc cơ chế DCMM từ mô hình đơn trung tâm sang mô hình phân cấp (Hierarchical PKI) hoặc ứng dụng công nghệ Sổ cái phân tán/Blockchain dạng nhẹ (Lightweight Distributed Ledger) để tự trị cấp phát và thu hồi chứng chỉ số trong mạng MANET quy mô lớn.
  • Hướng 3 (Tích hợp thư viện an toàn TLS/DTLS): Ứng dụng các thư viện mật mã tiêu chuẩn như TLS (RFC 8446) / DTLS tối ưu hóa cho mạng không dây nhằm giảm chiều dài khóa và kích thước trường dữ liệu bổ sung trong gói tin SeRQ/SeRP.
  • Hướng 4 (Tích hợp cơ chế định vị trong nhà/không GPS): Nghiên cứu các kỹ thuật ước lượng khoảng cách dựa trên cường độ tín hiệu thu nhận (RSSI) hoặc góc tới của sóng (AoA) để thay thế GPS trong môi trường kín.

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

  • Tác động học thuật (Academic Impact): Công trình đã công bố 2 bài báo khoa học trên các tạp chí quốc tế danh giá thuộc danh mục ISI/Scopus (tạp chí Wireless Networks - Springer, Q2, IF 2.405 [CT1]; tạp chí Wireless Communications and Mobile Computing - Wiley/Hindawi, SCIE, Q3, IF 1.396 [CT2]), cùng 2 công trình trên Tạp chí Tin học và Điều khiển học [CT3, CT4] và 3 bài báo tại các kỷ yếu hội nghị khoa học quốc gia uy tín (FAIR [CT7]). Hệ thống trích dẫn dự kiến sẽ đóng góp nền tảng cho các nghiên cứu tiếp theo về an ninh mạng tùy biến thế hệ mới.
  • Chuyển đổi công nghiệp và quốc phòng (Industrial & Defense Transformation): Các giải pháp TAMAN và MLAMAN cung cấp kiến trúc an ninh khả thi cao cho mạng thông tin chiến thuật chiến trường (Tactical Military Networks), mạng lưới thiết bị bay không người lái tự hành (FANET - Flying Ad-hoc Networks), và mạng liên lạc cứu hộ cứu nạn khẩn cấp trong điều kiện hạ tầng viễn thông công cộng bị phá hủy hoàn toàn do thiên tai.
  • Ứng dụng trong Giao thông thông minh (VANETs): Thuật toán FADA có thể chuyển giao công nghệ trực tiếp để ngăn chặn các cuộc tấn công từ chối dịch vụ (DoS) làm tê liệt hệ thống cảnh báo va chạm trong mạng truyền thông giữa các phương tiện giao thông tự hành.
  • Tầm ảnh hưởng quốc tế: Đặt các nghiên cứu an ninh mạng máy tính của Việt Nam vào vị thế đồng hành và giải quyết các bài toán hóc búa mang tính toàn cầu về an ninh mạng tự tổ chức phi tập trung.

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

  • Nghiên cứu sinh và Học viên cao học (Doctoral & Graduate Researchers): Tiếp cận một khung phương pháp luận thực nghiệm mẫu mực trên NS-2, kế thừa mã nguồn và thuật toán trích xuất đặc trưng RDFV để phát triển các đề tài nghiên cứu chuyên sâu về an ninh mạng IoT/WSN/FANET.
  • Các nhà khoa học đầu ngành (Senior Academics): Kế thừa các luận điểm lý thuyết về mô hình hóa chuỗi thời gian khám phá tuyến và khung xác thực lai ghép hình học - mật mã học để phát triển các lý thuyết an ninh mạng tổng quát.
  • Kỹ sư R&D công nghiệp mạng và viễn thông: Sử dụng trực tiếp cấu trúc gói tin (SecRREQ, SecRREP, SeRQ, SeRP) và thông số tối ưu ($k=25, m=60$) để lập trình nhúng vào firmware của các thiết bị mạng truyền thông dã chiến.
  • Cơ quan quản lý và hoạch định chính sách an toàn thông tin: Sở hữu các bằng chứng định lượng độc lập để ban hành các quy chuẩn kỹ thuật quốc gia về bảo mật mạng vô tuyến tự tổ chức phục vụ an ninh - quốc phòng.

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

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

Đóng góp độc đáo nhất là việc xây dựng Mô hình hành vi khám phá tuyến (Behavioral Route Discovery Modeling) và tích hợp nó vào Lý thuyết định tuyến véc-tơ khoảng cách (Distance Vector Routing Theory). Luận án đã bác bỏ giả định tín nhiệm mặc định của RFC 3561 bằng cách chứng minh rằng: lịch sử khám phá tuyến có thể được lượng tử hóa thành không gian véc-tơ đa chiều (RDFV). Điều này mở rộng lý thuyết phân lớp phi tham số ($k$-NN) từ không gian tĩnh sang không gian động lực học giao thức mạng di động, cho phép nhận diện bất thường mà không cần sử dụng bất kỳ giá trị ngưỡng nào.

2. Sự đổi mới về phương pháp luận nghiên cứu khi so sánh với ít nhất 2 nghiên cứu quốc tế trước đây?

So với nghiên cứu của Su et al. (EEP, 2014) vốn sử dụng cơ chế kiểm tra đầu-cuối (End-to-End) thụ động tại nút đích và chỉ phát hiện được đường hầm mà không biết địa chỉ nút tấn công, phương pháp luận của luận án chuyển đổi sang Xác thực từng chặng (Hop-by-Hop) với sự tham gia của mọi nút trung gian, cho phép cô lập tức thời nút độc hại. So với nghiên cứu của Venkatesan et al. (FAP/EFS) sử dụng ngưỡng tần suất cố định một chiều, phương pháp của luận án sử dụng không gian thuộc tính đa chiều dựa trên thời gian gián đoạn giữa các phiên ($\mathcal{T}_{ij}$), loại bỏ hoàn toàn sai số dương tính giả do biến động topo gây ra.

3. Phát hiện thực nghiệm nào gây bất ngờ nhất và có dữ liệu nào chứng minh?

Phát hiện bất ngờ nhất là: Tấn công lỗ sâu làm sụt giảm thời gian trễ trung bình của mạng AODV. Cụ thể, khi chiều dài đường hầm tăng từ 1 đến 5 chặng, thời gian trễ trung bình giảm từ 0.934s (môi trường bình thường) xuống chỉ còn 0.629s khi $TL=5$ ($\sigma=0.2\text{s}$). Dữ liệu thực nghiệm đã bóc trần bản chất: sự sụt giảm độ trễ này là một "ảo ảnh thống kê" do các gói tin đi đường xa hợp lệ bị rớt toàn bộ, chỉ có các gói đi qua đường hầm giả tạo ngắn lọt tới đích.

4. Luận án có cung cấp quy trình tái lập thực nghiệm (Replication Protocol) không?

Có. Luận án cung cấp đầy đủ và chi tiết toàn bộ tham số môi trường mô phỏng trên NS-2: không gian $1000\text{m} \times 1000\text{m}$, mô hình di động Random Waypoint, dải vận tốc 10–40 m/s, lưu lượng 10–20 CBR/UDP, cấu trúc chi tiết từng byte của các trường bổ sung trong gói tin (GPS: 8 bytes, R: 1 byte, MC/CV: 128 bytes), cùng các công thức toán học tường minh tính toán $t_j^i$, $\mathcal{T}_j^i$, và phương pháp gán nhãn tập dữ liệu huấn luyện.

5. Một chương trình nghiên cứu 10 năm (10-year research agenda) được phác thảo như thế nào?

Chương trình 10 năm gồm 3 giai đoạn:

  • Giai đoạn 1 (1-3 năm): Tối ưu hóa toán học cho FADA bằng khoảng cách Mahalanobis/DTW và Logic mờ; tinh giản phụ tải mật mã bằng mật mã đường cong Elliptic (ECC).
  • Giai đoạn 2 (4-6 năm): Tái cấu trúc DCMM thành mô hình hạ tầng khóa công khai phân tán hoàn toàn dựa trên công nghệ Blockchain/DAG dành riêng cho mạng biên (Edge Computing).
  • Giai đoạn 3 (7-10 năm): Mở rộng và chuẩn hóa bộ giao thức MLAMAN/TAMAN cho các mạng không gian - mặt đất tích hợp thế hệ mới (6G Non-Terrestrial Networks, vệ tinh LEO kết nối FANET/VANET).

Kết luận

Luận án tiến sĩ của tác giả Lương Thái Ngọc là một công trình nghiên cứu khoa học công nghệ xuất sắc, mẫu mực và hoàn chỉnh, mang lại 6 đóng góp cốt lõi:

  1. Khám phá và lượng hóa toàn diện cơ chế phá hoại của các hình thức tấn công phức tạp (Wormhole, Flooding, Blackhole, Sinkhole, Grayhole) trên giao thức AODV tiêu chuẩn với dữ liệu thực nghiệm đồ sộ.
  2. Đề xuất giải pháp xác thực đa mức (MLA) và giao thức MLAMAN, đạt tỷ lệ phát hiện tấn công lỗ sâu phá kỷ lục: 99.98% (PM) và 99.87% (HM).
  3. Sáng chế giải pháp phân loại hành vi FADA và giao thức FAPRP, giải quyết triệt để vấn đề tấn công ngập lụt với độ chính xác 99.94%, duy trì PDR mạng ở mức đỉnh cao 95.27%.
  4. Phát triển cơ chế xác thực tin cậy TAM, kiến trúc quản lý chứng chỉ số DCMM và giao thức TAMAN, thiết lập thành công lá chắn an ninh bảo mật toàn diện theo chuẩn X.509 tại tầng mạng.
  5. Định hình bước chuyển đổi hệ hình (Paradigm Shift) từ phòng thủ thụ động/ngưỡng cứng sang kết hợp phân tích chuỗi thời gian hành vi giao thức và xác thực không gian - mật mã học.
  6. Mở ra 3 nhánh nghiên cứu học thuật mới: Lý thuyết an ninh hành vi mạng di động (Behavioral Routing Security), Kiến trúc PKI phân tán siêu nhẹ cho mạng tùy biến, và Bảo mật hợp nhất không gian - vô tuyến trong mạng không người lái tự hành.

Công trình sở hữu giá trị học thuật cao, đã được bình duyệt và công nhận trên các diễn đàn khoa học quốc tế uy tín (ISI/Scopus Q2/Q3), tạo tiền đề vững chắc cho việc phát triển các mạng truyền thông không dây an toàn, tự trị và có khả năng chống chịu cao trong tương lai.