Tổng quan nghiên cứu

Trong bối cảnh bùng nổ công nghệ thông tin và mạng Internet toàn cầu, các nguy cơ mất an toàn thông tin đang diễn biến ngày càng phức tạp. Các loại phần mềm độc hại không ngừng tiến hóa với hàng triệu biến thể tinh vi như virus đa hình, sâu máy tính hay mã độc tống tiền, ước tính gây thiệt hại hàng trăm tỷ USD cho nền kinh tế số mỗi năm. Trước đây, các giải pháp phòng chống mã độc chủ yếu dựa trên kỹ thuật quét dấu hiệu nhận dạng truyền thống với cơ sở dữ liệu mẫu định nghĩa trước. Tuy nhiên, kỹ thuật này bộc lộ hạn chế lớn khi không thể phát hiện các biến thể mới chưa từng được ghi nhận, đồng thời kích thước cơ sở dữ liệu phình to làm suy giảm nghiêm trọng hiệu năng xử lý.

Luận văn thạc sĩ kỹ thuật phần mềm của tác giả Võ Văn Trường, dưới sự hướng dẫn khoa học của Tiến sĩ Nguyễn Văn Vinh tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội năm 2016, tập trung giải quyết bài toán phát hiện mã độc bằng phương pháp học máy giám sát. Mục tiêu trọng tâm của nghiên cứu là xây dựng quy trình phân tích tĩnh tự động trên định dạng tệp thực thi Windows kết hợp đề xuất giải pháp trích chọn đặc trưng tối ưu từ chuỗi dữ liệu nhị phân. Nghiên cứu thực hiện đánh giá thực nghiệm toàn diện trên tập dữ liệu chuẩn gồm 4.698 tệp tin, bao gồm 2.373 tệp tin sạch hệ thống và 2.325 mẫu mã độc đa dạng thu thập từ kho lưu trữ bảo mật uy tín. Ý nghĩa của nghiên cứu thể hiện qua việc giảm thiểu không gian đặc trưng từ 65.536 chiều dữ liệu ban đầu xuống một tập đặc trưng đại diện tinh gọn, giúp mô hình phân lớp đạt độ chính xác nhận diện trên 96,5% và mở ra hướng tiếp cận tự động hóa hiệu quả cao cho các hệ thống giám sát an ninh 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 được xây dựng trên nền tảng lý thuyết an toàn thông tin, kỹ thuật dịch ngược phần mềm và các thuật toán học máy giám sát kinh điển.

Trong lĩnh vực phân tích mã độc, khung lý thuyết phân loại tập trung vào hai cơ chế chính: hình thức lây nhiễm gồm lây nhiễm khối khởi động, lây nhiễm tệp thực thi, kỹ thuật ký sinh macro; và chiến lược ẩn náu tinh vi bao gồm mã hóa khóa ngẫu nhiên, kỹ thuật tàng hình, mã độc bán đa hình và siêu đa hình.

Về kỹ thuật học máy, luận văn ứng dụng hai mô hình phân lớp cốt lõi:

  1. Thuật toán Cây quyết định: Xây dựng dựa trên nguyên lý giải thuật ID3, sử dụng độ đo Entropy để lượng hóa độ hỗn loạn thông tin và chỉ số độ lợi thông tin nhằm xác định thuộc tính phân tách tối ưu tại từng nút nhánh.
  2. Máy véc-tơ hỗ trợ: Dựa trên lý thuyết tối ưu hóa biên phân lớp của Vladimir Vapnik, giải quyết bài toán tìm siêu phẳng phân cách cực đại hóa khoảng cách lề. Đối với dữ liệu phi tuyến tính, mô hình tích hợp các hàm nhân Kernel chuyên dụng như hàm đa thức bậc 3, hàm cơ sở bán kính RBF và hàm Sigmoid để ánh xạ không gian thuộc tính lên không gian nhiều chiều.

Bên cạnh đó, nghiên cứu tích hợp phương pháp khai phá văn bản thông qua việc biểu diễn chuỗi nhị phân dưới dạng n-gram byte kết hợp công thức tính tần số xuất hiện của đặc trưng trên từng tệp dữ liệu.

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

Nghiên cứu lựa chọn phương pháp chọn mẫu có chủ đích với tổng cỡ mẫu thực nghiệm là 4.698 tệp tin thực thi định dạng Portable Executable chạy trên hệ điều hành Windows. Tập mẫu phân chia cân bằng thành 2 nhóm độc lập: nhóm mã độc gồm 2.325 tệp thuộc 4 họ nguy hiểm nhất là Backdoor, Virus, Trojan và Sâu máy tính lấy từ nguồn dữ liệu học thuật Vxheaven; nhóm mã sạch gồm 2.373 tệp thực thi hệ thống nguyên bản.

Quy trình nghiên cứu áp dụng phương pháp phân tích tĩnh an toàn tuyệt đối, không kích hoạt thực thi tệp tin. Tác giả tự phát triển chương trình bằng ngôn ngữ Python kết hợp thư viện Pefile để đọc cấu trúc các phân vùng quan trọng như PE Header, Section chứa mã thực thi, Section tài nguyên và bảng nạp thư viện liên kết động. Các chuỗi mã máy được chuyển đổi sang mã hex và trích xuất thành các đoạn 2-gram byte liên tiếp, tương ứng với không gian trạng thái tiềm năng gồm 65.536 đặc trưng.

Lý do lựa chọn phương pháp phân tích tĩnh kết hợp trích chọn đặc trưng dựa trên độ lệch tần số phân đoạn là nhằm tối ưu hóa tài nguyên tính toán, triệt tiêu các thuộc tính gây nhiễu phổ biến ở cả hai lớp dữ liệu và giải quyết triệt để vấn đề quá tải bộ nhớ khi huấn luyện mô hình phân lớp quy mô lớn trong toàn bộ giai đoạn nghiên cứu năm 2016.

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

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

Quá trình thực nghiệm đối sánh mang lại những phát hiện quan trọng về hiệu năng của giải pháp trích chọn đặc trưng và các mô hình học máy:

Thứ nhất, giải pháp trích chọn đặc trưng dựa trên độ lệch tần số xuất hiện trung bình phân đoạn chứng minh tính ưu việt vượt trội. Việc chọn lọc tập đặc trưng có độ phân tách cao nhất giúp giảm hơn 90% số lượng biến đầu vào so với không gian 65.536 đặc trưng thô ban đầu, đồng thời loại bỏ các đoạn mã hex dư thừa xuất hiện đồng thời trong cả tệp sạch lẫn mã độc.

Thứ hai, mô hình Máy véc-tơ hỗ trợ cấu hình hàm nhân RBF và đa thức cho kết quả phân lớp chính xác cao nhất, đạt tỷ lệ nhận diện trung bình trên 96,5% trên các tập dữ liệu kiểm thử độc lập. Tỷ lệ phát hiện đúng đạt mức trên 97,0% đối với các dòng Trojan và Backdoor, trong khi tỷ lệ dương tính giả được kiểm soát chặt chẽ ở mức dưới 3,2%.

Thứ ba, mô hình Cây quyết định ID3 đạt độ chính xác trung bình khoảng 91,2% đến 92,8%, thấp hơn SVM từ 4,8% đến 6,2% do đặc thù phân chia biên tuyến tính từng chiều của cây quyết định khó nắm bắt trọn vẹn mối tương quan phi tuyến giữa các cặp byte lân cận.

Thứ tư, khi đưa tập đặc trưng bị đánh giá kém nhất vào huấn luyện thử nghiệm, độ chính xác phân loại của cả hai thuật toán đều sụt giảm nghiêm trọng xuống dưới 68,0%, khẳng định độ lệch tần số phân đoạn là thước đo định lượng có độ tin cậy rất cao.

Thảo luận kết quả

Kết quả thực nghiệm trong luận văn được mô hình hóa chi tiết thông qua các biểu đồ so sánh độ chính xác giữa tập đặc trưng tốt nhất và kém nhất, kết hợp bảng ma trận nhầm lẫn 4 trạng thái: Dương tính thật, Âm tính thật, Dương tính giả và Âm tính giả.

Nguyên nhân cốt lõi giúp tập đặc trưng đề xuất đạt hiệu năng cao là do mã độc thường chứa các đoạn mã khai thác, giải mã hoặc chuỗi lệnh nhảy bất thường tập trung tại các Section thực thi. Khi phân đoạn và sắp xếp mảng tần số xuất hiện, thuật toán đã cô lập được những n-gram byte có sự đột biến tần suất giữa hai lớp mà không bị ảnh hưởng bởi sự chênh lệch dung lượng tệp tin.

So với các công trình nghiên cứu quốc tế cùng thời kỳ sử dụng toàn bộ chuỗi n-gram thô, giải pháp trong luận văn này đã giải quyết triệt để hiện tượng quá khớp dữ liệu, rút ngắn thời gian huấn luyện mô hình từ hàng giờ xuống còn vài phút, đồng thời tạo tiền đề cho việc xây dựng các công cụ phát hiện mã độc thời gian thực trên các hệ thống đầu cuối.

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

Dựa trên kết quả nghiên cứu lý thuyết và thực nghiệm, luận văn đưa ra 4 khuyến nghị mang tính ứng dụng thực tiễn cao:

  1. Tích hợp module phân tích tĩnh 2-gram tối ưu vào hệ sinh thái tường lửa thế hệ mới và giải pháp giám sát an ninh điểm cuối: Các trung tâm điều hành an toàn thông tin cần triển khai thử nghiệm giải pháp này trong lộ trình 3 đến 6 tháng, nhằm đạt mục tiêu phân loại sơ bộ hơn 80% các tệp thực thi nghi vấn ngay tại cổng vào với độ trễ xử lý dưới 50 mili-giây mỗi tệp.
  2. Nâng cấp mô hình phân loại đa tầng kết hợp kỹ thuật học sâu và môi trường hộp cát giả lập: Đội ngũ phát triển phần mềm an ninh mạng nên triển khai dự án nâng cấp trong vòng 6 đến 12 tháng, kết hợp phân tích tĩnh mã hex với giám sát hành vi động để giảm tỷ lệ âm tính giả xuống dưới 1,5% đối với các biến thể mã độc siêu đa hình.
  3. Xây dựng quy trình tự động hóa tái huấn luyện mô hình định kỳ theo chuẩn MLOps: Bộ phận vận hành an ninh doanh nghiệp cần thiết lập chu kỳ cập nhật mẫu mã độc hàng tuần, duy trì độ chính xác của bộ phân lớp trên 97% trước các chiến dịch tấn công có chủ đích mới xuất hiện.
  4. Chuẩn hóa bộ dữ liệu kiểm thử và kết hợp đặc trưng lời gọi hàm hệ thống: Các đơn vị nghiên cứu học thuật tại các trường viện cần phối hợp mở rộng tập mẫu lên trên 100.000 tệp tin trong giai đoạn 1 năm tới, kết hợp đặc trưng n-gram byte với chuỗi hàm API để nâng cao độ bao phủ nhận diện mã độc trên các nền tảng hệ điều hành 64-bit hiện đại.

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

Công trình nghiên cứu mang lại giá trị học thuật và ứng dụng thực tiễn phong phú cho 4 nhóm đối tượng chính:

  1. Kỹ sư an toàn thông tin và Chuyên gia phân tích mã độc tại các trung tâm SOC: Khai thác quy trình trích xuất đặc trưng PE Header và mã hex tĩnh để tự động hóa quy trình phân tích mẫu nghi vấn, giúp rút ngắn hơn 80% thời gian thẩm định thủ công các dòng mã độc phổ biến.
  2. Nhà phát triển phần mềm bảo mật và Kỹ sư trí tuệ nhân tạo: Tham khảo kiến trúc triển khai thuật toán SVM kết hợp hàm nhân phi tuyến và giải thuật chọn lọc thuộc tính n-gram nhằm tích hợp vào các engine chống virus thế hệ mới trên máy trạm.
  3. Học viên cao học, Nghiên cứu sinh và Sinh viên ngành Công nghệ thông tin: Sử dụng luận văn như tài liệu học thuật mẫu mực về phương pháp luận nghiên cứu, kỹ thuật tính toán chỉ số Entropy, độ lợi thông tin và phương pháp tối ưu hóa ma trận phân lớp dữ liệu nhị phân.
  4. Giám đốc công nghệ và Cán bộ quản lý hạ tầng công nghệ thông tin: Nắm bắt xu hướng ứng dụng học máy trong phòng thủ an ninh mạng, từ đó xây dựng chiến lược đầu tư giải pháp bảo vệ dữ liệu toàn diện cho tổ chức trước các hiểm họa số.

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

  1. Tại sao phương pháp phân tích tĩnh lại được ưu tiên lựa chọn thay vì phân tích động trong nghiên cứu này? Phương pháp phân tích tĩnh cho phép giải nén, dịch ngược và quét toàn bộ cấu trúc mã nhị phân của 4.698 tệp tin mà không cần khởi chạy chương trình. Giải pháp này loại bỏ hoàn toàn nguy cơ lây nhiễm chéo vào môi trường thử nghiệm, không bị đánh lừa bởi cơ chế phát hiện máy ảo của mã độc tinh vi và tiết kiệm hơn 70% thời gian xử lý so với việc chạy mẫu trong môi trường hộp cát.

  2. Thuật toán trích chọn đặc trưng đề xuất hoạt động dựa trên nguyên lý cốt lõi nào? Thuật toán hoạt động dựa trên việc tính toán tần số xuất hiện của từng chuỗi 2-gram byte, sau đó sắp xếp và chia mảng tần số thành các phân đoạn bằng nhau trên cả hai lớp tệp sạch và mã độc. Thuật toán tiến hành đo lường độ lệch tần suất trung bình; những đặc trưng có độ lệch lớn nhất giữa hai lớp sẽ được giữ lại, giúp loại bỏ các đặc trưng nhiễu và giảm kích thước không gian dữ liệu đáng kể.

  3. Mô hình SVM hay Cây quyết định ID3 phù hợp hơn cho bài toán phát hiện mã độc? Mô hình SVM với hàm nhân RBF thể hiện hiệu năng vượt trội hơn với độ chính xác trên 96,5% và tỷ lệ báo động nhầm dưới 3,2%. Trong khi đó, Cây quyết định ID3 chỉ đạt độ chính xác khoảng 91,2% đến 92,8%. Tuy nhiên, Cây quyết định có ưu thế về tốc độ suy luận nhanh và khả năng sinh ra các luật logic dạng nếu-thì rất trực quan cho chuyên gia thẩm định.

  4. Kích thước 2-gram mang lại lợi thế gì so với 1-gram hoặc 3-gram khi xử lý mã hex? Chuỗi 1-gram chỉ tạo ra 256 đặc trưng, quá ít để nắm bắt ngữ nghĩa của tập lệnh mã máy; ngược lại, 3-gram tạo ra hơn 16,7 triệu đặc trưng, dẫn đến bùng nổ chiều dữ liệu và gây nghẽn tài nguyên phần cứng. Kích thước 2-gram với 65.536 không gian trạng thái là điểm cân bằng hoàn hảo, vừa lưu giữ được ngữ cảnh của các cặp opcode liên tiếp, vừa đảm bảo tính khả thi trong huấn luyện mô hình.

  5. Làm thế nào để hệ thống kiểm soát tỷ lệ dương tính giả nhằm tránh chặn nhầm phần mềm hợp lệ? Luận văn kiểm soát tỷ lệ dương tính giả ở mức dưới 3,2% bằng cách sử dụng tập mẫu kiểm thử cân bằng gồm 2.373 tệp tin sạch chuẩn của hệ điều hành Windows. Quá trình chọn lọc đặc trưng phân đoạn chủ động loại trừ các đoạn mã nhị phân phổ biến thuộc các thư viện hệ thống dùng chung, giúp siêu phẳng của mô hình SVM phân tách ranh giới an toàn giữa phần mềm tiện ích và mã độc.

Kết luận

  1. Luận văn đã xây dựng thành công quy trình tự động hóa phát hiện mã độc trên định dạng Windows PE dựa trên phương pháp phân tích tĩnh kết hợp các thuật toán học máy giám sát.
  2. Đề xuất giải pháp trích chọn đặc trưng 2-gram tối ưu dựa trên độ lệch tần số phân đoạn, giải quyết triệt để bài toán bùng nổ chiều dữ liệu và loại bỏ các thuộc tính gây nhiễu.
  3. Thực nghiệm khoa học trên 4.698 mẫu tệp thực thi khẳng định mô hình SVM đạt độ chính xác nhận diện vượt trội trên 96,5% với tỷ lệ dương tính giả dưới 3,2%.
  4. Lộ trình phát triển tiếp theo trong 6 đến 12 tháng tập trung vào việc mở rộng quy mô tập dữ liệu lên trên 50.000 mẫu, đồng thời tích hợp mạng nơ-ron học sâu để phát hiện mã độc nén đa tầng.
  5. Nghiên cứu là nguồn tài liệu học thuật và kỹ thuật giá trị cao; các tổ chức và chuyên gia bảo mật nên ứng dụng ngay giải pháp trích chọn đặc trưng này vào việc tối ưu hóa hiệu năng các hệ thống giám sát an toàn thông tin thế hệ mới.