Các nhiệm vụ khác
- nhân rộng mô hình ghép cải tạo trong việc nâng cao năng suất chất lượng giống bơ trên địa bàn thành phố Bảo Lộc
- Xây dựng mô hình điểm tổ chức cộng đồng xây dựng nông thôn mới ở 3 xã đặc biệt khó khăn thuộc 3 huyện nghèo (CT 30A) của ba khu vực Tây Bắc Tây Nguyên và Tây Nam Bộ
- Thiết kế tổng hợp thử tác dụng ức chế histone deacetylase và tác dụng kháng ung thư của các dẫn chất kiểu lai hóa quinazolin-acid hydroxamic
- Xây dựng mô hình cộng đồng giảm thiểu nguy cơ rủi ro do thuốc BVTV
- Tối ưu hóa các thông số công nghệ của phương pháp xung định hình với bột titan trộn trong dung dịch điện môi khi gia công thép làm khuôn bằng phương pháp Topsis – Taguchi
- Nghiên cứu chế tạo màng giảm phản xạ trên đế Ge dải sóng 8-12 micromet
- Thử nghiệm mô hình nuôi cá lóc thương phẩm theo hướng VietGAP liên kết với sản xuất khô mắm cá an toàn thực phẩm tại TP Châu Đốc An Giang
- Xây dựng phần mềm quản lý và đánh giá trình độ công nghệ tỉnh Ninh Bình
- Ứng dụng khoa học công nghệ phát triển giống cam Valencia2 (V2) trên địa bàn huyện Bảo Thắng tỉnh Lào Cai
- Giải pháp phát triển tổ hợp tác hợp tác xã thanh niên khu vực đồng bằng sông Cửu Long của Đoàn TNCS Hồ Chí Minh
liên kết website
Lượt truy cập
Lượt truy cập :
13079543
- Ứ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.
Đề 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
In ấn
Gửi Email
Facebook
Twitter
Google+