1 trang 83 lượt tải

Những vấn đề cơ bản trong An Toàn Thông Tin - Cơ sở an toàn thông tin - Học Viện Kỹ Thuật Mật Mã

165

Mật Mã Hậu Lượng tử(Post-Quantum Cryptograph). Một cách tiếp cận điểm bằng chứng để xác minh chính thức giao thức bảo mật (A proof score approach to security protocol formal verification). Kỹ thuật phần mềm và Trí tuệ nhân tạo trong phân tich mã độc (Software Engineering meets Artificial Intelligence at Malware Analysis). Đánh giá thiệt hại của khu vực bị ảnh hưởng bởi thiên tai bằng Radar Synthetic Aperture (Damage assessment of areas affected by natural disasters with Synthetic Aperture Radar). Tài liệu giúp bạn tham khảo và đạt kết quả tốt. Mời bạn đọc đón xem!

Môn: Cơ sở an toàn thông tin 27 tài liệu

Trường: Học viện kỹ thuật mật mã 207 tài liệu

Tác giả:

Profile

Mai Hương

1 năm trước
Tải xuống
Báo cáo
Danh sách Quiz
Tải xuống
/1
lOMoARcPSD|1 6072870
lOMoARcPSD|1 6072870
Những vấn đề cơ bản trong An Toàn Thông Tin.
1.Mật Mã Hậu Lượng tử(Post-Quantum Cryptograph)
2. Một cách tiếp cận điểm bằng chứng để xác minh chính thức giao thức bảo mật (A proof score
approach to security protocol formal verification) .
3.
Kỹ thuật phần mềm và Trí tuệ nhân tạo trong phân tich mã độc (Software Engineering meets Artificial
Intelligence at Malware Analysis) .
4. Đánh giá thiệt hại của khu vực bị ảnh hưởng bởi thiên tai bằng Radar Synthetic Aperture (Damage
assessment of areas affected by natural disasters with Synthetic Aperture Radar).
5. Ứng dụng của các chương trình xác minh và kỹ thuật tổng hợp chương trình về bảo mật, và không can
thiệp đến ReDoS (Applications of program verification and synthesis techniques to security, from non-
interference to ReDoS).
6. Khảo sát về hệ sinh thái Ransomware (A survey on ransomware ecosystem).

Tài liệu khác của Học viện kỹ thuật mật mã

Preview text:

lOMoARcPSD|16072870 lOMoARcPSD|16072870
Những vấn đề cơ bản trong An Toàn Thông Tin.
1.Mật Mã Hậu Lượng tử(Post-Quantum Cryptograph)
2. Một cách tiếp cận điểm bằng chứng để xác minh chính thức giao thức bảo mật (A proof score
approach to security protocol formal verification) .
3. Kỹ thuật phần mềm và Trí tuệ nhân tạo trong phân tich mã độc (Software Engineering meets Artificial
Intel igence at Malware Analysis) .
4. Đánh giá thiệt hại của khu vực bị ảnh hưởng bởi thiên tai bằng Radar Synthetic Aperture (Damage
assessment of areas affected by natural disasters with Synthetic Aperture Radar).
5. Ứng dụng của các chương trình xác minh và kỹ thuật tổng hợp chương trình về bảo mật, và không can
thiệp đến ReDoS (Applications of program verification and synthesis techniques to security, from non- interference to ReDoS).
6. Khảo sát về hệ sinh thái Ransomware (A survey on ransomware ecosystem).

Tài liệu liên quan: