HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ
Các nhiệm vụ khác
- Tổng hợp vật liệu Fe3O4/graphene aerogel ứng dụng làm chất hấp phụ hợp chất phenolic
- Nghiên cứu đề xuất mô hình hợp tác xã nuôi trồng thủy sản bền vững vùng lòng hồ thủy điện Sơn La
- Quản lý hoạt động huy động và cho vay ngang hàng dựa trên nền tảng công nghệ tài chính (Peer to Peer Lending – P2P Lending)
- Nghiên cứu chọn tạo 3 dòng gà lông mảu thả vườn có năng suất chất lượng cao
- Nghiên cứu đánh giá các tai biến địa chất và môi trường nghiêm trọng trong khai thác chế biến một số khoáng sản chính ở Việt Nam; đề xuất các giải pháp giảm thiểu thiệt hại và phòng chống tai biến
- Phát triển du lịch đường sông thành phố Cần Thơ
- Xây dựng mô hình sản xuất nhân tạo nghrru (Meretrix lyrata Sowerby 1851) giống ở tỉnh Bạc Liêu
- Đánh giá biến đổi khí hậu trong lịch sử thông qua các chỉ tiêu hóa lý trong vòng năm của cây thông nhựa ở tỉnh Quảng Bình và cây pơ mu ở tỉnh Lào Cai
- Nghiên cứu phổ và đặc trưng động học của các khối chất lỏng hình thành trong quá trình phân rã tia phun diesel và nhiên liệu sinh học
- Nghiên cứu xây dựng nền tảng công nghệ thông tin hỗ trợ công tác tổ chức quản lý nhiệm vụ khoa học và công nghệ cấp quốc gia
liên kết website
Lượt truy cập
Lượt truy cập :
18,415,580
- Ứ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+