NGHIÊN CỨU PHƯƠNG PHÁP HÌNH THỨC DỰA TRÊN LOGIC TRONG PHÂN TÍCH AN NINH MẠNG

Abstract

Ngày nay với sự phát triển không ngừng của internet và các lĩnh vực trong công nghệ thông tin, các thiết bị
phần cứng, các ứng dụng phần mềm và các dịch vụ trên internet trở nên rất phổ biến làm cho nền kinh tế của các nước trên toàn thế
giới ngày càng phát triển.
Tuy nhiên, cùng với sự phát triển nhanh chóng đó luôn tiềm ẩn những rủi ro, gây ra những hệ lụy tổn thất về tài chính, uy
tín… cho các tổ chức hay cá nhân tham gia dịch vụ. Do đó, vấn đề đảm bảo an toàn, an ninh thông tin trong quá trình truyền tải
thông tin trên môi trường mạng luôn là một vấn đề nóng trong nghiên cứu và ứng dụng thực tiễn. Đặc biệt là với một mạng doanh
nghiệp, vấn đề đảm bảo an ninh, an toàn thông tin mạng ngày càng trở nên khó khăn. Hiện nay với sự lan tỏa của các lỗ hổng phần
mềm, các nhà quản trị hệ thống đang phải đối mặt với rất nhiều thách thức và khó khăn trong việc đảm bảo an ninh không gian
mạng. Bài báo này sẽ trình bày một cách tiếp cận của phương pháp hình thức dựa trên logic trong việc phân tích an ninh mạng nhằm phát hiện ra các lỗ hổng đang tồn tại trong hệ thống và những cuộc tấn công có thể có nhằm vào hệ thống, giúp cho các chuyên gia bảo mật và các nhà quản trị hệ thống quản lý tốt hơn cấu hình của một mạng doanh nghiệp và có thể kiểm soát được các rủi ro trong an ninh mạng.