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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 121 |
|---|---|
| container_issue | |
| container_start_page | 115 |
| container_title | |
| container_volume | |
| creator | Villemaire, R. Halle, S. |
| description | 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. |
| doi_str_mv | 10.1109/TIME.2009.15 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5368625</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5368625</ieee_id><sourcerecordid>5368625</sourcerecordid><originalsourceid>FETCH-LOGICAL-i213t-782e7724a6addd6f1d0e38a504547b7f9814ee8cae9fc170b7a6913c5d91a89e3</originalsourceid><addsrcrecordid>eNotzM1Og0AUQOGJ2kSo7ty5mQcQvHeG-XOnTatNMCYW47K5hUuDUiFAF769Mbo6my9HiCuEFBHCbbF-XqYKIKRoTkSktFaJzaw_FTE4G4x2yvkzEaHRkKBGnIn4lwfQzvtzEY_jB4ACgyESd5tp6L72suBD3w3U3sh3pk-56WlqqJV5t29KWXeDfD22LB9o5EqumnbiYbwQs5rakS__Oxdvq2WxeEryl8f14j5PGoV6SpxX7JzKyFJVVbbGClh7MpCZzO1cHTxmzL4kDnWJDnaObEBdmiog-cB6Lq7_vg0zb_uhOdDwvTXaequM_gHC90jA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Strong Temporal, Weak Spatial Logic for Rule Based Filters</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Villemaire, R. ; Halle, S.</creator><creatorcontrib>Villemaire, R. ; Halle, S.</creatorcontrib><description>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.</description><identifier>ISSN: 1530-1311</identifier><identifier>ISBN: 0769537278</identifier><identifier>ISBN: 9780769537276</identifier><identifier>EISSN: 2332-6468</identifier><identifier>DOI: 10.1109/TIME.2009.15</identifier><identifier>LCCN: 2009903788</identifier><language>eng</language><publisher>IEEE</publisher><subject>anomalies ; Automatic control ; Computer networks ; Computer science ; Information filtering ; Information filters ; Information security ; Internet ; Logic ; Polynomials ; Protocols ; rule-based filters ; spatial ; temporal logic</subject><ispartof>2009 16th International Symposium on Temporal Representation and Reasoning, 2009, p.115-121</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5368625$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5368625$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Villemaire, R.</creatorcontrib><creatorcontrib>Halle, S.</creatorcontrib><title>Strong Temporal, Weak Spatial Logic for Rule Based Filters</title><title>2009 16th International Symposium on Temporal Representation and Reasoning</title><addtitle>TIME</addtitle><description>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.</description><subject>anomalies</subject><subject>Automatic control</subject><subject>Computer networks</subject><subject>Computer science</subject><subject>Information filtering</subject><subject>Information filters</subject><subject>Information security</subject><subject>Internet</subject><subject>Logic</subject><subject>Polynomials</subject><subject>Protocols</subject><subject>rule-based filters</subject><subject>spatial</subject><subject>temporal logic</subject><issn>1530-1311</issn><issn>2332-6468</issn><isbn>0769537278</isbn><isbn>9780769537276</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2009</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotzM1Og0AUQOGJ2kSo7ty5mQcQvHeG-XOnTatNMCYW47K5hUuDUiFAF769Mbo6my9HiCuEFBHCbbF-XqYKIKRoTkSktFaJzaw_FTE4G4x2yvkzEaHRkKBGnIn4lwfQzvtzEY_jB4ACgyESd5tp6L72suBD3w3U3sh3pk-56WlqqJV5t29KWXeDfD22LB9o5EqumnbiYbwQs5rakS__Oxdvq2WxeEryl8f14j5PGoV6SpxX7JzKyFJVVbbGClh7MpCZzO1cHTxmzL4kDnWJDnaObEBdmiog-cB6Lq7_vg0zb_uhOdDwvTXaequM_gHC90jA</recordid><startdate>20090101</startdate><enddate>20090101</enddate><creator>Villemaire, R.</creator><creator>Halle, S.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>20090101</creationdate><title>Strong Temporal, Weak Spatial Logic for Rule Based Filters</title><author>Villemaire, R. ; Halle, S.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i213t-782e7724a6addd6f1d0e38a504547b7f9814ee8cae9fc170b7a6913c5d91a89e3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2009</creationdate><topic>anomalies</topic><topic>Automatic control</topic><topic>Computer networks</topic><topic>Computer science</topic><topic>Information filtering</topic><topic>Information filters</topic><topic>Information security</topic><topic>Internet</topic><topic>Logic</topic><topic>Polynomials</topic><topic>Protocols</topic><topic>rule-based filters</topic><topic>spatial</topic><topic>temporal logic</topic><toplevel>online_resources</toplevel><creatorcontrib>Villemaire, R.</creatorcontrib><creatorcontrib>Halle, S.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Villemaire, R.</au><au>Halle, S.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Strong Temporal, Weak Spatial Logic for Rule Based Filters</atitle><btitle>2009 16th International Symposium on Temporal Representation and Reasoning</btitle><stitle>TIME</stitle><date>2009-01-01</date><risdate>2009</risdate><spage>115</spage><epage>121</epage><pages>115-121</pages><issn>1530-1311</issn><eissn>2332-6468</eissn><isbn>0769537278</isbn><isbn>9780769537276</isbn><abstract>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.</abstract><pub>IEEE</pub><doi>10.1109/TIME.2009.15</doi><tpages>7</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1530-1311 |
| ispartof | 2009 16th International Symposium on Temporal Representation and Reasoning, 2009, p.115-121 |
| issn | 1530-1311 2332-6468 |
| language | eng |
| recordid | cdi_ieee_primary_5368625 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | anomalies Automatic control Computer networks Computer science Information filtering Information filters Information security Internet Logic Polynomials Protocols rule-based filters spatial temporal logic |
| title | Strong Temporal, Weak Spatial Logic for Rule Based Filters |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-09T21%3A52%3A04IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Strong%20Temporal,%20Weak%20Spatial%20Logic%20for%20Rule%20Based%20Filters&rft.btitle=2009%2016th%20International%20Symposium%20on%20Temporal%20Representation%20and%20Reasoning&rft.au=Villemaire,%20R.&rft.date=2009-01-01&rft.spage=115&rft.epage=121&rft.pages=115-121&rft.issn=1530-1311&rft.eissn=2332-6468&rft.isbn=0769537278&rft.isbn_list=9780769537276&rft_id=info:doi/10.1109/TIME.2009.15&rft_dat=%3Cieee_6IE%3E5368625%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5368625&rfr_iscdi=true |