Một phương pháp đặc tả logic cho việc đánh giá và phân tích lỗ hổng an ninh mạng

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ệ.

Từ 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, Lỗ hổng an ninh mạng