HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ
Các nhiệm vụ khác
- Nghiên cứu ứng dụng và tối ưu hóa thủ pháp bơm mẫu kết hợp làm giàu mẫu theo nguyên lý tập trung phân đoạn nhằm tăng cường độ nhạy cho phép xác định trực tiếp tiểu phần As(III) vô cơ trong nước ngầm bằng phương pháp điện di mao quản
- Nghiên cứu đánh giá nhân giống và kỹ thuật trồng Gừng đá Bắc Kạn
- Hoàn thiện cơ chế tổ chức theo dõi thi hành pháp luật ở Việt Nam hiện nay
- Nghiên cứu mối liên quan giữa nồng độ Prolactin IgE với kết quả điều trị bệnh vảy nến thông thường bằng Methotrexat đơn thuần và kết hợp PUVA tại Bệnh viện Phong - Da liễu Trung ương Quy Hòa năm 2018-2020
- Nghiên cứu sử dụng tế bào miễn dịch tự thân gamma delta T (γδT) và diệt tự nhiên (NK) trong điều trị ung thư phổi
- Khảo sát chuyển pha trong hệ đơn giản 2 chiều với thế tương tác square bằng phương pháp động lực học phân tử
- Tổng hợp nghiên cứu cấu tạo và hoạt tính sinh học một số dẫn xuất dị vòng của 13-tropolon
- Nghiên cứu cơ chế tác động của các chất ô nhiễm hữu cơ bền vững lên các sinh vật thông qua thụ thể tế bào Constitutive Androstane Receptor bằng phương pháp biosensor dựa trên nguyên lý cộng hưởng plasmon bề mặt
- Nghiên cứu đặc điểm hệ gen và dịch tễ học phân tử virus viêm gan vịt (Duck Hepatitis A Virus) và virus dịch tả vịt (Duck Enteritis Virus) tại Việt Nam
- Nghiên cứu tổng hợp thế hệ vật liệu MOFs mới cấu trúc nano ứng dụng làm xúc tác hiệu quả cao để xử lý các chất hữu cơ độc hại trong môi trường nước
liên kết website
Lượt truy cập
Lượt truy cập :
18,428,637
- Ứ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+