Tổng quan nghiên cứu

Sự bùng nổ của truyền thông không dây đã thúc đẩy các chuẩn mạng cục bộ phát triển vượt bậc, từ các thế hệ mạng 802.11 sơ khai năm 1997 với tốc độ chỉ đạt 1 Mbps đến 2 Mbps lên tới chuẩn 802.11ac với tốc độ băng thông vượt mức 1730 Mbps. Tuy nhiên, trong môi trường truyền thông vô tuyến chia sẻ tài nguyên sóng mang, hiệu suất mạng thực tế thường bị suy giảm nghiêm trọng do các hiện tượng tranh chấp và tấn công cố ý. Đặc biệt, các cuộc tấn công gây nghẽn thông minh (Reactive Jamming) nhắm vào tầng liên kết dữ liệu (MAC) có thể triệt tiêu hoàn toàn khả năng truyền tin, khiến thông lượng thực tế giảm từ mức tối đa về xấp xỉ 0 Mbps dù chỉ số cường độ tín hiệu nhận được (RSSI) đo được tại máy trạm vẫn ở mức cao.

Vấn đề cốt lõi đặt ra là sự hạn chế của cơ chế điều khiển truy cập phân tán (DCF) truyền thống trong việc phân biệt giữa xung đột gói tin tự nhiên và hành vi phá hoại có chủ đích. Nghiên cứu này tập trung giải quyết bài toán phát hiện sớm sự hiện diện của thiết bị gây nghẽn (Jammer) và đề xuất các giải pháp kỹ thuật nhằm vô hiệu hóa cuộc tấn công. Mục tiêu cụ thể là xây dựng khung mô hình toán học giải tích dựa trên chuỗi Markov để đánh giá thông lượng và mức tiêu hao năng lượng, đồng thời phát triển thuật toán kiểm định tỷ số khả dĩ tổng quát (GLRT) giúp nhận diện tác nhân gây nghẽn.

Phạm vi nghiên cứu được thực hiện đối với mạng nội bộ không dây chuẩn IEEE 802.11 trên dải tần 2,4 GHz, trong điều kiện tải bão hòa tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội vào năm 2019. Ý nghĩa khoa học và thực tiễn của công trình thể hiện qua việc giảm xác suất cảnh báo giả (PFA) xuống dưới ngưỡng 0,05 và tăng tốc độ tiêu hao năng lượng của kẻ tấn công lên hơn 150% so với cơ chế chuẩn, bảo vệ tính liên tục của hệ thống mạng.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu ứng dụng lý thuyết điều khiển truy cập môi trường đa truy cập cảm nhận sóng mang tránh xung đột (CSMA/CA) kết hợp cơ chế lùi thời gian ngẫu nhiên theo hàm mũ nhị phân (Binary Exponential Backoff - BEB). Các tham số chuẩn hóa bao gồm khoảng thời gian liên khung ngắn SIFS bằng 10 µs, khe thời gian aSlotTime bằng 20 µs và khoảng thời gian liên khung DCF (DIFS) có độ dài 50 µs. Cơ chế truyền sử dụng thêm gói tin biên nhận ACK và cặp gói tin điều khiển RTS/CTS để khắc phục sự cố trạm ẩn và trạm lộ.

Khung phân tích toán học dựa trên mô hình chuỗi Markov hai chiều rời rạc thời gian của tác giả Giuseppe Bianchi. Mô hình này thiết lập mối tương quan giữa trạng thái lùi thời gian backoff và số lần truyền lại gói tin, qua đó xác định xác suất phát sóng của một nút mạng và xác suất xảy ra xung đột khi có sự xuất hiện của kẻ gây nghẽn với xác suất tấn công.

Bên cạnh đó, lý thuyết phát hiện tín hiệu thông qua kiểm định tỷ số khả dĩ tổng quát (GLRT) được vận dụng để phân tách các giả thuyết thống kê giữa trạng thái mạng bình thường và trạng thái bị can thiệp bởi tín hiệu gây nhiễu. Bốn khái niệm trọng tâm bao gồm: hàm mật độ xác suất trạng thái mạng, tỷ lệ phân phối gói tin (PDR), tỷ lệ gửi gói tin (PSR) và đường cong đặc trưng hoạt động của máy thu (ROC).

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

Nguồn dữ liệu của nghiên cứu được thu thập thông qua quá trình mô phỏng thực nghiệm trên công cụ Network Simulator 2 (NS2 phiên bản 2.35). Cỡ mẫu thực nghiệm bao gồm 500 gói tin được truyền liên tục trên mỗi trạm phát trong điều kiện bão hòa lưu lượng hàng đợi, với cấu hình mạng thử nghiệm từ 3 trạm phát, 1 trạm nhận và 1 trạm gây nghẽn, mở rộng khảo sát lên quy mô 10, 20 và 50 nút mạng. Kích thước khung dữ liệu MAC được cố định ở mức 512 bytes với tốc độ truyền 11 Mbps, tiêu đề lớp vật lý kéo dài 192 µs và gói tin gây nghẽn có kích thước 128 bytes với tốc độ 1 Mbps.

Phương pháp chọn mẫu là chọn mẫu ngẫu nhiên toàn diện đối với toàn bộ các chuỗi sự kiện truyền thành công và truyền thất bại trên kênh truyền vô tuyến trong vùng phủ sóng. Lý do lựa chọn phương pháp phân tích mô hình giải tích Markov kết hợp mô phỏng hướng đối tượng (C++ và OTcl trong NS2) là vì giải tích toán học cho phép lượng hóa chính xác giới hạn lý thuyết của thông lượng hệ thống, trong khi NS2 cung cấp môi trường kiểm chứng chân thực các tương tác phức tạp ở tầng vật lý và tầng MAC mà các thử nghiệm trên thiết bị phần cứng thông thường không thể kiểm soát riêng rẽ từng tham số nhiễu. Toàn bộ quy trình tính toán và mô phỏng được thực hiện xuyên suốt trong khung thời gian từ năm 2018 đến năm 2019.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình phân tích giải tích và thử nghiệm mô phỏng đã mang lại những phát hiện quan trọng về hành vi của mạng không dây dưới tác động của kẻ gây nghẽn:

Thứ nhất, trong cơ chế DCF tiêu chuẩn, khi xác suất tấn công của thiết bị gây nghẽn tăng từ 0,0 lên 1,0, thông lượng của hệ thống giảm đơn điệu từ mức bão hòa lý thuyết xuống gần 0 Mbps. Đồng thời, xác suất gói tin truyền thất bại tăng vọt từ mức đụng độ thông thường khoảng 15% lên xấp xỉ 100%.

Thứ hai, mức năng lượng tiêu thụ trung bình của kẻ tấn công dạng phản ứng (Reactive Jammer) biểu hiện quy luật phi tuyến tính: tăng mạnh trong giai đoạn đầu khi bắt đầu gây nhiễu nhưng sau đó giảm dần khi xác suất tắc nghẽn đạt mức tuyệt đối 1,0. Nguyên nhân là do cơ chế DCF chuẩn liên tục nhân đôi cửa sổ tranh chấp khi gặp lỗi, khiến các trạm hợp pháp phải chờ đợi thời gian lùi lâu hơn, làm giảm tần số phát sóng của toàn mạng và vô tình giúp kẻ tấn công tiết kiệm năng lượng.

Thứ ba, bộ dò phát hiện tắc nghẽn ứng dụng kiểm định GLRT thể hiện độ tin cậy vượt trội. Khi thiết lập xác suất tấn công tối thiểu cần phát hiện là 0,25, hệ thống đạt xác suất phát hiện thành công trên 95% trong khi xác suất báo động giả duy trì ở mức cực kỳ thấp, tiệm cận 0.

Thứ tư, cơ chế cải tiến M-DCF đã đảo ngược lợi thế năng lượng của kẻ tấn công. Trong mạng có quy mô nhỏ từ 3 đến 10 trạm phát, M-DCF làm tiêu hao năng lượng của thiết bị Jammer cao hơn từ 1,5 đến 2 lần so với cơ chế DCF gốc, buộc nút gây nghẽn nhanh chóng cạn kiệt nguồn pin cục bộ.

Thảo luận kết quả

Hiện tượng suy giảm hiệu năng nghiêm trọng trong mạng DCF bắt nguồn từ tính chất bất đối xứng thông tin: giao thức mạng coi mọi gói tin bị mất đều là hệ quả của xung đột kênh truyền tự nhiên, từ đó kích hoạt thuật toán lùi thời gian về trạng thái thụ động. Điều này tạo điều kiện thuận lợi cho kẻ tấn công kiểm soát hoàn toàn kênh vô tuyến với mức năng lượng tối thiểu.

Khi so sánh với các nghiên cứu nhận diện dựa trên ngưỡng cường độ tín hiệu RSSI, phương pháp tiếp cận thông qua không gian trạng thái chuỗi Markov và kiểm định GLRT cho độ chính xác cao hơn rõ rệt. Giải pháp này loại bỏ hoàn toàn các sai số do biến động môi trường hoặc hiện tượng che khuất sóng gây ra.

Toàn bộ các dữ liệu phân tích này có thể được trình bày trực quan thông qua biểu đồ đường thể hiện mối quan hệ giữa thông lượng và xác suất gây nghẽn, kết hợp cùng bảng so sánh năng lượng tiêu thụ của Jammer giữa hai cơ chế DCF chuẩn và M-DCF tại các kịch bản 3, 10, 20 và 50 trạm. Biểu đồ đường cong ROC cũng là công cụ trực quan hiệu quả để minh họa sự đánh đổi tối ưu giữa xác suất phát hiện và xác suất báo động sai của bộ dò.

Đề xuất và khuyến nghị

Tích hợp thuật toán M-DCF vào phần mềm điều khiển của các thiết bị phát sóng không dây (Access Point) và trạm đầu cuối, nhằm duy trì thông lượng hệ thống trên 40% công suất danh định ngay cả khi bị can thiệp sóng mang, thực hiện bởi các nhóm phát triển giao thức mạng viễn thông theo lộ trình thử nghiệm 6 tháng.

Thiết lập module giám sát xác suất lỗi gói tin và triển khai bộ kiểm định tỷ số khả dĩ GLRT trực tiếp trên tầng liên kết dữ liệu của router doanh nghiệp, hướng tới mục tiêu phát hiện các cuộc tấn công gây nghẽn trong vòng dưới 3 giây với tỷ lệ báo động giả dưới 0,05, do các chuyên viên an ninh mạng vận hành liên tục từ quý 3 năm 2026.

Cấu hình động ngưỡng kích hoạt cặp gói tin điều khiển RTS/CTS cho các khung dữ liệu có kích thước vượt quá 512 bytes, giúp kiểm soát tốt hiện tượng trạm ẩn và giảm xác suất xung đột kênh truyền xuống dưới mức 12% trong các vùng phủ sóng có mật độ trên 25 thiết bị kết nối, giao cho đội ngũ quản trị mạng nội bộ rà soát định kỳ hàng tháng.

Xây dựng chính sách chuyển đổi kênh truyền tự động khi phát hiện mức năng lượng tiêu thụ bất thường vượt quá 30% ngưỡng nền tiêu chuẩn, áp dụng giải pháp nhảy tần thích ứng nhằm khôi phục kết nối cho các dịch vụ thời gian thực, do các nhà cung cấp dịch vụ hạ tầng mạng triển khai trong giai đoạn 2026 - 2027.

Đối tượng nên tham khảo luận văn

Kỹ sư thiết kế và vận hành mạng không dây: Tài liệu cung cấp các phân tích định lượng chuyên sâu về thông số thời gian liên khung (DIFS 50 µs, SIFS 10 µs) và thuật toán lùi thời gian, hỗ trợ trực tiếp cho công tác tối ưu hóa cấu hình thiết bị mạng trong các doanh nghiệp và tòa nhà văn phòng.

Chuyên gia an toàn thông tin và an ninh mạng: Khung lý thuyết phát hiện tấn công từ chối dịch vụ tầng vật lý và tầng MAC cùng giải thuật kiểm định thống kê GLRT là nguồn tài liệu quý giá để phát triển các hệ thống ngăn ngừa xâm nhập không dây (WIPS).

Học viên cao học và nhà nghiên cứu chuyên ngành Công nghệ thông tin: Đề tài cung cấp phương pháp luận chặt chẽ trong việc ứng dụng chuỗi Markov hai chiều và công cụ NS2, tạo nền tảng mẫu mực cho các công trình nghiên cứu đánh giá hiệu năng giao thức mạng.

Kỹ sư phát triển hệ thống nhúng và mạng cảm biến IoT: Cơ chế phân tích mức tiêu thụ năng lượng và thuật toán M-DCF mang lại các giải pháp thiết thực để bảo vệ nguồn pin hạn chế của các nút cảm biến trước các hành vi tấn công phá hoại năng lượng.

Câu hỏi thường gặp

Giao thức CSMA/CD trong mạng Ethernet có dây có thể ứng dụng trực tiếp cho mạng không dây WLAN được không?

Giao thức CSMA/CD hoàn toàn không khả thi trên mạng không dây do các thiết bị vô tuyến không thể vừa phát vừa nghe tín hiệu trên cùng một kênh truyền vì độ suy hao môi trường quá lớn. Ngoài ra, việc tồn tại hiện tượng trạm ẩn và trạm lộ khiến các nút mạng không thể nhận biết được xung đột tại phía máy nhận, buộc mạng WLAN phải chuyển sang sử dụng giao thức CSMA/CA kết hợp xác nhận ACK.

Tấn công gây nghẽn phản ứng (Reactive Jamming) khác biệt như thế nào so với các hình thức gây nghẽn truyền thống?

Khác với hình thức gây nghẽn liên tục (Constant Jamming) luôn phát sóng ngẫu nhiên làm tiêu tốn nhiều năng lượng, Reactive Jammer chỉ kích hoạt phát tín hiệu phá hoại khi cảm nhận có gói tin đang truyền trên môi trường, ví dụ như làm hỏng gói ACK hoặc CTS. Phương thức này giúp kẻ tấn công tiết kiệm hơn 50% năng lượng và cực kỳ khó phát hiện bằng các phép đo cường độ tín hiệu thông thường.

Tại sao cơ chế M-DCF cải tiến lại có thể chống lại các thiết bị gây nghẽn hiệu quả?

Khi phát hiện có tấn công, thay vì tăng thời gian chờ lùi lại theo hàm mũ như cơ chế DCF chuẩn, M-DCF chủ động tăng xác suất truyền gói tin của các nút mạng hợp pháp. Hành động này ép thiết bị Jammer phải liên tục phát sóng phản ứng ở cường độ cao, làm cạn kiệt nguồn năng lượng dự trữ của kẻ tấn công trong thời gian ngắn và giải phóng kênh truyền.

Kiểm định GLRT phân biệt xung đột tự nhiên và tấn công có chủ đích dựa trên nguyên lý nào?

Kiểm định GLRT theo dõi số lần trạm mạng rơi vào các trạng thái lùi thời gian trong chuỗi Markov để ước tính tỷ lệ gói tin lỗi cực đại. Hệ thống sau đó so sánh tỷ số khả dĩ này với một ngưỡng quyết định đã được chuẩn hóa thông qua đường cong ROC. Khi tỷ số vượt ngưỡng với độ tin cậy trên 95%, hệ thống sẽ khẳng định có sự hiện diện của thiết bị gây nghẽn.

Công cụ NS2 đóng vai trò gì trong quá trình kiểm chứng kết quả nghiên cứu của luận văn?

Công cụ NS2 cho phép xây dựng mô hình mạng chi tiết bằng sự kết hợp giữa ngôn ngữ C++ để xử lý giao thức tầng MAC và OTcl để cấu hình kịch bản mô phỏng. Môi trường này hỗ trợ tái lập chính xác các tham số như độ dài gói tin 512 bytes, tốc độ 11 Mbps và ghi nhận toàn diện các biến cố đụng độ, đóng vai trò là cầu nối thực nghiệm kiểm chứng tính đúng đắn của mô hình giải tích Markov.

Kết luận

  • Luận văn đã mô hình hóa thành công cơ chế điều khiển truy cập môi trường DCF dưới tác động của kẻ gây nghẽn thông minh bằng công cụ giải tích chuỗi Markov hai chiều.
  • Xây dựng và chứng minh tính hiệu quả của thuật toán kiểm định tỷ số khả dĩ tổng quát GLRT, đạt xác suất phát hiện tấn công trên 95% với tỷ lệ báo động giả duy trì dưới mức 0,05.
  • Đề xuất giải pháp giao thức cải tiến M-DCF, chứng minh khả năng triệt tiêu năng lượng của thiết bị Jammer hiệu quả gấp 1,5 đến 2,0 lần so với chuẩn DCF truyền thống trong mạng quy mô nhỏ.
  • Hoàn thiện hệ thống mô phỏng chuyên sâu trên nền tảng NS2, xác nhận sự tương đồng chặt chẽ giữa các kết quả giải tích lý thuyết và thực nghiệm đo đạc.
  • Đóng góp luận cứ khoa học quan trọng cho việc phát triển các tiêu chuẩn giao thức MAC tự thích ứng và nâng cao năng lực an ninh cho mạng không dây thế hệ mới.

Các tổ chức và chuyên gia quan tâm có thể tiếp tục mở rộng mô hình M-DCF trên các nền tảng phần cứng thương mại và chuẩn mạng tiên tiến trong 12 tháng tới để tối ưu hóa an toàn mạng toàn diện.