FILTERING POLICY VERIFICATION BASED ON EVENT CALCULUS AND ABDUCTION REASONING
Annotation
The abductive reasoning approach to verification of filtering policy is considered. The anomaly classification for rules of firewall access control list is proposed. Various scenarios of firewall functioning modeling are analyzed on the base of Event Calculus. Application of abductive search methods for detection and resolution of filtering policy anomalies is presented. These methods are based on disjoint granulation of rule conditions.
Keywords
Постоянный URL
Articles in current issue
- AGENT-BASED SYSTEM MODELING LANGUAGE
- AGENT-BASED APPROACH FOR CONFIGURATION OF VIRTUAL ENTERPRISES
- BUILDING COOPERATIVE SELF-ORGANISING NETWORKS: MAJOR TASKS AND TECHNOLOGIES
- ANALYSIS OF CREDIT BASED MECHANISM OF NETWORK WORM EPIDEMICS DETECTION AND CONTAINMENT
- SOFTWARE PROTECTION MODEL BASED ON REMOTE ENTRUSTING MECHANISM
- TESTING PROCESS OF FUNCTIONAL MODELS TRANSFORMATION BASED ON HYBRID METHODS
- COMPARISON OF METHODS FOR LOCALISATION OF MULTIMODAL SYSTEM USER BY HIS SPEECH
- AUTOMATIC SYNTACTIC ANALYSIS OF RUSSIAN TEXTS BASED ON THE PHRASESTRUCTURE GRAMMAR
- CONSIDERING THE PECULIARITY OF SPONTANEOUS SPEECH AT THE DEVELOPING AUTOMATIC SPEECH RECOGNITION SYSTEM
- CHOOSING THE MODEL OF FUNCTIONING OF A TECHNICAL SYSTEM FROM THE SET OF ITS ALTERNATIVE MODELS
- DYNAMIC MODEL OF INTEGRATED PLANNING AND SCHEDULING FOR MODERNIZATION AND FUNCTIONING OF INFORMATION SYSTEM
- USING MULTI-AGENT SIMULATOR FOR MODELING DISTRIBUTED SYSTEM
- INTELLIGENT MONITORING SYSTEM OF THE ESPECIALLY DANGEROUS PROCESSES