Các nhiệm vụ khác
- Phát triển cụm liên kết ngành trong nông nghiệp để thực hiện tái cơ cấu ngành nông nghiệp theo hướng phát triển bền vững
- NGHIÊN CỨU ĐỀ XUẤT GIẢI PHÁP NÂNG CAO CHẤT LƯỢNG HOẠT ĐỘNG CÔNG ĐOÀN THỦ ĐÔ TRONG ĐẠI DIỆN BẢO VỆ QUYỀN LỢI ÍCH HỢP PHÁP VÀ CHÍNH ĐÁNG CHO NGƯỜI LAO ĐỘNG
- Nghiên cứu xây dựng cơ sở dữ liệu số môn Lịch sử phục vụ khai thác sử dụng trong dạy học cho học sinh trung học phổ thông trên địa bàn tỉnh Quảng Bình
- Nghiên cứu bào chế sinh khả dụng và tác dụng chống ung thư của tiểu phân nano artesunat
- Xây dựng và tiêu chuẩn hóa phương pháp Realtime PCR tại Việt Nam để phát hiện định lượng phục vụ đánh giá rủi ro nhiễm Campylobacter trong chiến lược giám sát toàn cầu
- Nghiên cứu ứng dụng chuyển giao công nghệ sinh sản nhân tạo cá lóc và cá rô đồng tại Quảng Bình
- Hoàn thiện các giải pháp công nghệ để nâng cao sản lượng và đa dạng hóa sản phẩm của quá trình chế biến apatit sử dụng trong ngành chăn nuôi
- Nghiên cứu trồng thử nghiệm cây sâm Ngọc Linh (Panax vietnamensis Ha et Grushv) tại Khu bảo tồn thiên nhiên Hòn Bà
- An ninh phi truyền thống ở vùng dân tộc thiểu số nước ta hiện nay: Thực trạng và giải pháp
- Cấu trúc liên kết hóa học và tiềm năng ứng dụng của cụm nguyên tử Boron được pha tạp bởi kim loại chuyển tiếp
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+