Các nhiệm vụ khác
- Nghiên cứu hoàn thiện công nghệ nuôi tảo Spirulina nước lợ và sản xuất một số sản phẩm thực phẩm chức năng từ sinh khối tảo này tại Thanh Hóa
- Nghiên cứu tổng hợp chất xúc tác tiên tiến đa năng mới trên cơ sở vật liệu mao quản nano sử dụng cho quá trình chế tạo nhiên liệu sinh học hóa dược và bảo vệ môi trường
- Nghiên cứu cơ chế hình thành mầm và phát triển tinh thể theo thuyết phi cổ điển đối với một số amino acid và protein ứng dụng trong ngành dược
- Nghiên cứu xây dựng hệ thống chỉ tiêu và phương pháp đo lường năng suất
- Quy tắc xuất xứ hiệp định tự do thương mại và chuỗi giá trị toàn cầu: nghiên cứu thực tiễn tại Việt Nam
- Phân tích trình tự nucleotide và đặc điểm phân tử hệ gen virus Parvo (Porcine Parvovirus – PPV) gây rối loạn sinh sản trên lợn phân lập tại Việt Nam và ứng dụng trong chẩn đoán đồng thời các tác nhân virus gây bệnh trên lợn
- Nghiên cứu giải pháp công nghệ nhằm nâng cao hiệu quả khai thác hỗ trợ điều hành tưới cho các hệ thống thủy lợi trên địa bàn tỉnh Bắc Ninh áp dụng thí điểm cho hệ thống thủy lợi Bắc Đuống
- Nghiên cứu phát triển chuỗi sản phẩm có giá trị gia tăng cao từ mỡ cá tra và cá basa nâng cao hiệu quả kinh tế của nghề nuôi và chế biến cá da trơn ở một số tỉnh miền Tây Nam Bộ
- Thiết kế và đánh giá kỹ thuật đa truy cập phi trực giao (NOMA) cho mạng 5G
- Nghiên cứu thiết kế thử nghiệm nền tảng Smart Building (Smart building platform)
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+