Luận án đề xuất phương pháp giải quyết vấn đề bùng nổ không gian trạng thái cụ thể cho bài toán áp dụng kiểm tra mô hình phát hiện mã độc. | Tóm tắt luận án Tiến sĩ Khoa học máy tính: Áp dụng kiểm tra mô hình và phân tích khái niệm hình thức để phân loại và phát hiện mã độc ĐẠI HỌC QUỐC GIA TP. HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOA NGUYỄN THIÊN BÌNH ÁP DỤNG KIỂM TRA MÔ HÌNH VÀ PHÂN TÍCH KHÁI NIỆM HÌNH THỨC ĐỂ PHÂN LOẠI VÀ PHÁT HIỆN MÃ ĐỘC Chuyên ngành: Khoa học máy tính Mã số chuyên ngành: TÓM TẮT LUẬN ÁN TIẾN SĨ KỸ THUẬT TP. HỒ CHÍ MINH NĂM 2018 Công trình được hoàn thành tại Trường Đại học Bách Khoa–ĐHQG– Người hướng dẫn khoa học: PGS. TS. Quản Thành Thơ Phản biện độc lập 1: Phản biện độc lập 2: Phản biện 1: PGS. TS. Vũ Thanh Nguyên Phản biện 2: TS. Mai Hoàng Bảo Ân Luận án sẽ được bảo vệ trước Hội đồng chấm luận án họp tại vào lúc giờ ngày tháng năm Có thể tìm hiểu luận án tại thư viện: - Thư viện Khoa học Tổng hợp Tp. HCM - Thư viện Trường Đại học Bách Khoa – ĐHQG-HCM DANH M÷C CÔNG TRÌNH Ã CÔNG B» ÓNG GÓP CHÍNH T§p chí chuyên ngành quËc t∏ [CT1] B. T. Nguyen, D. C. Tran, T. T. Quan, and H. M. Nguyen, "Viral logical concept analysis for malware conceptual hierarchy generation," in International Journal of Machine Learning and Computing (IJMLC), 2017, vol. 7, no. 4, pp. 49-54. T§p chí chuyên ngành trong n˜Óc [CT2] B. T. Nguyen, V. H. Nguyen, T. T. Quan, and D. C. Nguyen, "A two-layer formal framework for handling obfuscation techniques of polymorphic virus," in Journal of Science and Technology, 2013, vol. 51, pp. 231-241. HÎi th£o chuyên ngành quËc t∏ [CT3] B. T. Nguyen, T. T. Quan, N. M. Ha, and H. M. Nguyen, “Incremental verification of !-regions on binary control flow graph for computer virus .
