HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ
Các nhiệm vụ khác
- Nghiên cứu metagenome của một số hệ sinh thái mini tiềm năng nhằm khai thác các gen mới mã hóa hệ enzyme chuyển hóa hiệu quả lignocellulose
- Đánh giá kiến thức thực hành an toàn thực phẩm của người người quản lý sản xuất chế biến kinh doanh và tiêu dùng thực phẩm tại Đức Phổ năm 2019
- Nghiên cứu xây dựng quy trình đánh giá khả năng chịu lực của cấu kiện kính xây dựng
- Nghiên cứu thiết kế chế tạo bộ nguồn biến đổi tần số 3 pha 50Hz/400Hz công suất lớn phục vụ cho các sân bay dân dụng Việt Nam
- Phân tách định danh và đánh giá hoạt tính kháng cỏ dại của các hợp chất hóa học trong cây mai dương (Mimosa pigra)
- Tìm hiểu nhận thức thái độ và kết quả học tập các học phần lý luận chính trị của học sinh sinh viên Trường Cao đẳng Y tế Đặng Thùy Trâm năm học 2016 - 2017
- Đánh giá dịch vụ hệ sinh thái ven biển Việt Nam dưới tác động của quá trình đô thị hóa và biến đổi khí hậu dựa trên việc phát triển mô hình Bayesian Belief Network
- Ảnh hưởng của cách mạng khoa học và công nghệ đến con người Việt Nam
- Khai thác và phát triển nguồn gen nấm Cordyceps takaomontana Yakush & Kumaz làm dược liệu
- Hoàn thiện công nghệ thông tin - tự động hóa để xây dựng hệ thống thông tin quản lý cơ sở dữ liệu ngành thủy lợi phục vụ công tác phòng chống úng hạn nhằm ứng phó với tình hình biến đổi khí hậu
liên kết website
Lượt truy cập
Lượt truy cập :
18,402,990
- Ứ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+