BỘ KHOA HỌC VÀ CÔNG NGHỆ
HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ

Các nhiệm vụ khác
liên kết website
Lượt truy cập
 Lượt truy cập :  17,932,012
  • Kết quả thực hiện nhiệm vụ

102.01-2015.16

2018-54-1142/KQNC

Sử dụng phương pháp hình thức để nhận dạng và phân loại mã độc được đóng gói

Trường Đại học Bách khoa TP. Hồ Chí Minh

Đại học Quốc gia TP Hồ Chí Minh

Quốc gia

PGS.TS. Quản Thành Thơ

PGS.TS. Huỳnh Tường Nguyên, PGS.TS. Bùi Hoài Thắng, ThS. Nguyễn Thiên Bình, ThS. Nguyễn Minh Hải, ThS. Lê Ngọc Kim Khánh, ThS. Trần Công Đời, ThS. Lê Đình Thuận

Khoa học máy tính

01/05/2016

01/05/2018

2019

Hồ Chí Minh

285 tr.

Hoàn thiện quá trình sinh đồ thị luồng điều khiển từ mã nhị phân bằng cách kết hợp phương pháp symbolic execution dựa trên giá trị symbolic và giá trị cụ thể. Sử dụng đồ thị luồng điều khiển để nhận dạng các kỹ thuật đóng gói thường được sử dụng bởi mã độc. Sử dụng trừu tượng hoá dựa trên thành phần để thu giảm việc tìm kiếm trên không gian trạng thái. Mở rộng lý thuyết Formal Concept Analysis (FCA) để xây dựng giàn (lattice) khái niệm của mã độc và từ đó xây dựng nên cây khái niệm về mã độc. Hiện thực và đóng gói một công cụ anti-packing dùng để phòng chống các loại mã độc có sử dụng các kỹ thuật đóng gói.

Mã độc, Đóng gói, Lý thuyết FCA, Trừu tượng hóa, Nhận dạng, Đồ thị, Phân loại

24 Lý Thường Kiệt, Hà Nội

15472