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

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.
Nội dung trích xuất từ tài liệu:
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à ĐỘCChuyên ngành: Khoa học máy tínhMã số chuyên ngành: 62.48.01.01 TÓM TẮT LUẬN ÁN TIẾN SĨ KỸ THUẬT TP. HỒ CHÍ MINH NĂM 2018Công trình được hoàn thành tại Trường Đại học Bách Khoa–ĐHQG–Tp.HCMNgườ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ênPhản biện 2: TS. Mai Hoàng Bảo ÂnLuậ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ămCó 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 detection,” in 2016 3rd National Foundation for Science and Technology Development Conference on Information and Computer Science, NICS 2016. Proceedings, 2016, pp. 68–73.[CT4] B. T. Nguyen, T. T. Quan, and H. M. Nguyen, “On-the-fly abstract interpretation to handle obfuscated polymorphic virus with HOPE,” in The Fourth Asian Conference on Information Systems, ACIS 2015, Penang, Malaysia, October 15-17, 2015. Proceedings, 2015.[CT5] B. T. Nguyen, D. C. Tran, T. T. Quan, and H. M. Nguyen, “Feature-driven formal concept analysis for malware hierarchy construction,” in Multi-disciplinary Trends in Artificial Intelligence - 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015. Proceedings, 2015, pp. 385–396. [Online]. Available: https://doi.org/10.1007/978-3- 319-26181-2_36 i[CT6] B. T. Nguyen, T. T. Quan, H. M. Nguyen, and V. H. Nguyen, “HOPE: a framework for handling obfuscated polymorphic malware,” in 19th International Symposium on Formal Methods, FM 2014, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 26-30. [Online]. Available: https://dl.comp.nus.edu.sg/jspui/bitstream/1900.100/4623/2/TRA5-14.pdf[CT7] B. T. Nguyen, B. T. Ngo, and T. T. Quan, “A memory-based abstraction approach to handle obfuscation in polymorphic virus,” in 19th Asia-Pacific Software Engineering Conference - Workshops, APSEC 2012, Hong Kong, China, December 4-7, 2012. Proceedings, 2012, pp. 158–161. [Online]. Available: https://doi.org/10.1109/APSEC.2012.78 ÓNG GÓP PH÷ T§p chí chuyên ngành quËc t∏[CT8] H. M. Nguyen, N. M. Ha, B. T. Nguyen, and T. T. Quan,Toward an Approach on Proba- bility Distribution for Polymorphic Malware Analysis,” in GSTF Journal on Computing (JOC), 2016, vol. 5 (1), pp. 61-68 (selected from 7th Annual International Conference on ICT: Big Data, Cloud and Security, ICT-BDCS 2016, 2016, Singapore - best paper award). HÎi th£o chuyên ngành quËc t∏[CT9] H. M. Nguyen, B. T. Nguyen, T. T. Quan, and M. Ogawa, “A Hybrid Approach for Control Flow Graph Construction from Binary Code,” in Proceedings of the 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Postgrad Symposium, Thailand, 2013. iiCH◊ÃNG 1 GIŒI THIõU1.1 S¸ c¶n thi∏t th¸c hiªn ∑ tàiNhu c¶u v∑ viªc phát hiªn mã Îc là rßt lÓn, tuy nhiên ph˜Ïng pháp so trùng ch˙ k˛ và phântích trong môi tr˜Ìng gi£ l™p g∞p nhi∑u h§n ch∏ vÓi các mã Îc mÓi, ph˘c t§p. H˜Óng ti∏p c™n ki∫m tra mô hình giúp gi£i quy∏t nh˙ng vßn ...