Báo cáo tài liệu vi phạm
Giới thiệu
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
THỊ TRƯỜNG NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Thông tin
Tài liệu Xanh là gì
Điều khoản sử dụng
Chính sách bảo mật
0
Trang chủ
Công Nghệ Thông Tin
Kỹ thuật lập trình
Sử dụng phương pháp hình thức để nhận dạng Packer
Đang chuẩn bị liên kết để tải về tài liệu:
Sử dụng phương pháp hình thức để nhận dạng Packer
Minh Tân
104
10
pdf
Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG
Tải xuống
Bài viết đề xuất việc sử dụng phương pháp hình thức nhằm nhận dạng packer bằng cách kết hợp giữa hai công cụ BE-PUM và công cụ NuSMV. Mời các bạn cùng tham khảo bài viết để nắm chi tiết hơn nội dung nghiên cứu. | Kỷ yếu Hội nghị Khoa học Quốc gia lần thứ IX Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin FAIR 9 Cần Thơ ngày 4-5 8 2016 DOI 10.15625 vap.2016.00086 SỬ DỤNG PHƯƠNG PHÁP HÌNH THỨC ĐỂ NHẬN DẠNG PACKER Nguyễn Minh Hải 1 Đỗ Duy Phong1 Quản Thành Thơ1 1 Khoa Khoa học và Kỹ thuật máy tính Trƣờng Đại học Bách Khoa Thành phố Hồ Chí Minh hainmmt@cse.hcmut.edu.vn doduyphongbktphcm@gmail.com qttho@cse.hcmut.edu.vn TÓM TẮT Hiện nay an toàn thông tin là một vấn đề vô cùng quan trọng và thu hút sự quan tâm rất lớn. Những phần mềm độc hại malware đã và đang dần trở thành mối đe doạ thực sự đối với mỗi quốc gia. Năm 2006 theo một thống kê bởi Computer Economics 2007 Malware Report khoảng 13.3 tỉ đô la đã được tiêu tốn để khắc phục những hậu quả của malware và con số này vẫn tiếp tục gia tăng do mức độ độc hai và tinh vi của malware ngày càng lớn. Để phân tích và phát hiện malware đa phần những phần mềm trong công nghiệp sử dụng kỹ thuật nhận dạng chữ ký. Trong kỹ thuật này mỗi malware sẽ được biểu diễn dưới dạng một chuỗi bit nhị phân duy nhất đặc trưng cho malware. Tuy nhiên với việc những malware ngày này sử dụng các phần mềm đóng gói packer để tạo ra nhiều biến thể mới đã khiến kỹ thuật nhận dạng chữ ký trở nên không hiệu quả. Hơn thế nữa khi phân tích malware đã được đóng gói kỹ thuật dịch ngược vốn được xem là kỹ thuật hiệu quả để phát hiện malware cũng trở nên rất khó khăn và nhiều thách thức bởi packer đã sử dụng rất nhiều kỹ thuật rắc rối hóa cũng như kỹ thuật chống dịch ngược và chống gỡ lỗi. Xuất phát từ những khó khăn thực tế đó bài báo đề xuất việc sử dụng phương pháp hình thức nhằm nhận dạng packer bằng cách kết hợp giữa hai công cụ BE-PUM và công cụ NuSMV. Chúng tôi đã phát triển công cụ BE-PUM Binary Emulator for PU shdown Model generation với mục tiêu xây dựng mô hình chính xác của một chương trình mã nhị phân và xử lý được những kỹ thuật obfuscation đặc trưng của packer như lệnh nhảy không trực tiếp code tự thay đổi. Hiện tại BE-PUM đã xử lý được các kỹ .
TÀI LIỆU LIÊN QUAN
Sáng kiến kinh nghiệm: Hướng dẫn học sinh sử dụng tọa độ trong hình học phẳng để chứng minh một số bất đẳng thức, giải một số phương trình và bất phương trình đại số nhằm nâng cao chất lượng đối với học sinh lớp 10 ở trường THPT
Luận văn Thạc sĩ Giáo dục học: Sử dụng mô thức và không gian làm việc hình học để phân tích khó khăn của học sinh và quan niệm của giáo viên về dạy học Hình học
Sáng kiến kinh nghiệm: Rèn luyện cho học sinh sử dụng công thức tỷ số thể tích để giải một số bài toán hình học không gian lớp 12
Luận văn Thạc sĩ Sư phạm Toán: Sử dụng câu hỏi hiệu quả trong dạy học khám phá chủ đề phân số ở lớp 6
Luận văn Thạc sĩ Quản lý tài nguyên và môi trường: Đánh giá kết quả thực hiện phương án Quy hoạch sử dụng đất trên địa bàn thành phố Biên Hòa, tỉnh Đồng Nai giai đoạn 2011-2015 và đề xuất giải pháp cho giai đoạn 2016 - 2020
Sáng kiến kinh nghiệm THPT: Hướng dẫn học sinh lớp 10 sử dụng phương pháp Hình học để giải một số bài toán chứng minh bất đẳng thức Đại số
Đề tài: Sử dụng mô hình swot gồm 4 yếu tố để phân tích điểm mạnh điểm yếu cơ hội và thách thức của mặt hang tôm Việt Nam xuất khẩu vào thị trường các nước phát triển
Luận văn Thạc sĩ Toán học: Phương pháp sử dụng tính chất hình học để chứng minh bất đẳng thức
ĐỀ ÁN: "nghiên cứu vấn đề bản chất, chức năng, hình thức của tín dụng và vai trò của nó đối với sự phát triển của nền kinh tế thị trường định hướng "
Luận văn Thạc sĩ Sư phạm Toán: Phát triển năng lực hợp tác trong dạy học chủ đề Ứng dụng thống kê trong thực tiễn, chương trình Đại số lớp 10 ban cơ bản
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.