{"id":"https://openalex.org/W2166422904","doi":"https://doi.org/10.1109/noms.2012.6211932","title":"Firewall anomaly detection with a model checker for visibility logic","display_name":"Firewall anomaly detection with a model checker for visibility logic","publication_year":2012,"publication_date":"2012-04-01","ids":{"openalex":"https://openalex.org/W2166422904","doi":"https://doi.org/10.1109/noms.2012.6211932","mag":"2166422904"},"language":"en","primary_location":{"id":"doi:10.1109/noms.2012.6211932","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms.2012.6211932","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE Network Operations and Management Symposium","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5098044191","display_name":"B. Khorchani","orcid":null},"institutions":[{"id":"https://openalex.org/I104914703","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi","ror":"https://ror.org/00y3hzd62","country_code":"CA","type":"education","lineage":["https://openalex.org/I104914703","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"B. Khorchani","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e0bec \u00e0 Chicoutimi, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e0bec \u00e0 Chicoutimi, Canada","institution_ids":["https://openalex.org/I104914703"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022249773","display_name":"Sylvain Hall\u00e9","orcid":"https://orcid.org/0000-0002-4406-6154"},"institutions":[{"id":"https://openalex.org/I104914703","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi","ror":"https://ror.org/00y3hzd62","country_code":"CA","type":"education","lineage":["https://openalex.org/I104914703","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"S. Halle","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e0bec \u00e0 Chicoutimi, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e0bec \u00e0 Chicoutimi, Canada","institution_ids":["https://openalex.org/I104914703"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045225534","display_name":"Roger Villemaire","orcid":"https://orcid.org/0009-0008-9222-885X"},"institutions":[{"id":"https://openalex.org/I159129438","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al","ror":"https://ror.org/002rjbv21","country_code":"CA","type":"education","lineage":["https://openalex.org/I159129438","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"R. Villemaire","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e0bec \u00e0 Montreal, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e0bec \u00e0 Montreal, Canada","institution_ids":["https://openalex.org/I159129438"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"3654","issue":null,"first_page":"466","last_page":"469"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/firewall","display_name":"Firewall (physics)","score":0.844589114189148},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7073983550071716},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5819359421730042},{"id":"https://openalex.org/keywords/anomaly-detection","display_name":"Anomaly detection","score":0.548212468624115},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5389905571937561},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.48874950408935547},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.4851142168045044},{"id":"https://openalex.org/keywords/visibility","display_name":"Visibility","score":0.44749072194099426},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4204957187175751},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.394020140171051},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3691011965274811},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.22677627205848694},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12614136934280396},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06873548030853271}],"concepts":[{"id":"https://openalex.org/C77714075","wikidata":"https://www.wikidata.org/wiki/Q5452017","display_name":"Firewall (physics)","level":5,"score":0.844589114189148},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7073983550071716},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5819359421730042},{"id":"https://openalex.org/C739882","wikidata":"https://www.wikidata.org/wiki/Q3560506","display_name":"Anomaly detection","level":2,"score":0.548212468624115},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5389905571937561},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.48874950408935547},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4851142168045044},{"id":"https://openalex.org/C123403432","wikidata":"https://www.wikidata.org/wiki/Q654068","display_name":"Visibility","level":2,"score":0.44749072194099426},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4204957187175751},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.394020140171051},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3691011965274811},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.22677627205848694},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12614136934280396},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06873548030853271},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C183915046","wikidata":"https://www.wikidata.org/wiki/Q1316152","display_name":"Charged black hole","level":4,"score":0.0},{"id":"https://openalex.org/C104062141","wikidata":"https://www.wikidata.org/wiki/Q2601295","display_name":"Extremal black hole","level":3,"score":0.0},{"id":"https://openalex.org/C159176650","wikidata":"https://www.wikidata.org/wiki/Q43261","display_name":"Horizon","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/noms.2012.6211932","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms.2012.6211932","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE Network Operations and Management Symposium","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W72463235","https://openalex.org/W1894272157","https://openalex.org/W1978879724","https://openalex.org/W2117264175","https://openalex.org/W2120255160","https://openalex.org/W2140073547","https://openalex.org/W2148408186","https://openalex.org/W2148656332","https://openalex.org/W2161129850","https://openalex.org/W4253554696","https://openalex.org/W6602910062","https://openalex.org/W6678385351","https://openalex.org/W6683392691"],"related_works":["https://openalex.org/W2140073547","https://openalex.org/W1998822780","https://openalex.org/W1972777832","https://openalex.org/W2148656332","https://openalex.org/W2134368869","https://openalex.org/W2120255160","https://openalex.org/W2117264175","https://openalex.org/W8865921","https://openalex.org/W3178278250","https://openalex.org/W2751326373","https://openalex.org/W2477338659","https://openalex.org/W3014981526","https://openalex.org/W2780733723","https://openalex.org/W2143665015","https://openalex.org/W1999166121","https://openalex.org/W2521752642","https://openalex.org/W1503565364","https://openalex.org/W3014360398","https://openalex.org/W1910715013","https://openalex.org/W2899262598"],"abstract_inverted_index":{"An":[0],"anomaly":[1],"in":[2,76],"a":[3,6,17,46,64],"firewall":[4,30],"is":[5,32],"relationship":[7],"between":[8,61],"two":[9],"of":[10,20,26,41,79,90],"its":[11,21],"rules":[12,62],"that":[13,33],"may":[14],"hint":[15],"at":[16],"possible":[18],"misconfiguration":[19],"filter.":[22],"One":[23],"notable":[24],"limitation":[25],"existing":[27],"solutions":[28],"for":[29,38,94],"analysis":[31],"they":[34],"provide":[35],"algorithms":[36],"tailored":[37],"the":[39],"verification":[40],"specific":[42],"anomalies.":[43],"We":[44],"introduce":[45],"modal":[47],"logic,":[48,78],"called":[49],"Visibility":[50],"Logic":[51],"(VL),":[52],"which":[53,80],"can":[54],"be":[55],"used":[56],"to":[57,71],"express":[58],"arbitrary":[59],"patterns":[60],"inside":[63],"firewall.":[65],"A":[66],"model":[67],"checker":[68],"allows":[69],"one":[70,92],"verify":[72],"any":[73],"formula":[74],"expressed":[75],"visibility":[77],"traditional":[81],"anomalies":[82],"are":[83],"merely":[84],"particular":[85],"instances,":[86],"with":[87],"running":[88],"times":[89],"under":[91],"second":[93],"1,500":[95],"rules.":[96]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}