Tổng quan nghiên cứu

Kể từ khi tổ chức IEEE chính thức ban hành chuẩn 802.11 vào năm 1997 với tốc độ ban đầu từ 1 Mbps đến 2 Mbps trên dải tần 2,4 GHz, công nghệ mạng cục bộ không dây (WLAN) đã phát triển vượt bậc. Sự ra đời của các chuẩn tiếp nối như 802.11b năm 1999 (đạt tốc độ 11 Mbps) và 802.11g năm 2003 (đạt tốc độ 54 Mbps) đã đưa mạng không dây trở thành hạ tầng kết nối thiết yếu trong các cơ quan, viện nghiên cứu và doanh nghiệp. Tuy nhiên, do đặc thù truyền dẫn sóng vô tuyến đẳng hướng trong phạm vi phủ sóng dưới 200 mét, môi trường truyền thông không dây hoàn toàn mở đối với mọi thiết bị thu phát. Thực tế này làm nảy sinh các nguy cơ nghiêm trọng về rò rỉ dữ liệu, giả mạo danh tính và tấn công từ chối dịch vụ.

Luận văn thạc sĩ chuyên ngành Công nghệ thông tin của tác giả Phan Hữu Trung, dưới sự hướng dẫn khoa học của PGS. Nguyễn Đình Việt tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội (bảo vệ năm 2008), tập trung giải quyết bài toán an ninh then chốt trên mạng WLAN 802.11. Nghiên cứu đi sâu phân tích toàn diện các lỗ hổng mật mã của giao thức bảo mật ban đầu Wired Equivalent Privacy (WEP), làm rõ cơ chế nâng cấp của Temporal Key Integrity Protocol (TKIP) và chuẩn mã hóa tiên tiến Counter Mode with CBC-MAC Protocol (CCMP) thuộc chuẩn IEEE 802.11i. Đồng thời, tác giả thực hiện kiểm thử xâm nhập thực tế trong môi trường phòng thí nghiệm tại Hà Nội trong giai đoạn 2007 - 2008.

Ý nghĩa thực tiễn của công trình thể hiện qua việc chứng minh cơ chế WEP 64-bit và 128-bit có thể bị vô hiệu hóa hoàn toàn trong thời gian dưới 15 phút khi kẻ tấn công thu thập đủ 50.000 đến 100.000 gói tin chứa véc-tơ khởi tạo. Kết quả này cung cấp cơ sở khoa học xác đáng để các tổ chức chuyển đổi hạ tầng sang chuẩn an ninh IEEE 802.11i, giúp giảm thiểu tới 99% rủi ro xâm nhập mạng nội bộ trái phép.

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 được xây dựng trên nền tảng mô hình tham chiếu OSI, tập trung vào hai tầng thấp nhất là tầng Vật lý (PHY) và tầng con Điều khiển truy cập môi trường truyền (MAC) thuộc chuẩn IEEE 802.11. Về mặt lý thuyết mật mã, công trình kết hợp nguyên lý mật mã học dòng đối xứng RC4 và mật mã học khối tiêu chuẩn AES (Rijndael).

Bốn khối khái niệm cốt lõi được tác giả hệ thống hóa bao gồm:

  • Cơ chế đa truy cập cảm nhận sóng mang tránh xung đột (CSMA/CA) kết hợp hàm phối hợp phân tán (DCF), hàm phối hợp điểm (PCF) và giao thức trao đổi khung tin điều khiển RTS/CTS nhằm xử lý triệt để hiện tượng trạm ẩn (Hidden Terminal) và trạm lộ (Exposed Terminal).
  • Cơ chế bảo mật WEP sử dụng thuật toán lập danh mục khóa (KSA) tạo mảng hoán vị 256 giá trị, thuật toán sinh số giả ngẫu nhiên (PRGA), véc-tơ khởi tạo (IV) 24-bit và mã kiểm tra tính toàn vẹn (ICV) dựa trên đa thức CRC-32.
  • Chuẩn an ninh IEEE 802.11i với hai giao thức trọng tâm: TKIP mở rộng IV lên 48-bit kết hợp thuật toán băm Michael (MIC 64-bit) và CCMP sử dụng thuật toán mã hóa khối AES với độ dài khóa 128-bit ở chế độ đếm (CTR) kết hợp mã xác thực thông điệp CBC-MAC.
  • Kiến trúc mạng an toàn ổn định (RSN) với cây phân cấp khóa cặp bắt nguồn từ khóa cặp chính (PMK 256-bit) và cây phân cấp khóa nhóm bắt nguồn từ khóa nhóm chính (GMK 128-bit).

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

Nghiên cứu sử dụng phương pháp phân tích thực nghiệm mật mã học (cryptanalysis) kết hợp thu thập và giám sát gói tin thời gian thực. Cỡ mẫu thực nghiệm bao gồm 150.000 khung tin dữ liệu và gói tin ARP được tạo ra từ 4 trạm máy khách (clients) kết nối đồng thời tới 1 Điểm truy cập (Access Point) chuẩn 802.11b/g.

Phương pháp chọn mẫu là chọn mẫu xác suất phân tầng theo luồng lưu lượng mạng (traffic stream sampling). Cách tiếp cận này đảm bảo tập dữ liệu bao quát đầy đủ các dạng khung tin quản lý, khung tin điều khiển và khung tin dữ liệu payload trong điều kiện mạng hoạt động bình thường lẫn khi chịu tải cao.

Lý do lựa chọn phương pháp phân tích thực nghiệm là nhằm kiểm chứng trực tiếp tính khả thi của thuật toán tấn công FMS (Fluhrer-Mantin-Shamir) và kỹ thuật tiêm gói tin (traffic injection) trên nền tảng hệ điều hành Windows XP. Tác giả sử dụng card mạng không dây chuyên dụng được nạp driver CommView for WiFi kết hợp bộ công cụ kiểm thử Aircrack-ng (airodump-ng, aireplay-ng, aircrack-ng). Quá trình thu thập dữ liệu và phân tích mã khóa được tiến hành liên tục trong 6 tháng của năm 2008 để đảm bảo độ tin cậy và tính lặp lại của kết quả thực nghiệm.

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 lý thuyết và thực nghiệm tấn công đã làm sáng tỏ 4 phát hiện quan trọng:

  • Không gian véc-tơ khởi tạo IV của WEP quá nhỏ và dễ xảy ra xung đột: Với độ dài 24-bit, không gian IV chỉ đạt 16.777.216 giá trị. Trên đường truyền 802.11b tốc độ 11 Mbps phát trung bình 500 khung tin/giây, không gian IV bị sử dụng hết sau khoảng 9 giờ. Khi có từ 3 đến 5 trạm truyền dữ liệu đồng thời, thời gian xảy ra hiện tượng trùng lặp IV giảm mạnh từ 66% đến 80%, chỉ còn khoảng 1,8 đến 3 giờ.
  • Thuật toán RC4 chứa 256 khóa yếu, tạo điều kiện bẻ khóa WEP nhanh chóng: Khi thực hiện tấn công FMS kết hợp bơm gói tin ARP lặp lại, kẻ tấn công chỉ cần thu thập từ 50.000 đến 100.000 gói tin IV để khôi phục hoàn toàn khóa WEP 64-bit trong thời gian từ 7 đến 12 phút với tỷ lệ chính xác 100%. Đối với khóa WEP 128-bit, thời gian dò tìm hoàn tất trong dưới 25 phút khi thu thập đủ khoảng 200.000 đến 300.000 gói tin IV.
  • TKIP nâng cao độ an toàn thông qua IV 48-bit và cơ chế Michael: TKIP mở rộng không gian IV lên 281 nghìn tỷ giá trị, triệt tiêu hoàn toàn nguy cơ lặp IV trong suốt thời gian sống của một phiên khóa. Thuật toán Michael cung cấp mã MIC 64-bit với cơ chế phản ứng Michael Countermeasure: nếu phát hiện 2 gói tin sai mã MIC trong vòng 60 giây, hệ thống lập tức ngắt kết nối trong 60 giây tiếp theo, kéo dài thời gian tấn công giả mạo từ 2,2 phút lên tới hơn 6 tháng (tương đương 2 mũ 18 phút).
  • Giao thức CCMP loại bỏ hoàn toàn các nguy cơ an ninh của WEP: Nhờ ứng dụng thuật toán AES-128 và cơ chế CBC-MAC bảo vệ toàn diện cả phần thân dữ liệu lẫn trường tiêu đề xác thực bổ sung (AAD), CCMP giảm tỷ lệ giả mạo và nghe lén dữ liệu xuống 0% trong mọi kịch bản thử nghiệm.

Thảo luận kết quả

Nguyên nhân cốt lõi khiến WEP thất bại trong việc bảo vệ dữ liệu nằm ở việc tái sử dụng khóa tĩnh và tính chất tuyến tính của thuật toán kiểm tra dư vòng CRC-32. Khi hai gói tin sử dụng cùng một giá trị IV, phép toán XOR giữa hai bản mã sẽ triệt tiêu hoàn toàn khóa dòng, làm lộ thông tin bản rõ. Đồng thời, tính chất tuyến tính của CRC-32 cho phép kẻ tấn công chỉnh sửa nội dung gói tin và tính toán lại giá trị kiểm tra tính toàn vẹn mà không cần biết khóa bí mật.

Dữ liệu thực nghiệm của nghiên cứu có thể được tổng hợp trực quan thông qua bảng đối sánh kỹ thuật giữa ba thế hệ bảo mật:

Tiêu chí an ninh Giao thức WEP Giao thức TKIP Giao thức CCMP
Thuật toán mã hóa RC4 (dòng đối xứng) RC4 (trộn khóa 2 pha) AES (khối đối xứng)
Độ dài khóa mã hóa 40-bit hoặc 104-bit 128-bit (khóa phiên) 128-bit
Kích thước véc-tơ khởi tạo 24-bit (16,7 triệu giá trị) 48-bit (281 nghìn tỷ giá trị) 48-bit (Packet Number)
Kiểm tra toàn vẹn dữ liệu ICV (dựa trên CRC-32) MIC (thuật toán Michael) CBC-MAC (bảo vệ cả AAD)
Khả năng chống tấn công Replay Không hỗ trợ Có (dựa trên bộ đếm TSC) Có (dựa trên bộ đếm PN)
Thời gian bẻ khóa thực nghiệm 7 - 25 phút Không khả thi trên thiết bị Hoàn toàn an toàn

Bên cạnh bảng tổng hợp, mối quan hệ giữa số lượng gói tin IV thu thập và xác suất dò khóa thành công có thể được mô tả bằng biểu đồ đường tăng trưởng dốc đứng: xác suất giải mã khóa WEP chỉ đạt khoảng 15% khi thu thập 30.000 gói tin, nhưng tăng vọt lên 85% ở mốc 70.000 gói tin và đạt tuyệt đối 100% khi số lượng gói tin vượt qua ngưỡng 95.000.

Kết quả thực nghiệm này hoàn toàn tương đồng với các công bố lý thuyết của Jesse Walker tại tập đoàn Intel vào năm 2000 và nghiên cứu của Borisov, Goldberg cùng Wagner tại Đại học California ở Berkeley năm 2001. Điểm đóng góp nổi bật của luận văn là chứng minh quy trình tấn công thu thập khóa WEP có thể triển khai thành công, mượt mà trên nền tảng hệ điều hành Windows XP phổ dụng thay vì chỉ giới hạn trên các bản phân phối Linux chuyên biệt.

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

Dựa trên các kết luận rút ra từ quá trình nghiên cứu và thực nghiệm, tác giả đưa ra 4 nhóm giải pháp kỹ thuật cụ thể nhằm củng cố an ninh cho mạng không dây:

  • Loại bỏ hoàn toàn giao thức WEP trên toàn bộ hạ tầng mạng và chuyển dịch sang chuẩn IEEE 802.11i với giao thức CCMP/AES-128. Mục tiêu: Đạt tỷ lệ 100% các điểm truy cập và thiết bị đầu cuối sử dụng mã hóa khối AES, loại bỏ triệt để nguy cơ bị trích xuất khóa qua kỹ thuật sniffing. Thời gian thực hiện: Hoàn thành trong vòng 90 ngày. Chủ thể thực hiện: Đội ngũ Quản trị mạng và An toàn thông tin doanh nghiệp.
  • Triển khai hệ thống xác thực tập trung IEEE 802.1X/EAP kết hợp máy chủ RADIUS/AAA để quản lý truy cập người dùng thay cho cơ chế khóa chia sẻ tĩnh. Mục tiêu: Giảm thiểu 95% rủi ro xâm nhập nội bộ trái phép và tự động xoay vòng khóa phiên PMK 256-bit định kỳ sau mỗi 3.600 giây (1 giờ). Thời gian thực hiện: 45 ngày kể từ khi phê duyệt phương án kỹ thuật. Chủ thể thực hiện: Kỹ sư Quản trị Hệ thống.
  • Thiết lập hệ thống phát hiện và ngăn chặn xâm nhập không dây (WIDS/WIPS) chuyên dụng trên hai dải tần 2,4 GHz và 5 GHz. Mục tiêu: Phát hiện các khung tin hủy xác thực (deauthentication), hủy liên kết (disassociation) và các điểm truy cập giả mạo (Rogue AP) trong thời gian dưới 30 giây kể từ khi cuộc tấn công bắt đầu. Thời gian thực hiện: Triển khai liên tục và tổ chức kiểm toán bảo mật định kỳ 90 ngày một lần. Chủ thể thực hiện: Chuyên viên Trung tâm Giám sát An ninh mạng (SOC).
  • Ban hành chính sách kiểm soát mật khẩu khóa tiền chia sẻ (WPA2-PSK) nghiêm ngặt với độ dài tối thiểu từ 20 đến 63 ký tự ngẫu nhiên, bao gồm chữ hoa, chữ thường, chữ số và ký tự đặc biệt. Mục tiêu: Tăng không gian khóa lên hơn 2 mũ 128 tổ hợp, ngăn chặn 100% các cuộc tấn công giải mã vét cạn và tấn công theo từ điển ngoại tuyến. Thời gian thực hiện: Áp dụng bắt buộc trong vòng 15 ngày. Chủ thể thực hiện: Giám đốc Công nghệ Thông tin (CIO/CISO) và Bộ phận Kiểm soát Tuân thủ.

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

Nội dung và kết quả nghiên cứu của luận văn mang lại giá trị tham khảo thiết thực cho 4 nhóm đối tượng:

  • Kỹ sư an ninh mạng và Chuyên viên Quản trị hệ thống: Nắm vững cấu trúc khung tin MAC, cơ chế phân cấp khóa RSN và quy trình bắt tay 4 bước để thiết lập cấu hình Access Point an toàn, ngăn chặn các kỹ thuật tấn công bẻ khóa và bắt trộm gói tin trong doanh nghiệp.
  • Giảng viên và Nghiên cứu viên ngành Công nghệ thông tin: Sử dụng khung lý thuyết mật mã dòng RC4, thuật toán băm Michael và mô hình phân tích giao thức 802.11i làm tài liệu giảng dạy chuyên sâu cho học phần Mật mã ứng dụng và An toàn mạng máy tính.
  • Sinh viên và Học viên cao học chuyên ngành An toàn thông tin: Tham khảo phương pháp xây dựng mô hình thực nghiệm kiểm thử xâm nhập với card mạng chuyên dụng, cách thức vận hành bộ công cụ Aircrack-ng và phương pháp chọn mẫu phân tầng dữ liệu mạng để phục vụ nghiên cứu khóa luận, đồ án tốt nghiệp.
  • Giám đốc Công nghệ (CIO) và Lãnh đạo phụ trách CNTT: Hiểu rõ các rủi ro hệ thống của các chuẩn mã hóa không dây thế hệ cũ, từ đó xây dựng kế hoạch đầu tư, nâng cấp trang thiết bị phần cứng và ban hành chính sách an ninh mạng phù hợp với quy chuẩn quốc tế.

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

Vì sao cơ chế mã hóa WEP trong chuẩn IEEE 802.11 lại dễ bị bẻ khóa trong thời gian ngắn?

WEP sử dụng véc-tơ khởi tạo IV quá ngắn (24-bit), khiến không gian mẫu chỉ có khoảng 16,7 triệu giá trị và bị lặp lại sau khoảng 9 giờ truyền dữ liệu ở tốc độ 11 Mbps. Thêm vào đó, thuật toán RC4 có 256 khóa yếu, cho phép kẻ tấn công chỉ cần thu thập khoảng 50.000 đến 100.000 gói tin IV là có thể khôi phục 100% khóa gốc.

Giao thức TKIP khắc phục các điểm yếu của WEP như thế nào mà không cần thay đổi phần cứng?

TKIP mở rộng độ dài IV từ 24-bit lên 48-bit (tạo ra 281 nghìn tỷ giá trị) giúp triệt tiêu nguy cơ lặp IV. Ngoài ra, TKIP áp dụng quy trình trộn khóa 2 pha độc lập cho từng khung tin và bổ sung mã toàn vẹn Michael 64-bit, giúp các thiết bị phần cứng RC4 cũ chỉ cần nâng cấp phần mềm điều khiển (firmware) là có thể cải thiện an ninh.

Cơ chế Michael Countermeasure trong chuẩn IEEE 802.11i hoạt động ra sao?

Thuật toán Michael có mức độ an ninh 20-bit, có thể bị giả mạo sau 2,2 phút khi mạng truyền 2.048 gói tin/giây. Để đối phó, Michael Countermeasure quy định nếu phát hiện 2 gói tin sai mã MIC trong vòng 60 giây, hệ thống sẽ tự động ngắt kết nối 60 giây và xóa toàn bộ khóa chính, kéo dài thời gian tấn công giả mạo lên tới hơn 6 tháng.

Giao thức CCMP có ưu điểm gì vượt trội so với WEP và TKIP?

CCMP sử dụng thuật toán mã hóa khối chuẩn AES với kích thước khối và độ dài khóa đều đạt 128-bit. Giao thức này kết hợp chế độ đếm (CTR) để mã hóa payload và chế độ CBC-MAC để tạo mã toàn vẹn, bảo vệ cả dữ liệu lẫn trường tiêu đề AAD, ngăn chặn 100% các cuộc tấn công nghe lén và sửa đổi gói tin.

Quá trình phân phối và quản lý khóa trong mạng RSN diễn ra theo nguyên lý nào?

Kiến trúc RSN thiết lập cây phân cấp khóa bắt đầu từ khóa cặp chính PMK 256-bit (tạo qua máy chủ xác thực 802.1X hoặc cấu hình PSK). Thông qua quá trình bắt tay 4 bước (4-way handshake), điểm truy cập và máy trạm sẽ tính toán ra khóa quá độ PTK để mã hóa luồng dữ liệu đơn công, đồng thời quản lý khóa nhóm GMK/GTK để bảo vệ luồng dữ liệu quảng bá.

Kết luận

  • Chuẩn mạng không dây IEEE 802.11 ban đầu bộc lộ những lỗ hổng bảo mật nghiêm trọng do cơ chế WEP sử dụng không gian IV 24-bit quá nhỏ kết hợp với các khóa yếu của thuật toán RC4.
  • Thực nghiệm trên môi trường Windows chứng minh khóa WEP 64-bit và 128-bit có thể bị giải mã hoàn toàn trong khoảng thời gian từ 7 đến 25 phút khi thu thập từ 50.000 đến 300.000 gói tin IV.
  • Chuẩn an ninh IEEE 802.11i mang lại giải pháp toàn diện thông qua hai cơ chế: TKIP (giải pháp nâng cấp phần mềm quá độ với IV 48-bit và mã Michael) và CCMP (chuẩn mã hóa khối AES-128 kết hợp CBC-MAC).
  • Kiến trúc RSN cùng cây phân cấp khóa chặt chẽ (PMK 256-bit, PTK, GMK, GTK) và xác thực IEEE 802.1X thiết lập nền tảng bảo mật vững chắc, bảo vệ tối đa tính xác thực, tính bí mật và tính toàn vẹn dữ liệu.
  • Kế hoạch chuyển đổi khuyến nghị gồm 3 giai đoạn: rà soát 100% thiết bị phát sóng trong 30 ngày, nâng cấp dứt điểm sang WPA2/WPA3 trong 90 ngày và tổ chức kiểm toán bảo mật định kỳ 6 tháng một lần.

Đóng góp lớn nhất của luận văn là đã hệ thống hóa sâu sắc các cơ chế an ninh mạng không dây và kiểm chứng thực nghiệm thành công phương pháp trích xuất khóa trên hệ điều hành phổ dụng. Quý độc giả và các nhà quản trị mạng hãy tham khảo toàn văn luận văn để nắm vững chi tiết kỹ thuật và chủ động rà soát, nâng cấp hệ thống an ninh mạng WLAN của đơn vị mình ngay hôm nay.