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
- PARALLEL PERFORMANCE OF STOCHASTIC ALGORITHMS
- EFFICIENCY ESTIMATION OF THE SCANNING ROBOT APPLICATION FOR INFORMATION SEARCH IN THE INFORMATION NETWORKS
- ADAPTIVE PROTECTION OF INFORMATION SYSTEMS
- METHOD OF SEGMENTATION OF THE IMAGE FOR RECOGNITION OF PRINTED DOCUMENTS
- PERIODIC MODES IN SYSTEMS OF AUTOMATIC CONTROL WITH PULSE-WIDTH MODULATIONS OF THE SECOND KIND
- SUFFICIENT CONDITION FOR NONLINEAR SAMPLING SYSTEM ASYMPTOTIC STABILITY OF DISCRETE SYSTEM WITH CHANGING PARAMETERS
- ESTIMATION OF APPLICATION TASK RESPONSE TIME IN THE MULTIPROCESSOR SYSTEMS
- VERIFICATION OF FILTERING RULES OF SECURITY POLICY BY MODEL CHECKING
- PENDULUM PULSE-REBALANCE ACCELEROMETER UNIT PARAMETER ESTIMATION USING A SINGLE AXIS TURNTABLE
- IDENTIFICATION OF SOME PARAMETERS OF THE ENGINE MEMBRANE TYPE
- EXPERIMENTAL COMPLEX FOR STUDYING OF HIGH-SPEED EFFECT OF FLOWS OF METEORIC PARTICLES ON A SPACE VEHICLE SURFACE
- BALLISTIC CONSTRUCTION OF COMMUNICATION SYSTEMS AND PASSIVE RADIOLOCATION OF LUNAR SURFACE
- EQUIPMENT FOR RESEARCH OF HF IONOSPHERIC MULTIPATH PROPAGATION EFFECTS