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 :  15,752,582
  • Ứng dụng 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

28/12/2017

2018-54-1142/KQNC

06/12/2018

Cục Thông tin Khoa học và Công nghệ Quốc gia

Vấn đề chính mà đề tài này này tập trung giải quyết là sử dụng các phương pháp hình thức (formal methods) để biểu diễn mã nhị phân, từ đó có thể (i) vượt qua được các kỹ thuật đóng gói hiện nay của virus, cụ thể là biểu diễn chính xác được hành vi của virus dưới dạng đồ thị luồng điều khiển (control flow graph); và (ii) phân loại virus dựa trên các dạng biểu diễn hình thức.
 

15472

Đề tài đã được hiện thực thành công cụ mang tên BE-PUM, được sử dụng trong cộng đồng nghiên cứu phòng chống virus máy tính

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

Ứng dụng

Đề tài KH&CN

Khoa học tự nhiên,

Phát triển công nghệ mới,

Số lượng công bố trong nước: 1

Số lượng công bố quốc tế: 11

Không

04 TS