Full metadata record
DC FieldValueLanguage
dc.contributor.advisorQuản, Thành Thơ-
dc.contributor.authorNguyễn, Minh Hải-
dc.date.accessioned2019-10-04T02:39:00Z-
dc.date.available2019-10-04T02:39:00Z-
dc.date.issued2019-
dc.identifier.other62.48.01.01-
dc.identifier.urihttp://ir.vnulib.edu.vn/handle/VNUHCM/5465-
dc.description155 tr.vi
dc.description.abstractPhân tích chương trình là một lĩnh vực đang thu hút rất nhiều sự chú ý của các nhà nghiên cứu. Tuy nhiên, một trong những vấn đề lớn của bài toán này nằm ở việc xây dựng đồ thị luồng điều khiển của chương trình nhị phân. Đây là một khó khăn lớn do đồ thị luồng điều khiển thường được tạo ra và thay đổi một cách ngẫu nhiên do những kỹ thuật như mã tự thay đổi. Tuy nhiên, khó khăn điển hình trong lĩnh vực xây dựng đồ thị luồng điều khiển là quá trình xử lí những câu lệnh nhảy không trực tiếp. Trong luận án này, chúng tôi đề xuất hướng tiếp cận kiểm tra thực thi ký hiệu động kết hợp quá trình phân tích tĩnh và kiểm tra động để xây dựng đồ thị luồng điều khiển từ mã nhị phân của chương trình. Mục tiêu của hướng tiếp cận này là để giảm sự không chính xác trong xử lý lệnh nhảy động của quá trình xây dựng đồ thị luồng điều khiển. Các đóng góp chính của luận án được tóm tắt như sau: i. Luận án đề xuất một khung thức tổng quát cho xây dựng đồ thị luồng điều khiển từ mã nhị phân của chương trình một cách tự động. ii. Luận án đưa ra giải pháp để tăng tốc quá trình thực thi của chương trình bằng cách áp dụng giải thuật song song hóa với tính toán đa luồng để tăng tốc độ xử lý các trạng thái. iii. Luận án đề xuất cách khai thác tri thức dựa trên đồ thị luồng điều khiển của mã nhị phân. Luận án tập trung vào vấn đề nhận diện chương trình đóng gói trên mã độc với hai hướng tiếp cận: (i) sử dụng kiểm tra Chi bình phương; (ii) sử dụng mô hình Markov ẩn. iv. Luận án trình bày giải pháp nhận diện mã độc dựa trên phương pháp học sâu. v. Cuối cùng, luận án cũng đã xây dựng một công cụ hoàn chỉnh có tên là BE-PUM cho việc xây dựng đồ thị luồng điều khiển từ mã nhị phân.vi
dc.language.isovivi
dc.publisherĐại học Quốc gia TP. Hồ Chí Minh.vi
dc.subjectComputer science.vi
dc.subjectKhoa học máy tính.vi
dc.titleKết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phânvi
dc.typeLuận văn, Luận án (Theses)vi
Appears in Collections
CL – VNUHCM


  • thvnu400000443.pdf
    • Size : 3,37 MB

    • Format : Adobe PDF

    • Views : 
    • Downloads : 
  • thvnu400000443-1.pdf
  • TÓM TẮT
    • Size : 993 kB

    • Format : Adobe PDF

    • Views : 
    • Downloads :