Strong Temporal, Weak Spatial Logic for Rule Based Filters

9 years 5 months ago
Strong Temporal, Weak Spatial Logic for Rule Based Filters
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision determines the outcome. Such filters are particularly useful in network management, where they filter packets allowed to flow in or out of an interface. Properties of filters which either reveal or hint to misconfiguration (anomalies) have been largely studied in the network management community. We show that in fact such properties are of a spatial and temporal nature. Accordingly we introduce a spatio-temporal language appropriate for filter properties, use it to describe major filter anomalies and finally prove that verifying a property in this language can be done in time polynomial in the number of filter rules. Keywords-rule-based filters; anomalies; temporal logic; spatial logic
Roger Villemaire, Sylvain Hallé
Added 21 May 2010
Updated 21 May 2010
Type Conference
Year 2009
Where TIME
Authors Roger Villemaire, Sylvain Hallé
Comments (0)