Bài viết trình bày phương pháp hình thức sử dụng đặc tả logic cho việc đánh giá và phân tích lỗ hổng an ninh mạng. Với phương pháp này các lỗ hổng được phát hiện mà không cần phải mô phỏng các cuộc tấn công và nó cũng có thể dễ dàng tích hợp với các công cụ bảo mật khác dựa trên cơ sở dữ liệu quan hệ. | 46 TRƯỜNG ĐẠI HỌC THỦ ĐÔ H NỘI MỘT PHƯƠNG PHÁP ĐẶC TẢ LOGIC CHO VIỆC ĐÁNH GIÁ V- PHÂN TÍCH LỖ HỔNG AN NINH NINH MẠNG Trần Bá Hùng1 Nguyễn Đức Giang1 Bùi Thị Thư1 Lưu Thị Bích Hương2 1 Viện Công nghệ Thông tin Viện Hàn lâm Khoa học và Công nghệ Việt Nam 2 Trường Đại học Sư phạm Hà Nội 2 Tóm tắt tắt Điều quan trọng ñối với các quản trị viên hệ thống là phải biết về những lỗ hổng bảo mật. Tuy nhiên các phương pháp ñánh giá tính dễ tổn thương hiện tại có thể gặp phải các vấn ñề về tỷ lệ sai lệch cao thời gian tính toán dài. Hơn nữa chúng chỉ có khả năng ñịnh vị các lỗ hổng riêng lẻ trên một máy chủ lưu trữ mà không cần quan tâm ñến hiệu quả tương ứng của các lỗ hổng trên máy chủ hoặc một phần của mạng với các lỗ hổng có thể ñược phân phối giữa các máy khác nhau. Để giải quyết những vấn ñề này chúng tôi ñưa ra một phương pháp hình thức sử dụng ñặc tả logic cho việc ñánh giá và phân tích lỗ hổng an ninh mạng. Với phương pháp này các lỗ hổng ñược phát hiện mà không cần phải mô phỏng các cuộc tấn công và nó cũng có thể dễ dàng tích hợp với các công cụ bảo mật khác dựa trên cơ sở dữ liệu quan hệ. Từ khóa khóa An ninh mạng ñánh giá tính dễ tổn thương lỗ hổng bảo mật thuộc tính logic Nhận bài ngày gửi phản biện chỉnh sửa và duyệt ñăng ngày Liên hệ tác giả Trần Bá Hùng Email tbhung@ 1. GIỚI THIỆU Ngày nay với sự gia tăng mạnh mẽ của mạng máy tính và sự phức tạp của phần mềm máy tính các lỗ hổng bảo mật cũng tăng nhanh ở các doanh nghiệp lớn 3 . Vì nhiều vấn ñề về bảo mật gây ra bởi các lỗ hổng ẩn trong các mạng máy tính ñiều cực kỳ quan trọng là các quản trị viên hệ thống phải biết về các lỗ hổng này. Phân tích những lỗ hổng này và tìm ra cách khai thác khắc phục chúng là rất quan trọng cho các hệ thống thông tin của tổ chức doanh nghiệp 9 có nhiều nghiên cứu ñể phát triển kỹ thuật ñánh giá tính dễ tổn thương như xác ñịnh các lỗ hổng bảo mật hiện có trong mạng. Trong thực tế cùng với tường lửa hệ thống phát hiện xâm nhập mã hóa và bảo vệ chống .
