Các nhiệm vụ khác
- Nghiên cứu thành phần hóa học và hoạt tính sinh học của một số loài lá kim chọn lọc ở Tây Nguyên
- Ứng dụng tiến bộ kỹ thuật xây dựng mô hình nuôi trồng quả thể nấm đông trùng hạ thảo loài Cordyceps militaris tại tỉnh Lạng Sơn
- Nghiên cứu sự hình thành màng sinh học (BIOFILM) từ các vi sinh vật phân lập tại Việt Nam nhằm định hướng ứng dụng trong xử lý ô nhiễm dầu mỏ
- Ứng dụng CNTT nâng cao năng lực quản lý và phát huy giá trị các hiện vật tại Bảo tàng tỉnh Nam Định
- Nghiên cứu hấp phụ kim loại nặng trong nước từ than hoạt tính được điều chế từ vỏ hạt Macca
- Tổng hợp bất đối xứng một số dẫn xuất Artemisinin sử dụng hệ xúc tác quang hoạt Salen với một số kim loại chuyển tiếp Mn Cu Co Ni
- Nghiên cứu chọn tạo giống lúa ngắn ngày chất lượng cao năng suất cao phục vụ nội tiêu và xuất khẩu
- Chọn tạo hai dòng vịt chuyên thịt (dòng trống và dòng mái) có năng suất thịt cao cho chăn nuôi thâm canh (nuôi nhốt hoặc nuôi khô)
- Nghiên cứu cơ chế nước biển dâng sau bão tại ven biển Bắc Bộ bằng mô hình số trị tích hợp và đề suất cải tiến công nghệ dự báo trong bối cảnh biến đổi khí hậu
- Nghiên cứu đánh giá chi phí đầu tư kinh doanh ở Vĩnh Phúc và đề xuất cơ chế chính sách hỗ trợ giảm chi phí đầu tư kinh doanh
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+