For example,Бобцов

VERIFICATION OF FILTERING RULES OF SECURITY POLICY BY MODEL CHECKING

Annotation

An approach to verification of filtering rules for detection and resolution of filtering anomalies in computer network security policy is proposed. The approach is based on model checking method. The models of computer system, firewall, and filtering anomalies, which are used for verification of filtering rules by proposed method, along with algorithms of filtering anomaly detection are considered. Based on those models, methodic for verification of filtering rules of security policies is proposed.

Keywords

Постоянный URL

Articles in current issue

CONTENT © ITMO UNIVERSITY 1993-2026